Курт Фридрих Гёдель (28 abr 1906 ano – 14 jan 1978 ano)

Descrição:

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

Adicionado na linha do tempo:

Data:

Imagens: