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