Difference between revisions of "Теорема Гьоделя про полноту"
Айдать на коробушку
Айдать на сыскальник
*>Yaroslav Zolotaryov |
*>Yaroslav Zolotaryov m |
||
| Line 1: | Line 1: | ||
| − | '''ГЕДЕЛЯ ТЕОРЕМА ПРО ПОЛНОТУ''' - тверженне про полноту класичново [[Test-WP/chal/числення предикатов| числення предикатов]]: еси предикатна формула взабольна в какой-нить интерпретацыи, то | + | '''ГЕДЕЛЯ ТЕОРЕМА ПРО ПОЛНОТУ''' - тверженне про полноту класичново [[Test-WP/chal/числення предикатов| числення предикатов]]: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена [[Test-WP/chal/Гедель Курт|К. Геделем]] ([[Test-WP/chal/1930|1930]]). Геделя теорема про полноту – водна с самоказачных теоремов [[Test-WP/chal/Математишна волупка |математишной волупки]]. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы. |
Revision as of 14:53, 6 Грозника 2006
ГЕДЕЛЯ ТЕОРЕМА ПРО ПОЛНОТУ - тверженне про полноту класичново числення предикатов: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена К. Геделем (1930). Геделя теорема про полноту – водна с самоказачных теоремов математишной волупки. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.