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