Гёдель Курт

1906 год
-
1978 год

Австрия

Австрийский логик и математик. Относительно мало публиковался, но обычно его результаты имели фундаментальный характер.

Ещё будучи студентом, Курт Гёдель хорошо ориентировался в различных разделах математики, но, как заметил его знакомый: «Говорить с Гёделем всё равно, что заглядывать в мир иной…»

В 1940 году учёный переехал в США в Принстонский Институт перспективных исследований /  Institute for Advanced Study.

Наиболее известные работы Курта Гёделя32 леммы и две теоремы, доказанные им в 1930-1931 годах. Упрощая, можно утверждать, что он показал: «… множество арифметических истин, выводимых из любой данной конечной системы аксиом и правил вывода, не может совпадать с множеством всех истинных формул».

Манин Ю.И.,  Математика как метафора, М., «Издательство МЦНМО», 2010 г., с. 26.

 

Замечу, что ранее к аналогичному выводу на практике пришли юристы: «… в британской и американской юриспруденции: присяжные могут оправдать даже явно виновного, если считают, что в данном случае «закон плох». Правительства несколько раз пытались наказать присяжных за такие решения, но безуспешно».

Роберт Антон Уилсон, Психология эволюции, Киев, «Янус», 2001 г., с.16.

 

Позже указанный выше математический вывод Курта Гёделя стал широко и часто трактоваться мировоззренчески: как невозможность полной аксиоматизации развитых научных теорий.

 

Учёный скончался в США и, как гласило свидетельство о смерти «от недоедания и истощения», индуцированных тяжёлой формой паранойи.

После учёного осталось 60 коробок рукописей, написанных стенографически. Далеко не все записи расшифрованы...

 

«В 1936 году появились работы логиков Алонзо Чёрча и Алана Тьюринга, которые показали, что существуют проблемы, неразрешимые не только в смысле Гёделя, то есть в рамках данной формальной системы, но и в более глубоком смысле, для которых нет конечных алгоритмов, то есть процедур, разрешающих эти проблемы за конечное число шагов».

Данилов Ю.А., На далеких Гёделевых островах / Прекрасный мир науки, М., «Прогресс-Традиция», 2008 г., с. 269.

 

Новости
Случайная цитата
  • Ломоносов – великий муж по оценке А.Н. Радищева
    Последняя глава «Путешествия…» называется «Слово о Ломоносове», но периодически - как и в других главах - А.Н. Радищев делает обобщения:«Человек рождённый с нежными чувствами одарённый сильным воображением,  побуждаемый любочестием, изторгается из среды народныя. Восходит на лобное  место. Все взоры на него стремятся, все ожидают с нетерпением его  произречения. Его же ожидает плескание рук или посмеяние горшее самыя  смерти.Как можно быть ему посредственным?Таков был Демосфен, таков был Цицерон...