Курт Гёдель был философом, логиком и математиком. Гёдель, наряду с Аристотелем и Готлобом Фреге, считается одним из самых влиятельных логиков в истории. Он оказал значительное влияние на научную и философскую мысль XX века.
В последние годы своей жизни легендарный математик Курт Гёдель был одержим мыслью, что кто‑то пытается его отравить, и он ел только пищу, приготовленную его женой. Когда она заболела, он перестал есть и умер от голода.
Ранние годы Курта Гёделя
Курт Гёдель родился 28 апреля 1906 года в Брно, Австро‑Венгрия, в семье Рудольфа Гёделя и Марианны Гёдел. Он был чрезвычайно привязан к матери, и когда её не было рядом, он выглядел испуганным и тревожным. В шесть лет у него развилась ревматическая болезнь, но после выздоровления жизнь продолжилась как обычно. В восемь лет он начал читать медицинские книги о своей болезни и обнаружил, что вероятной причиной может быть слабое сердце. Несмотря на отсутствие доказательств слабого сердца, Гёдель был убеждён, что это его проблема, и стал одержим своим здоровьем и самочувствием. (Источник: Royal Society Publishing)
Образование Курта Гёделя
В 18 лет Гёдель поступил в Венский университет к своему брату. В этот период он принял математический реализм как философию. Он был членом престижного Венского кружка, в который входили Мориц Шлик, Ханс Ханн и Рудольф Карнап. Его привлекло изучение и он тщательно прочитал Канта Metaphysische Anfangsgründe der Naturwissenschaft. Затем Гёдель занялся теорией чисел, но после посещения семинара Морицa Шлика по книге Бертрана Рассела «Введение в математическую философию» его заинтересовала математическая логика. По словам Гёделя, математическая логика — наука, предшествующая всем другим, включая идеи и принципы, лежащие в основе всех наук.
Жизнь Гёделя могла быть сформирована его присутствием на докладе Дэвида Гильберта о полноте и согласованности в математических системах в Болонье.
В 1928 году Гильберт и Вильгельм Аккерман опубликовали «Grundzüge der theoretischen Logik», введение в логику первого порядка. Было рассмотрено вопрос о полноте: Являются ли аксиомы формальной системы достаточными для вывода каждого утверждения, истинного во всех моделях этой системы?
Эта проблема была выбрана темой диссертации Гёделя на степень Ph.D. Он завершил её в 1929 году, будучи всего 23 лет, под руководством Ханса Ханна.
Он доказал одноимённую теорему о полноте для исчисления предикатов первого порядка в ней. В 1930 году он получил степень Ph.D., и Венская академия наук опубликовала его диссертацию вместе с некоторыми дальнейшими работами. (Источник: Royal Society Publishing)
Поздняя жизнь и смерть математического гения
У Гёделя были периоды психической нестабильности. После убийства его дорогого друга Мортиса Шлика он был убеждён, что кто‑то пытается отравить его. Из‑за этого он ел только пищу, приготовленную его женой Адель. Когда Адель заболела и была госпитализирована в 1977 году, Гёдель отказался есть и фактически умер от голода.
К моменту его смерти он весил 65 фунтов, а причиной смерти было указано недоедание и истощение, вызванные расстройством личности. Он умер в Принстонской больнице 14 января 1978 года. (Источник: Royal Society Publishing)
