Gödel


Gö·del

G0173150 (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).

Gödel

(ˈɡɜːdəl) n (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

Gö•del

(ˈgœd l)

n. Kurt, 1906–78, U.S. mathematician and logician, born in Czechoslovakia.
Thesaurus
Noun1.Godel - United States mathematician (born in Austria) who is remembered principally for demonstrating the limitations of axiomatic systems (1906-1978)Kurt Godel