= 27d567bc2d48d9f40e9ccc20ea370b15)
protest_boy comments on Open thread, 14-20 July 2014 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (144)
Thanks for your enticing comment!
I understand your first point, but my math knowledge is not up to par to really understand point #2, and point #3 just makes me want to learn category theory. BTW, I also posted this question on the philosophy stackexchange: http://philosophy.stackexchange.com/questions/14689/how-does-abstraction-generalization-in-mathematics-fit-into-inductive-reasoning.
Do you have any recommendations of what to study to understand category theory and more about the foundations of math? (Logic, type theory, computability & logic, model theory seem like contenders here)
You're welcome!
Foundation(s) of math is a huge and fascinating topic by itself, but if you're more interested in the intricacy of abstraction hierarchies you should look no further than category theory, the Yoneda lemma, up up to doctrine theory. I love as a good introduction Category Theory by Awodey. As for the foundation of math, very good for dipping your toes are the first chapters of Marker's introduction to model theory and the recently reprinted Set theory by Kunen (set theory models are a vast subject by themselves...)