Difference between revisions of "Теорема Гьоделя про полноту"

Айдать на коробушку Айдать на сыскальник
← Older edit
Content deleted Content added
VisualWikitext
*>Yaroslav Zolotaryov
mNo edit summary
*>Timichal
m Robot: Automated text replacement (-\[\[(C|c)ategory:( |)(S|s)iberian\]\] +)
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
'''ГЕДЕЛЯ ТЕОРЕМА ПРО ПОЛНОТУ''' - тверженне про полноту класичново [[Test-WP/chal/числення предикатов| числення предикатов]]: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена [[Test-WP/chal/Гедель Курт|К. Геделем]] ([[Test-WP/chal/1930|1930]]). Геделя теорема про полноту – водна с самоказачных теоремов [[Test-WP/chal/Математишна волупка |математишной волупки]]. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.
'''Теорема Гьоделя про полноту''' - тверженне про полноту класичново [[числення предикатов]]: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена [[Гьодель, Курт|К. Гьоделем]] ([[1930]]).


Теорема Гьоделя про полноту – водна с самоказачных теоремов [[Математишна волупка|математишной волупки]]. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.


==Ешшо позырьте==
==Ешшо позырьте==
*[[Test-WP/chal/Геделя теорема про неполноту| Геделя теорема про неполноту]]
*[[Теорема Гьоделя про неполноту]]



[[Category:Siberian]]
[[Category:Математика]]
Retrieved from "https://sibwiki.org/wiki/Теорема_Гьоделя_про_полноту"