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


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

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


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