Difference between revisions of "Теорема Гьоделя про неполноту"
Айдать на коробушку
Айдать на сыскальник
*>Incubator import |
*>Timichal m (Robot: Automated text replacement (-\[\[(T|t)est-(WP|wp)\/chal\/ +[[)) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | + | '''Теорема Гьоделя про неполноту''' - вобча звання двух теоремов, чо были доведены [[Гьодель, Курт|К. Геделем]] ([[1931|1931]]). ''Перва теорема'' Гьоделя про неполноту твердит, чо еси формальной уряд [[Арифметика|арифметики]] (зы. [[Формальна арифметика|Формальна арифметика]]) несуперечлив, то в ней сышшетса формально нерозвязно тверженне, то есь така замкнута [[формула|формула]] ''A'', чо ни ''A'', ни ''┐A'' не есь теоремами етово уряда. | |
| + | |||
| + | ''Втора теорема'' Гьоделя про неполноту твердит, чо в какоси ''A'' мочно взять формулу, кака природным чином выявит несуперечнось формальной арифметики. | ||
| + | |||
| + | Зы. ешшо [[Теорема Гьоделя про полноту]] | ||
| + | |||
| + | |||
| + | [[Category:Математика]] | ||
Latest revision as of 19:14, 5 Грязника 2006
Теорема Гьоделя про неполноту - вобча звання двух теоремов, чо были доведены К. Геделем (1931). Перва теорема Гьоделя про неполноту твердит, чо еси формальной уряд арифметики (зы. Формальна арифметика) несуперечлив, то в ней сышшетса формально нерозвязно тверженне, то есь така замкнута формула A, чо ни A, ни ┐A не есь теоремами етово уряда.
Втора теорема Гьоделя про неполноту твердит, чо в какоси A мочно взять формулу, кака природным чином выявит несуперечнось формальной арифметики.
Зы. ешшо Теорема Гьоделя про полноту