3 ms·
The only way to understand math like that is to do the hard work of learning by reading textbooks and other learning materials and doing exercises. Comments sec
by orangea 4y ago
The only way to understand math like that is to do the hard work of learning by reading textbooks and other learning materials and doing exercises. Comments sections won't help you for learning this kind of advanced math.
If HoTT is what you are interested in, I recommend this single-page introduction if you are already familiar with how dependent type theory is used for theorem proving: https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes...
- pizza 4y agoSure, it'd be great if I could reach that ultimate benefit of being able to prove theorems. But if I'm being honest, I couldn't work toward that at the moment. Probably not for a while. In doing this I don't aim to get a false sense of familiarity with the actual topic. But there are a lot of tangible bite-size achievable goals in providing an opportunity for a discussion for those who understand it deeply, e.g. make a connection to something I do understand, or perhaps, observe the resolution of some tangential disagreement between domain experts, etc. :^)
- nequo 4y ago"Single-page" really tricked me here.