Гёдель Курт

Гёдель Курт (Godel, Kurt) (1906-78), амер. математик, род. в Австро-Венгрии. Мн. сделал для установления непротиворечивости аксиом арифметики. Теорема о неполноте, доказанная им в 1931 г., утверждает, что любое непротиворечивое аксиоматическое описание натуральных чисел должно включать неразрешимые утверждения, т.е. существуют нек-рые корректно сформулированные утверждения относительно этих чисел, к-рые за конечное число шагов рассуждений не могут быть ни опровергнуты, ни доказаны. Его методы доказательства использовались математиками для исследования оснований др. разделов математики и послужили толчком к интенсивному развитию метаматематики.