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

Айдать на коробушку Айдать на сыскальник
← Older editNewer edit →
Content deleted Content added
VisualWikitext
*>Amire80
ьо
*>Incubator import
Fixing internal links
Line 1: Line 1:
'''Теорема Гьоделя про полноту''' - тверженне про полноту класичново [[Test-WP/chal/числення предикатов|числення предикатов]]: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена [[Test-WP/chal/Гьодель, Курт|К. Гьоделем]] ([[Test-WP/chal/1930|1930]]).
'''Теорема Гьоделя про полноту''' - тверженне про полноту класичново [[числення предикатов]]: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена [[Гьодель, Курт|К. Гьоделем]] ([[1930]]).


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


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


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