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

jsalvatier 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: jsalvatier 25 October 2010 12:23:44AM 0 points [-]

I don't understand why this should be significantly easier, but I'll take your word for it; a formal system is a formal system, I suppose.

Comment author: Vladimir_M 25 October 2010 12:48:27AM 0 points [-]

Take the axioms of ZFC, Peano arithmetic, or some other familiar theory and try writing them down in a logic formalism that features only the NAND connective, and you'll see what I'm talking about. (Better yet, try devising a formal proof system using such formalism!)