Revision as of 23:06, 3 Грязника 2006 зырить аржан YaroslavZolotaryov (розговор \| влож) Енералы, Стаечка башлыков 44 edits No edit summary ← Older edit		Latest revision as of 18:14, 5 Грязника 2006 зырить аржан *>Timichal m Robot: Automated text replacement (-\[\[(T\|t)est-(WP\|wp)\/chal\/ +[[)
Line 1: '''Теорема Гьоделя про неполноту''' - вобча звання двух теоремов, чо были доведены [[~~Test-WP/chal/~~Гьодель, Курт\|К. Геделем]] ([[~~Test-WP/chal/~~1931\|1931]]). ''Перва теорема'' Гьоделя про неполноту твердит, чо еси формальной уряд [[~~Test-WP/chal/~~Арифметика\|арифметики]] (зы. [[~~Test-WP/chal/~~Формальна арифметика\|Формальна арифметика]]) несуперечлив, то в ней сышшетса формально нерозвязно тверженне, то есь така замкнута [[~~Test-WP/chal/~~формула\|формула]] ''A'', чо ни ''A'', ни ''┐A'' не есь теоремами етово уряда. ''Втора теорема'' Гьоделя про неполноту твердит, чо в какоси ''A'' мочно взять формулу, кака природным чином выявит несуперечнось формальной арифметики.

Difference between revisions of "Теорема Гьоделя про неполноту"