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