# Why is Godel's incompleteness theorem difficult to prove: the point is in the wording, and not only in the essence

3r3-31. Roughly speaking, Godel's incompleteness theorem states that there are true mathematical statements that cannot be proved. When I was in the 11th grade, the three of us together with the geometry teacher Mr. Olsen and my friend Uma Roy spent five weeks reading the original proof of Gödel. Why so long? Partly because we were still schoolchildren. Partly because the 24-year-old Godel was not the most talented writer. But mainly because the proof is actually quite difficult.

This may seem surprising, because all the evidence in fact can fit in one paragraph. Godel begins with constructing a mathematical statement, essentially equivalent to a sentence, 3r-387.

This statement is impossible to prove.

Then Godel considers what will happen if this statement is false. 3r314.
That is, if this statement can be proved. But any statement that can be proved must be true - here is a contradiction. From this, Godel concludes that the statement must be true. But, since the statement is true, it follows that the statement cannot be proved. Please note that this final statement is not a contradiction. On the contrary, this is the proof of Gödel's theorem.

So why is the real evidence so complicated? The trick is that what may sound like a valid mathematical statement in English is often not (especially when the sentence refers to itself). Consider, for example, the following sentence:

This sentence is false.

A sentence is meaningless: it cannot be false (because it would make it true) and it cannot be true (because it would make it false). And, of course, it cannot be written in the form of a formal mathematical statement.

Here is another example (known as the Berry paradox):

Define {x} as the smallest positive integer that cannot be described in less than 100 words.

This may look like a valid mathematical definition. But again, it does not make sense. And, which is important for the sanity of mathematics, no similar statement can be written formally, that is, mathematically.

Even statements in the language of mathematics may be meaningless:

3r350.
3r350.
3r3384.

(i.e.,

is the set of sets
3r33838. that are not elements of themselves).

This is again a nonsensical definition (known as the Russell Paradox). In particular, as soon as we identified 3r3-382. 3r3384. , we can ask the question whether
contains. 3r3384. yourself? If so, then
3r3384. cannot be a member of 3r382. 3r3384. - a contradiction; and if not, then
3r3384. will be a member of 3r382. 3r3384. - again a contradiction.

The meaning of these three examples is that if you want to prove theorems about mathematical statements, then you should be 3r3389. very careful [/i] about the fact that you really operate with mathematical statements. Indeed, from the 46 definitions at the beginning to the surprisingly dense evidence at the end, the original article by Gödel is nothing more than a massive exercise in caution.
3r3394. ! function (e) {function t (t, n) {if (! (n in e)) {for (var r, a = e.document, i = a.scripts, o = i.length; o-- ;) if (-1! == i[o].src.indexOf (t)) {r = i[o]; break} if (! r) {r = a.createElement ("script"), r.type = "text /jаvascript", r.async =! ? r.defer =! ? r.src = t, r.charset = "UTF-8"; var d = function () {var e = a.getElementsByTagName ("script")[0]; e.parentNode.insertBefore (r, e)}; "[object Opera]" == e.opera? a.addEventListener? a.addEventListener ("DOMContentLoaded", d,! 1): e.attachEvent ("onload", d ): d ()}}} t ("//mediator.mail.ru/script/2820404/"""_mediator") () (); 3r395.
+ 0 -