Австрия
Австрийский логик и математик. Относительно мало публиковался, но обычно его результаты имели фундаментальный характер.
Ещё будучи студентом, Курт Гёдель хорошо ориентировался в различных разделах математики, но, как заметил его знакомый: «Говорить с Гёделем всё равно, что заглядывать в мир иной…»
В 1940 году учёный переехал в США в Принстонский Институт перспективных исследований / Institute for Advanced Study.
Наиболее известные работы Курта Гёделя – 32 леммы и две теоремы, доказанные им в 1930-1931 годах. Упрощая, можно утверждать, что он показал: «… множество арифметических истин, выводимых из любой данной конечной системы аксиом и правил вывода, не может совпадать с множеством всех истинных формул».
Манин Ю.И., Математика как метафора, М., «Издательство МЦНМО», 2010 г., с. 26.
Замечу, что ранее к аналогичному выводу на практике пришли юристы: «… в британской и американской юриспруденции: присяжные могут оправдать даже явно виновного, если считают, что в данном случае «закон плох». Правительства несколько раз пытались наказать присяжных за такие решения, но безуспешно».
Роберт Антон Уилсон, Психология эволюции, Киев, «Янус», 2001 г., с.16.
Позже указанный выше математический вывод Курта Гёделя стал широко и часто трактоваться мировоззренчески: как невозможность полной аксиоматизации развитых научных теорий.
Учёный скончался в США и, как гласило свидетельство о смерти «от недоедания и истощения», индуцированных тяжёлой формой паранойи.
После учёного осталось 60 коробок рукописей, написанных стенографически. Далеко не все записи расшифрованы...
«В 1936 году появились работы логиков Алонзо Чёрча и Алана Тьюринга, которые показали, что существуют проблемы, неразрешимые не только в смысле Гёделя, то есть в рамках данной формальной системы, но и в более глубоком смысле, для которых нет конечных алгоритмов, то есть процедур, разрешающих эти проблемы за конечное число шагов».
Данилов Ю.А., На далеких Гёделевых островах / Прекрасный мир науки, М., «Прогресс-Традиция», 2008 г., с. 269.
Регистрация на конференц
Страница конференции во ВКонтакте: 
