Difference between revisions of "Теорема Гьоделя про полноту"
Айдать на коробушку
Айдать на сыскальник
Content deleted Content added
*>Incubator import Fixing internal links |
*>Timichal m Robot: Automated text replacement (-\[\[(C|c)ategory:( |)(S|s)iberian\]\] +) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 6: | Line 6: | ||
*[[Теорема Гьоделя про неполноту]] |
*[[Теорема Гьоделя про неполноту]] |
||
[[Category:Siberian]] |
|||
[[Category:Математика]] |
[[Category:Математика]] |
||
Latest revision as of 17:00, 5 Грязника 2006
Теорема Гьоделя про полноту - тверженне про полноту класичново числення предикатов: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена К. Гьоделем (1930).
Теорема Гьоделя про полноту – водна с самоказачных теоремов математишной волупки. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.