Gödels Unvollständigkeitssatz in 20 Minuten

, , . . , - . — , , «, ». ( ), -, «, , ». , , , , . , , , , , , , .

, ? « » . , , . , ( , -, ), - .

— , — . , , « ». , , « » /, 15-20 .

, , . .

, , . - . , : «$$$\forall x \; (x-1)(x-2)-2=x(x-3)$» (, $$$\forall$ « » « »). , , , :

1. $$$\forall x \; (x-1)(x-2)-2=x(x-3)$
2. $$$\forall x \; x^2-3x+2-2=x^2-3x$
3. $$$\forall x \; x^2-3x–x^2+3x=0$
4. $$$\forall x \; 0 = 0$

. 4- 5- , , , — . , , . — - . . ( ), ( ) .

. , - , , $$$S$ — , . , $$$P$, $$$S$ : ( $$$B$ ).

— $$$S$ $$$P$ $$$S$ $$$B$ — « ». , . , « !» , , , .

. — . : «» — («»), . — - , . , — , , .

: $$$P$ « » (, , «»), , , ? : ? , , , — . , .

, . . -, , « $$$X$ » « $$$X$». , , . (, ), — . , , :

• $$$x, y, z$ $$$n>2$, $$$x^n+ y^n = z^n$.

( ). . , , ( ) .

. , - ( ) . ? , . , . — . — . . , . , - . — , — . , . , : « , » — .

« » , , . - , , .

, , , «» ( « » « » — ). , , , $$$\sin x$ , . , , — , . , , , — , , , .

« ». , , ( ), , , , , $$$\exists$ («») $$$\forall$ (« ») , , - ( ). , (, «$$$12 = + \forall x>$» — ). ( , ) .

:

• $$$1=1$
• $$$2\times2=5$
• $$$\exists x \; x>3$
• $$$\forall y \; \forall z \; y\times z>y+z$

.. « » () , , . ( $$$x$):

• $$$x=0$
• $$$2\times2=x$
• $$$\exists y \; x+y>x$

.. , .

$$$F$. , (, , — ..; , ). , $$$k$ , $$$F_k$.

:

• .

.

, , . $$$A$, $$$k$ :

1. $$$k$- $$$F$.
2. $$$k$ .
   
3. ( , ), .
4. .

, , .

, .

, , , $$$F$ , , – . :

• : , , - $$$F$.

, , , , . , , . , , , , , Brainfuck, , , , . , — , , .

, .

, $$$A$. , , . - $$$F$ — , $$$n$. , $$$F_n(n)$? . , $$$A$ ( , $$$F_n$), , $$$n$ $$$F_n$ — . : $$$F_n(n)=$ $$$F_n(n)=$. , , . , . .

(. ), , , , — , . ( « ») : « ». , , .

, . , , (, , ?). . , .

, , . , . , :

• "Jede Phrase in der chinesischen Sprache ist eine wahre Aussage, wenn sie im Zitat von Genosse Mao Zedong enthalten ist, und falsch, wenn dies nicht der Fall ist."

Dann sieht der entsprechende vollständige und konsistente Testalgorithmus (er kann als "dogmatischer Abzug" bezeichnet werden) ungefähr so ​​aus:

• „Scrollen Sie durch das Zitat von Genosse Mao Zedong, bis Sie die Aussage finden, nach der Sie suchen. Wenn es gefunden wird, ist es wahr, und wenn das Zitatbuch vorbei ist und die Aussage nicht gefunden wird, dann ist es falsch. “

Hier werden wir durch die Tatsache gerettet, dass jedes Zitatbuch offensichtlich endlich ist, so dass der Prozess des "Beweises" unweigerlich enden wird. Somit ist TGN nicht auf die Sprache dogmatischer Äußerungen anwendbar. Aber wir haben über komplexe Sprachen gesprochen, oder?