Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

XiXiDu comments on Learning the foundations of math - Less Wrong

4 Post author: jsalvatier 24 October 2010 07:29PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (31)

You are viewing a single comment's thread. Show more comments above.

Comment author: XiXiDu 25 October 2010 08:20:47AM *  0 points [-]

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