i did a lot of math while i was gone so i accumulated some math hot takes which i archived in roam and here they are for your convenience
Conversation
1. proofs in textbooks should be commented. the author should be commenting on which steps are routine, which steps are important to understand carefully, which steps are creative and surprising, etc. etc. sipser is the only textbook i've seen do anything like this and it rules
1
11
116
2. students should be taught how to "debug" proofs. here is a basic technique that people don't get taught: if you proved something you know is wrong, you can figure out which step is wrong by stepping through the proof *with a counterexample*
2
2
61
3. it's weird how we taught students to encode their understanding of math in their understanding of social permission (what they're "allowed" to do). permission has nothing to do with it. the question is what procedures turns true statements into true statements
5
64
The Wason selection task being easier for most people when phrased as permission enforcement implies that social framing may be more intuitive: en.wikipedia.org/wiki/Wason_sel
1
1
Replying to
yeah but at what cost tho 🤔 mathematics is, at a deeply fundamental level, not about permission. it has nothing to do with what other people will and won't allow you to do. there's a tremendous amount of freedom in it that we prevent students from recognizing

