shminux 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: shminux 31 December 2012 12:03:30AM *  1 point [-]

How come we never see anything physical that behaves like any of of the non-standard models of first order PA?

Umm... wouldn't they be considered "standard" in this case? I.e. matching some real-world experience?

Let's imagine a counterfactual world in which some of our "standard" models appear non-standard. For example, in a purely discrete world (like the one consisting solely of causal chains, as EY once suggested), continuity would be a non-standard object invented by mathematicians. What makes continuity "standard" in our world is, disappointingly, our limited visual acuity.

Another example: in a world simulated on a 32-bit integer machine, natural numbers would be considered non-standard, given how all actual numbers wrap around after 2^32-1.

Exercise for the reader: imagine a world where a certain non-standard model of first order PA would be viewed as standard.