I will add to the lists this another resource:
Handbook for spoken Mathematics (Larry's speakeasy) by Lawrence Chang: http://web.efzg.hr/dok/MAT/vkojic/Larrys_speakeasy.pdf from The Lawrence Livermore Laboratory
How to Read Mathematics
31–33 of 33 posts
Re: How to Read Mathematics
#32Earlier quoted context omitted.
I think your conflating math as all-descriptive of all properties. It's unfortunately not. Mathematics describes patterns, not procedures. You started thinking in code, because you started thinking about problems as procedures, not patterns.
Maybe this person is thinking in Haskell ;)
I wish i could give 2 upvotes
Re: How to Read Mathematics
#33Earlier quoted context omitted.
It would certainly be possible if mathematics standardised on writing proofs in a proof assistant like Coq. Then anyone with a basic functional programming background could understand the most complex of proofs, given enough time to step through and understand all steps of the proof in the Coq IDE.
You would be trying to reverse a couple millenia of mathematical tradition if you wanted to convince all mathematicians to only write machine-readable mathematics. As appealing as the idea may sound to computer people, mathematicians would find it quite repugnant if they were no longer "allowed" to write mathematics in a casual style (as if it were even possible to forbid them from doing so).
[deleted]