Gödel


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

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

Gö•del

(ˈgœd l)

n.
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.