= 27d567bc2d48d9f40e9ccc20ea370b15)
XiXiDu comments on Learning the foundations of math - Less Wrong
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 (31)
This LW thread seems relevant.
In particular this summary of resources has sections on logic and foundations. There's a little bit of difference between that thread topic and my topic, which is that I am interested in learning the fundamentals of math for themselves (and doing further math) rather than only LW relevant math.
Much updated here: http://lesswrong.com/lw/2un/references_resources_for_lesswrong/
For example: Metamath (Constructs mathematics from scratch, starting from ZFC set theory axioms) and The Haskell Road to Logic, Maths and Programming... and check this graphic: http://space.mit.edu/home/tegmark/toe.gif