Difference between revisions of "Теорема Гьоделя про полноту"
Айдать на коробушку
Айдать на сыскальник
Content deleted Content added
*>Amire80 ьо |
*>Incubator import Fixing internal links |
||
| Line 1: | Line 1: | ||
'''Теорема Гьоделя про полноту''' - тверженне про полноту класичново [[ |
'''Теорема Гьоделя про полноту''' - тверженне про полноту класичново [[числення предикатов]]: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена [[Гьодель, Курт|К. Гьоделем]] ([[1930]]). |
||
Теорема Гьоделя про полноту – водна с самоказачных теоремов [[ |
Теорема Гьоделя про полноту – водна с самоказачных теоремов [[Математишна волупка|математишной волупки]]. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы. |
||
==Ешшо позырьте== |
==Ешшо позырьте== |
||
*[[ |
*[[Теорема Гьоделя про неполноту]] |
||
[[Category:Siberian]] |
[[Category:Siberian]] |
||
Revision as of 15:15, 2 Грязника 2006
Теорема Гьоделя про полноту - тверженне про полноту класичново числення предикатов: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена К. Гьоделем (1930).
Теорема Гьоделя про полноту – водна с самоказачных теоремов математишной волупки. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.