Гёдель К.

ГЁДЕЛЬ (Gцdel) Курт (1906—78), логик и математик. Родился в Австро-Венгрии. С 1940 в США. Труды по матем. логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Г.), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.