= 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)
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.