Курт Фридрих Гёдель (28 апр 1906 г. – 14 янв 1978 г.)
Описание:
Австрийский логик, математик и философ математики, наиболее известный сформулированной и доказанной им теоремой о неполноте (опубликована в 1931 году). Одна из них гласит, что любая эффективно аксиоматизируемая теория, в достаточно богатом языке, достаточном для определения натуральных чисел и операций сложения и умножения, является неполной либо противоречивой. Неполнота означает наличие высказываний, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом этой теории. Противоречивость - возможность доказать любое высказывание: как истинное, так и ложное. Эффективная аксиоматизируемость понимается как возможность алгоритмически решить, является ли данное утверждение аксиомой. С теоремой Геделя связано открытое в ХХ веке чрезвычайно важное явление алгоритмической неразрешимости. Оно основано на том, что существуют классы корректно поставленных массовых проблем, допускающихприменение алгоритмов, для которых, тем не менее, доказано отсутствие каких-либо алгоритмов их решения. Доказанные Гёделем теоремы имеют широкие последствия как для математики, так и для философии. Заложил основы теоретической информатики.Добавлено на ленту времени:
Дата:
28 апр 1906 г.
14 янв 1978 г.
~ 71 years