гёдель

Неполнота науки: как жил и что доказал Курт Гёдель?

Неполнота науки: как жил и что доказал Курт Гёдель?

«Достижения Курта Гёделя в современной логике уникальны и монументальны. Определенно, это — нечто большее, нежели памятник ученому, это — путеводная звезда, свет которой продолжит распространяться в пространстве и времени вечно».  Джон фон Нейман Накануне гибели Австро-Венгерская империя подарила человечеству немало…
Читать дальше
Как работает доказательство Гёделя

Как работает доказательство Гёделя

Его теоремы о неполноте разгромили поиск математической теории всего. Почти сто лет спустя мы всё ещё пытаемся осмыслить последствия этого. В 1931 году австрийский логик Курт Гёдель провернул, вероятно, один из самых потрясающих интеллектуальных трюков в истории. Математики той эпохи…
Читать дальше