The Black Vault

at1with0 wrote:Godel's theorems don't worry me as much as that the word set is undefined.

Chris Langan

Chris Langan in his work The Theory of Theories states:

... Consider the statement “this sentence is false.” It is easy to dress this statement up as a logical formula. Aside from being true or false, what else could such a formula say about itself? Could it pronounce itself, say, unprovable? Let’s try it: "This formula is unprovable". If the given formula is in fact unprovable, then it is true and therefore a theorem. Unfortunately, the axiomatic method cannot recognize it as such without a proof. On the other hand, suppose it is provable. Then it is self-apparently false (because its provability belies what it says of itself) and yet true (because provable without respect to content)! It seems that we still have the makings of a paradox…a statement that is "unprovably provable" and therefore absurd.

But what if we now introduce a distinction between levels of proof? For example, what if we define a metalanguage as a language used to talk about, analyze or prove things regarding statements in a lower-level object language, and call the base level of Gödel’s formula the "object" level and the higher (proof) level the "metalanguage" level? Now we have one of two things: a statement that can be metalinguistically proven to be linguistically unprovable, and thus recognized as a theorem conveying valuable information about the limitations of the object language, or a statement that cannot be metalinguistically proven to be linguistically unprovable, which, though uninformative, is at least no paradox. Voilà: self-reference without paradox! It turns out that "this formula is unprovable" can be translated into a generic example of an undecidable mathematical truth.

at1with0 wrote:Right, every natural number has a successor...