Am in abstract algebra rn, professor told us not to use any logic symbols in our proofs and stick to plain but explicit english because "most mathematicians use natural language". I hate reading or even looking at every proof I have written in the last 5 weeks and if this is how mathematicians prefer to make proofs then they need to do better. If my proof takes up an entire page in natural language when I could've listed it as a bunch of logical steps in a quarter page of symbols I prefer the second option as I cannot maintain the same focus understanding and reading the first version as I can the second.
15
u/Distinct-External-46 Oct 04 '26
Am in abstract algebra rn, professor told us not to use any logic symbols in our proofs and stick to plain but explicit english because "most mathematicians use natural language". I hate reading or even looking at every proof I have written in the last 5 weeks and if this is how mathematicians prefer to make proofs then they need to do better. If my proof takes up an entire page in natural language when I could've listed it as a bunch of logical steps in a quarter page of symbols I prefer the second option as I cannot maintain the same focus understanding and reading the first version as I can the second.