20 मिनट में गोडेल का अधूरा प्रमेय

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

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

— , — . , , « ». , , « » /, 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)=$. , , . , . .

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

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

, , . , . , :

• "चीनी भाषा में कोई भी वाक्यांश एक सच्चा कथन है यदि वह कॉमरेड माओ ज़ेडॉन्ग के उद्धरण में निहित है, और यदि यह नहीं है तो गलत है।"

तब संगत पूर्ण और सुसंगत साबित एल्गोरिथ्म (इसे "डॉगमैटिक डिडक्शन" कहा जा सकता है) कुछ इस तरह दिखता है:

• “कॉमरेड माओ ज़ेडॉन्ग के उद्धरण के माध्यम से स्क्रॉल करें जब तक कि आप उस कथन को नहीं ढूंढते जो आप खोज रहे हैं। यदि यह पाया जाता है, तो यह सच है, और यदि उद्धरण-पुस्तक खत्म हो गई है और बयान नहीं मिला है, तो यह गलत है। ”

यहां हमें इस तथ्य से बचाया जाता है कि कोई भी उद्धरण पुस्तक स्पष्ट रूप से परिमित है, इसलिए "प्रमाण" की प्रक्रिया अनिवार्य रूप से समाप्त हो जाएगी। इस प्रकार, TGN हठधर्मिता की भाषा पर लागू नहीं है। लेकिन हम जटिल भाषाओं के बारे में बात कर रहे थे, है ना?