Also found in: Thesaurus, Encyclopedia, Wikipedia.


 (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


(ˈgœd l)

Kurt, 1906–78, U.S. mathematician and logician, born in Czechoslovakia.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.Godel - United States mathematician (born in Austria) who is remembered principally for demonstrating the limitations of axiomatic systems (1906-1978)
References in periodicals archive ?
Gödel, em seu famoso teorema, mostra que qualquer conjunto axiomático capaz de lidar com números inteiros e operações aritméticas simples terá duas possibilidades: ou será contraditório, permitindo, simultaneamente, a demonstração de enunciados contrários, ou será incompleto, incapaz de demonstrar como verdadeiros ou falsos certos enunciados.