Kurt Godel

Also found in: Thesaurus, Encyclopedia.
Related to Kurt Godel: Alan Turing, Georg Cantor
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.Kurt 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.
Mentioned in ?
References in periodicals archive ?
Is named after the late German mathematician Kurt Godel.
Es sei unmoglich, sogar aus einer Metaperspektive, die Schlussigkeit eines Systems nachzuweisen, ahnlich wie es Kurt Godel mit dem Unvollstandigkeitstheorem gezeigt hatte: Eine Theorie kann nicht durch sie selbst bewiesen werden.
THE THREE CENTRAL FIGURES IN THE Scandal of Money--the logician Kurt Godel and computer theoreticians Alan Turing and Claude Shannon, each of whom was at work during the middle decades of the last century--did not concern themselves with economics.
(2) On pages 44-45 vos Savant mentions Kurt Godel's proof that any "consistent system of formal logic powerful enough to formulate statements in the theory of numbers must include true statements that cannot be proved." "One wonders whether Godel's logic could be applied to his own argument, like a dog chasing its tail, thus "proving" itself invalid."
On the historical side, Wolfram offers his views of the logician Kurt Godel, computer scientist (perhaps the original computer scientist) Alan Turing and mathematicians John von Neumann and George Boole.
Unfortunately, the theorems that Kurt Godel produced in 1931 demonstrate that coherence cannot be guaranteed.
He also provides fascinating case histories, from an Ethiopian schoolgirl who slowly ate a wall outside her house to Kurt Godel's fear of food poisoning.
In his original paper [1], Kurt Godel has derived an exact solution to Einstein's field equations in which the matter takes the form of a pressure-free perfect fluid (dust solution).
The possibility of having a CTC has long baffled physicists and philosophers since it was discovered in 1949 by Kurt Godel, an Austrian-American scientist.
The theorem belongs originally to Anselm of Canterbury and was taken on by Austrian mathematician Kurt Godel states that God by definition is that for which no greater can be conceived.