Гёдель Курт

1906 год
-
1978 год

Австрия

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

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

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

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

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

 

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

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

 

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

 

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

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

 

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

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

 

Новости
Случайная цитата
  • Диалектика Горгия
    «Кроме Протагора среди софистов должен быть отмечен Горгий из Леонтин в Сицилии (ок. 483-375 гг. до н. э.). Он приезжал несколько раз в Афины, большую часть жизни прожил в Лариссе в Фессалии. Ему принадлежит работа «О не сущем или о природе». Согласно Горгию, слово не есть субстрат и бытие. Следовательно, продолжает он, собеседнику сообщается не то, что существует в действительности, но слово. Подобно, тому, как видимое не может быть слышимым и наоборот, точно так же обстоит дело и с нашим слов...