Теорема Гьоделя про неполноту
Revision as of 19:14, 5 Грязника 2006 by *>Timichal (Robot: Automated text replacement (-\[\[(T|t)est-(WP|wp)\/chal\/ +[[))
Теорема Гьоделя про неполноту - вобча звання двух теоремов, чо были доведены К. Геделем (1931). Перва теорема Гьоделя про неполноту твердит, чо еси формальной уряд арифметики (зы. Формальна арифметика) несуперечлив, то в ней сышшетса формально нерозвязно тверженне, то есь така замкнута формула A, чо ни A, ни ┐A не есь теоремами етово уряда.
Втора теорема Гьоделя про неполноту твердит, чо в какоси A мочно взять формулу, кака природным чином выявит несуперечнось формальной арифметики.
Зы. ешшо Теорема Гьоделя про полноту