5 ms·

A lot of math is taught in a sloppy way, which thwarts the pattern recognition progress in brains trying to learn it. Programming is significantly easier than

A lot of math is taught in a sloppy way, which thwarts the pattern recognition progress in brains trying to learn it. Programming is significantly easier than math (for something equivalently complex) because of things like syntax checking and compiler/interpreter errors. This speeds up the pattern recognition process in the human brain. People who are identified as being skilled at math or programming at a relatively early age are usually those who understood it in spite of the teacher/curriculum, so the ability comes as a surprise. But many such people do not go on to distinguish themselves in either field in any way. There are always things that come easily to one person vs another, but in math and programming, the early birds are typically the only ones whose interest in the subject isn't destroyed by the teaching methods (because the learning happened in spite of them).

creata 5y ago
> Programming is significantly easier... because of things like syntax checking and compiler/interpreter errors. People[0][1] are using theorem provers to help teach students the general structure of a proof. And this is a bit of a tangent, but if you want to mess around with very simple proofs in first-order logic, the Open Logic Project[2] has an online proof editor and a textbook. [0]: https://link.springer.com/content/pdf/10.1007/s40753-021-00140-1.pdf https://link.springer.com/content/pdf/10.1007/s40753-021-001... [1]: https://xenaproject.wordpress.com/category/learning-lean/page/2/ https://xenaproject.wordpress.com/category/learning-lean/pag... [2]: https://proofs.openlogicproject.org/ https://proofs.openlogicproject.org/