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

Айдать на коробушку Айдать на сыскальник
Newer edit →
Content deleted Content added
VisualWikitext
*>Yaroslav Zolotaryov
No edit summary
 
*>Yaroslav Zolotaryov
mNo edit summary
Line 1: Line 1:
'''ГЕДЕЛЯ ТЕОРЕМА ПРО ПОЛНОТУ''' - тверженне про полноту класичново [[Test-WP/chal/числення предикатов| числення предикатов]]: еси предикатна формула взабольна в какой-нить интерпретацыи, то ее мочно вывессь в численни предикатов. Доведена [[Test-WP/chal/Гедель Курт|К. Геделем]] ([[Test-WP/chal/1930|1930]]). Геделя теорема про полноту – водна с самоказачных теоремов [[Test-WP/chal/Математишна волупка |математишной волупки]]. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.
'''ГЕДЕЛЯ ТЕОРЕМА ПРО ПОЛНОТУ''' - тверженне про полноту класичново [[Test-WP/chal/числення предикатов| числення предикатов]]: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена [[Test-WP/chal/Гедель Курт|К. Геделем]] ([[Test-WP/chal/1930|1930]]). Геделя теорема про полноту – водна с самоказачных теоремов [[Test-WP/chal/Математишна волупка |математишной волупки]]. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.




Retrieved from "https://sibwiki.org/wiki/Теорема_Гьоделя_про_полноту"