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

itaibn0 comments on Welcome to Less Wrong! (July 2012) - Less Wrong

20 Post author: ciphergoth 18 July 2012 05:24PM

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

Comments (844)

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

Comment author: itaibn0 21 February 2013 01:15:25PM *  1 point [-]

re-axiomizing set theory

Now I'm tempted to spread a meme. Have you heard Martin-Loef type theory? In my opinion, it's a much better foundation of mathematics than ZFC.