Andreas_Giger 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 (390)

Sort By: Old

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

Comment author: Andreas_Giger 14 September 2011 10:11:55PM *  1 point [-]

Sorry, I edited the statement in question right before you posted that because I anticipated a similar reaction. However, you're still wrong. It has only to do with my beliefs to what extent peano arithmetic applies to reality, which is something completely different.

Edit: Ok, you're probably not wrong, but it rather seems we are talking about different things when we say "mathematical beliefs". Whether peano arithmetic applies to reality is not a mathematical belief for me.

Comment author: Andreas_Giger 14 September 2011 10:17:14PM 0 points [-]

And another thing: It might be possible that if peano arithmetic didn't apply to reality I wouldn't have any beliefs about peano arithmetic because I might not even think of it. However there is no way I could establish the peano axioms and then believe that SS0 + SS0 = SSS0 is true within peano arithmetic. It's just not possible.