MugaSofer comments on Nonperson Predicates - Less Wrong

28 Post author: Eliezer_Yudkowsky 27 December 2008 01:47AM

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

Comments (162)

Sort By: Old

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

Comment author: Jordan 27 December 2008 11:37:48PM 1 point [-]

In my mind this comes down to a fundamental question in the philosophy of math. Do we create theorems or discover them?

If it turns out to be 'discovery' then there is no foul in ending a mind emulation, because each consecutive state can be seen as a theorem in some formal system, and thus all states (the entire future time line of the mind) already exists, even if undiscovered.

Personally I fail to see how encoding something in physical matter makes the pattern anymore real. You can kill every mathematician and burn every text book but I would still say that the theorems then inaccessible to humanity still exist. I'm not so convinced of this fact that I would pull the plug on an emulation though.

Comment author: MugaSofer 22 January 2013 03:18:13PM -1 points [-]

I think Eliezer is working on addressing this in his new sequence, if this still worries you.