DSimon comments on Math is Subjunctively Objective - Less Wrong

14 Post author: Eliezer_Yudkowsky 25 July 2008 11:06AM

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

Comments (116)

Sort By: Old

You are viewing a single comment's thread.

Comment author: DSimon 14 August 2011 05:07:56PM *  4 points [-]

If you had a Turing machine that perfectly simulated the physical laws of our universe, could an external person use that machine's source code to derive the laws of arithmetic as they are within our universe, even if the laws of arithmetic for the external person's universe were different?

Suppose we think about it the opposite way: what if we built a machine that simulated the physical laws of a universe where 2+3 = 6, where if you stick 2 whatsits by 3 whatsits you get 6 whatsits total. What would that universe be like? Could it even be built?