теорема Гёделя о неполноте

Русская Википедия - свободная энциклопедияСкачать словарь
Теоремы Гёделя о неполноте
Теоремы Гёделя о неполноте — две теоремы математической логики о неполноте формальных систем определённого рода.

Продолжение на Wikipedia.οrg...


© Текстовое содержимое использует материал из Википедии® и доступно в соответствии с лицензией свободной документации GNU