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).
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.


(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
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014


(ˈgœd l)

Kurt, 1906–78, U.S. mathematician and logician, born in Czechoslovakia.
Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.Godel - United States mathematician (born in Austria) who is remembered principally for demonstrating the limitations of axiomatic systems (1906-1978)
Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.
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.