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

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

53 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: Will_Sawin 06 January 2011 02:10:29AM *  3 points [-]

well there's the special other thing, the reason you can't explain Peano Arithmetic to a rock, which is that axioms are static sequences of signals, but in addition you have these dynamics.

Best source on this is Lewis Carroll http://www.ditext.com/carroll/tortoise.html

These dynamics are contained within the structure of our thoughts, which is why they're preserved in a thought experiment. But we still have to actually check our thoughts, which are part of reality.

Sorry if this wasn't very coherent.