Большая биографическая энциклопедия:
Гёдель (Gdel) Курт
(1906—1978), логик и математик. Родился в Австро-Венгрии. С 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) так называемые теоремы о неполноте (теоремы Гёделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020