Difference between revisions of "Теорема Гьоделя про полноту"
Айдать на коробушку
Айдать на сыскальник
Content deleted Content added
*>Yaroslav Zolotaryov mNo edit summary |
*>Coipition'Tong No edit summary |
||
| Line 6: | Line 6: | ||
[[Category:Siberian]] |
[[Category:Siberian]] |
||
[[Category:Математика]] |
|||
Revision as of 22:31, 12 Грозника 2006
ГЕДЕЛЯ ТЕОРЕМА ПРО ПОЛНОТУ - тверженне про полноту класичново числення предикатов: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена К. Геделем (1930). Геделя теорема про полноту – водна с самоказачных теоремов математишной волупки. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.