Dictionary

Godel's theorem

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

Origin of GODEL'S THEOREM

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

Browse

Next Word in the Dictionary: godetPrevious Word in the Dictionary: goddess–shipAll Words Near: Godel's theorem
March 03, 2015
thanatology Hear it
The study of death and grieving
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