Гёдель Курт

1906 год
-
1978 год

Австрия

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

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

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

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

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

 

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

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

 

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

 

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

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

 

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

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

 

Новости
Случайная цитата
  • Слабости коллективного ответа / решения
    «Осенью 1964 года мы, Коллегия Справедливости - создатели только что родившейся передачи «Турнир СК» (старшеклассников), с томительным страхом и нетерпением ожидали ответов на самое первое наше задание. Право участвовать в соревновании предоставлялось любой средней школе - справьтесь только лучше других с домашним заданием. Но где гарантия, что старшеклассники, и без того сверх меры занятые, станут тратить время на ещё одно сомнительное «мероприятие», требующее большой затраты времени (вопросы м...