Also found in: Thesaurus, Encyclopedia, Wikipedia.
Gö·del(gœd′l), Kurt 1906-1978.
Moravian-born American mathematician and logician best known for his proof that the consistency of a mathematical system in which the truths of arithmetic can be expressed cannot be proven from within that system (1931).
(Biography) Kurt (kʊrt). 1906–78, US logician and mathematician, born in Austria-Hungary. He showed (Gödel's proof) that in a formal axiomatic system, such as logic or mathematics, it is impossible to prove consistency without using methods from outside the system
Kurt, 1906–78, U.S. mathematician and logician, born in Czechoslovakia.