Kurt Gödel(redirected from K. Gödel)
Also found in: Dictionary, Thesaurus.
Born Apr. 28, 1906, in Brünn (Brno). Austrian logician and mathematician; assistant professor at the University of Vienna from 1933 to 1938. Emigrated to the USA in 1940. Since 1953 he has been a professor at the Institute for Advanced Study in Princeton. His principal works are in the field of mathematical logic and set theory.
REFERENCESKleene, S. C. Vvedenie v metamatematiku. Moscow, 1957. (Translated from English; contains a bibliography.)
Nagel, E., and D. R. Newman. Teorema Gedelia. Moscow, 1970. (Translated from English.)