= 27d567bc2d48d9f40e9ccc20ea370b15)
Vladimir_Nesov comments on The Last Number - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (57)
The concepts discussed in the fiction are still supposed to mean something. It's like with hypotheticals: they aren't asserted to be probable, or even apply to this our real world, but they weave certain ideas in people's minds, and these ideas lend them meaning.
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"?
Nice pun.
Pun? Where?
"Arbitrary real-world statements", "the reals are a model of peano arithmetic".
What about it?
Can that statement be proved if arithmetic is inconsistent?
From an inconsistent system (such as ZFC would be if arithmetic were), yes. An inconsistent system has no models.
That would imply that 4.2 is an object of Peano arithmetic; but there is a simpler way of getting this.
The first-order statement: "there exists an x, such that x times 10 is 42" can be phrased in artithmetic. Therefore if arithmetic is inconsistent, it is true. And I define 4.2 to be a shorthand for this x.