Difference between revisions of "Теорема Гьоделя про полноту"
Айдать на коробушку
Айдать на сыскальник
*>Amire80 |
*>Amire80 (ьо) |
||
Line 1: | Line 1: | ||
− | ''' | + | '''Теорема Гьоделя про полноту''' - тверженне про полноту класичново [[Test-WP/chal/числення предикатов|числення предикатов]]: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена [[Test-WP/chal/Гьодель, Курт|К. Гьоделем]] ([[Test-WP/chal/1930|1930]]). |
+ | Теорема Гьоделя про полноту – водна с самоказачных теоремов [[Test-WP/chal/Математишна волупка|математишной волупки]]. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы. | ||
==Ешшо позырьте== | ==Ешшо позырьте== | ||
− | *[[Test-WP/chal/ | + | *[[Test-WP/chal/Теорема Гьоделя про неполноту|Теорема Гьоделя про неполноту]] |
[[Category:Siberian]] | [[Category:Siberian]] | ||
[[Category:Математика]] | [[Category:Математика]] |
Revision as of 07:47, 4 Ревуна 2006
Теорема Гьоделя про полноту - тверженне про полноту класичново числення предикатов: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена К. Гьоделем (1930).
Теорема Гьоделя про полноту – водна с самоказачных теоремов математишной волупки. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.