Гедель (Godel) Курт (1906-78), логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.
- Нагель Э., Ньюмен Д. Р. Теорема Геделя. М., 1970.
- Клайн М. Математика. Утрата определенности. М., 1984.
- Совместимость аксиомы выбора и обобщенной континуум-гипотезы с аксиомами теории множеств // Успехи математических наук. 1948. Вып. 3. № 1.
- Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systems I, Monatshefte fur Mathematik und Physik, 38, 1931.
- The consistency of the axion of shoice and of the generalized continuum-hipothesis with the axioms of set theory. Princeton, 1940.
- Cм. также библиографию в: Клони С.К. Введение в математику. М., 1957.