Выдающийся математик, который морил себя голодом из-за паранойи: история жизни и смерти Курта Гёделя
Каким бы гениальным и критически мыслящим не был человек, он никогда не будет застрахован от возможных проблем с ментальным здоровьем. Доказательство тому — история Курта Гёделя, выдающегося математика, который так сильно страдал от паранойи, что в результате умер от голода.
Считается, что вклад Гёделя в математическую науку можно сравнить с вкладом Альберта Эйнштейна в физику.
Помимо математики, Курт Гёдель также был логиком и философом. Жизнь выдающегося ученого могла бы сложиться совершенно другим образом, однако ментальные проблемы в итоге одержали победу над его светлым разумом.
Курт Гёдель прославился как выдающийся математик после того, как представил научному сообществу свои теоремы о неполноте. Однако в жизни Гёделя были не только светлые полосы. Жить счастливую жизнь гениального ученого ему мешало слабое здоровье. Все началось с ревматической лихорадки, которой он заболел будучи шестилетним мальчиком. На протяжении всей жизни Курт был убежден, что никогда не сможет больше стать абсолютно здоровым человеком. С возрастом у ученого также обнаружились ментальные проблемы — Гёдель был сильным тревожником и параноиком, страдавшим от депрессии и нервных срывов.
Ранняя жизнь Курта Геделя и его путь в науке
Будущий гений математики появился на свет в 1906 году в Брунне, Австро-Венгрия (территория современной Чехии). С ранних лет у мальчика наблюдалась особенная тяга к науке, в частности, — к математической. После совершеннолетия молодой человек начал строить свою интеллектуальную карьеру, изучая теоретическую физику, математику и философию в Венском университете. Так как в те годы Вена была местом притяжения интеллектуалов, Курт Гёдель был окружен известными мыслителями и входил в знаменитый Венский кружок.
Уже в 23 года Гёдель защитил свою докторскую диссертацию — сделал он это под руководством одного из лидеров Венского кружка, Ганса Хана. В этой работе он доказал, что набор формальных математических систем, которые были известны как логика первого порядка, можно доказать с помощью системы, называемой формальной дедукцией.