RobinZ comments on The Last Number - Less Wrong

4 Post author: Stuart_Armstrong 10 April 2010 12:09PM

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

Comments (57)

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

Comment author: RobinZ 12 April 2010 01:34:40AM 0 points [-]

Pun? Where?

Comment author: [deleted] 12 April 2010 01:01:34PM 0 points [-]

"Arbitrary real-world statements", "the reals are a model of peano arithmetic".