Гёдель Курт

1906 год
-
1978 год

Австрия

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

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

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

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

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

 

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

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

 

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

 

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

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

 

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

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

 

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