Warrigal comments on Logical Pinpointing - Less Wrong

62 Post author: Eliezer_Yudkowsky 02 November 2012 03:33PM

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

Comments (338)

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

Comment author: Abd 01 November 2012 05:58:22PM -1 points [-]

The fact that one apple added to one apple invariably gives two apples....

It's almost a tautology. What we have is an iterated identification. There are two objects that are named "apple," they are identical in identification, but separate and distinct. This appears in time. I'm counting my identifications. The universality of 1+1 = 2 is a product of a single brain design. For an elephant, the same "problem" might be "food plus food equals food."

Comment author: [deleted] 02 November 2012 01:33:35AM 1 point [-]

Would you argue, then, that aliens or AIs might not discover the fact that 1 + 1 = 2, or even consider it a fact at all?

Comment author: Abd 02 November 2012 03:11:30AM *  -2 points [-]

Okay, I don' t have to speculate or argue. I'm an alien, and I don't consider it a "fact," unless fact is defined to include the consequences of language. I.e, as an alien, I can see your process, and, within your process, I see that "1 + 1 = 2" is generally useful to your survival. That I'll accept as a fact. However, if you believe that 1 + 1 = 2 is a "fact," such that 1 + 1 <> 2 is necessarily "false," I think you might be unnecessarily limited, harming long-term survival.

It's also useful to my survival, normally. Sometimes not. Sometimes 1 + 1 = 1, or 1 + 1 = 0, work better. I'm not kidding.

The AI worth thinking about is one which is greater than human, so that a human can recognize the limitation of fixed arithmetic indicates to me that a super-human AI would be able to do that or more.