uninverted 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.

Article Navigation

Comments (57)
Tags: fiction numbers integers logic godel consitency humor

Comments (57)

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

Comment author: Stuart_Armstrong 10 April 2010 09:59:36PM 1 point [-]

You may make certain statements about the language, like "all well formed formulas of this particular system are theorems", but you can't cross over into arbitrary real-world statements.

What about the statement of the type: "the reals are a model of peano arithmetic"?

Comment author: [deleted] 12 April 2010 01:32:14AM 2 points [-]

Nice pun.

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".

Powered by Reddit Powered by Reddit