Godel's theorem

noun Go·del's theorem \ˈgō-dəlz-, ˈgər-, ˈgœ-\

Definition of GODEL'S THEOREM

:  a theorem in advanced logic: in any logical system as complex as or more complex than the arithmetic of the integers there can always be found either a statement which can be shown to be both true and false or a statement whose truth or falsity cannot be deduced from other statements in the system —called also Godel's incompleteness theorem


Kurt Gödel †1978 American mathematician
First Known Use: 1933


Next Word in the Dictionary: godetPrevious Word in the Dictionary: goddess–shipAll Words Near: Godel's theorem
July 01, 2015
precarious Hear it
not certain, secure, or steady
Take a 3-minute break and test your skills!
How to use a word that (literally) drives some people nuts.
Test your vocab with our fun, fast game
Ailurophobia, and 9 other unusual fears