somejan comments on How to Convince Me That 2 + 2 = 3 - Less Wrong

52 Post author: Eliezer_Yudkowsky 27 September 2007 11:00PM

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

Comments (381)

Sort By: Old

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

Comment author: somejan 05 May 2013 07:45:49PM 0 points [-]

Extrapolating from Eliezers line of reasoning you would probably find that although you remember ss0 + ss0 = ssss0, if you try to derive ss0 + ss0 from the peano axioms, you also discover it ends up as sss0, and starting with ss0 + ss0 = ssss0 quickly leads you to a contradiction.