В 25 лет Курт Гёдель доказал, что математической «теории всего» никогда не будет. Обозреватель Натали Волчовер исследует последствия этого открытия.
В 1931 году, обратив логику против самой себя, Курт Гёдель доказал пару теорем, которые изменили представление о знании и истине. Эти «теоремы о неполноте» установили, что ни одна формальная система математики — ни одно конечное множество правил или аксиом, из которых, как предполагается, вытекает всё остальное, — не может быть полной. Всегда будут существовать истинные математические утверждения, которые логически не вытекают из этих аксиом.
