Difference between revisions of "Теорема Гьоделя про неполноту"
Айдать на коробушку
Айдать на сыскальник
Content deleted Content added
*>Incubator import |
No edit summary |
||
| Line 1: | Line 1: | ||
'''Теорема Гьоделя про неполноту''' - вобча звання двух теоремов, чо были доведены [[Test-WP/chal/Гьодель, Курт|К. Геделем]] ([[Test-WP/chal/1931|1931]]). ''Перва теорема'' Гьоделя про неполноту твердит, чо еси формальной уряд [[Test-WP/chal/Арифметика|арифметики]] (зы. [[Test-WP/chal/Формальна арифметика|Формальна арифметика]]) несуперечлив, то в ней сышшетса формально нерозвязно тверженне, то есь така замкнута [[Test-WP/chal/формула|формула]] ''A'', чо ни ''A'', ни ''┐A'' не есь теоремами етово уряда. |
|||
| ⚫ | |||
''Втора теорема'' Гьоделя про неполноту твердит, чо в какоси ''A'' мочно взять формулу, кака природным чином выявит несуперечнось формальной арифметики. |
|||
| ⚫ | |||
[[Category:Математика]] |
|||