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

Айдать на коробушку Айдать на сыскальник
← Older editNewer edit →
Content deleted Content added
VisualWikitext
*>Amire80
*>Amire80
ьо
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/Математишна волупка|математишной волупки]]. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.


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


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