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. there should be two different words for "simple abelian group" and "simple nonabelian group" (note that we already do this in lie theory)
18
i don't know anything about CoC but i read a bit of the xena project blog and it was very inspiring, although not quite inspiring enough to get me to learn Lean (yet)
1
1
Show replies
This Tweet was deleted by the Tweet author. Learn more
Show replies
i have never read a book about it! people say good things about polya's "how to solve it":
amazon.com/How-Solve-Math
1
2
Show replies
Replying to
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
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
1