Difference between revisions of "Теорема Гьоделя про неполноту"
Content deleted Content added
*>Amire80 Test-WP/chal/Test-WP/chal/Теорема Гьоделя про неполноту moved to Test-WP/chal/Теорема Гьоделя про неполноту: i'm sorry - it's all my mistake. should be right now. |
*>Timichal m Robot: Automated text replacement (-\[\[(T|t)est-(WP|wp)\/chal\/ +[[) |
||
| (5 intermediate revisions by 3 users not shown) | |||
Line 1:
'''Теорема Гьоделя про неполноту''' - вобча звання двух теоремов, чо были доведены [[Гьодель, Курт|К. Геделем]] ([[1931|1931]]). ''Перва теорема'' Гьоделя про неполноту твердит, чо еси формальной уряд [[Арифметика|арифметики]] (зы. [[Формальна арифметика|Формальна арифметика]]) несуперечлив, то в ней сышшетса формально нерозвязно тверженне, то есь така замкнута [[формула|формула]] ''A'', чо ни ''A'', ни ''┐A'' не есь теоремами етово уряда.
#REDIRECT [[Test-WP/chal/Теорема Гьоделя про неполноту]]▼
''Втора теорема'' Гьоделя про неполноту твердит, чо в какоси ''A'' мочно взять формулу, кака природным чином выявит несуперечнось формальной арифметики.
[[Category:Математика]]
| |||