Eliezer_Yudkowsky 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: Wei_Dai 30 December 2012 09:46:58AM *  8 points [-]

How come we never see anything physical that behaves like any of of the non-standard models of first order PA? Given that's the case, it seems like we can communicate the idea of numbers to other humans or even aliens by saying "the only model of first order PA that ever shows up in reality", so we don't need second order logic (or the other logical ideas mentioned in the comments) just to talk about the natural numbers?

Comment author: Eliezer_Yudkowsky 30 December 2012 01:14:38PM 1 point [-]

This is basically the theme of the next post in the sequence. :)