Великий логик – Курт Гёдель

Опубликовано в Исторические факты

Математик Курт Гёдель, признанный одним из величайших логиков всех времен и народов, наравне с Бертраном Рас селом внес огромный вклад в концепцию логических доказательств и опровержений в аксиоматических системах.

Курт Гёдель родился в Брно (Моравия, нынешняя Чехия) 28 апреля 1906 года. Он был младшим из двух сыновей Рудольфа и Марианны Гёдель — немецких экспатриантов, работавших в текстильной промышленности. После окончания гимназии в Брно Курт покинул родной город и в 1924 году поступил в Венский университет — четырьмя годами раньше его брат отправился туда изучать медицину. Гёдель намеревался изучать в университете физику, но под влиянием двух своих преподавателей, Филиппа Фуртвенглера и Ханса Хана, остановил выбор на математике. Перенесенные Куртом в то время ревматические лихорадки оставили на всю жизнь последствия в виде психических проблем — ипохондрии и панического страха перед отравлением.

В 1926 году Гёдель был приглашен на семинар по философии в кружок Морица Шлика, завсегдатаями которого были такие философы, физики и математики, как Рудольф Карнап (1891 — 1970), Ханс Хан (1879— 1934), Мориц Шлик (1882—1936), Фридрих Вайсман (1896—1959) и Отто Нейрат (1882—1945). Собрания эти в итоге получили известность как «Венский кружок».

Философ Карнап и математик Менгер ввели Гёделя в математическую логику. В те времена значительное влияние на Венский кружок оказывали работы Витгенштейна о языке (метаязыке). Гёдель успешно применял метаязык в математике, однако никогда не разделял образа мысли Венского кружка, где преобладал логический позитивизм; даже наоборот, ученый придерживался противоположенной позиции — ярко выраженного платонизма. Гёдель считал, что истины существуют вне зависимости от того, знаем мы о них или нет. В математике из этого следует, что теоремы не выводят, а открывают. Гёдель неоднократно признавался, что источником его вдохновения служила платоническая метафизика.

Материалы по теме:

Оцените материал: