kurt godel

Collins
World English Dictionary
Gödel (ˈɡɜːdəl)
 
n
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 & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
American Heritage
Science Dictionary
Gödel   (gŭd'l)  Pronunciation Key 
Austrian-born American mathematician who in 1931 published the most important axiom in modern mathematics, known as Gödel's proof. It states that in any finite mathematical system, there will always be statements that cannot be proved or disproved. Gödel's proof ended efforts by mathematicians to find a mathematical system that was entirely consistent in itself.
The American Heritage® Science Dictionary
Copyright © 2002. Published by Houghton Mifflin. All rights reserved.
Cite This Source
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT

;