Godel's theorem

Go·​del's theorem | \ ˈgō-dəlz- How to pronounce Godel's theorem (audio) , ˈgər-, ˈgœ- How to pronounce Godel's theorem (audio) \

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

First Known Use of Godel's theorem

1933, in the meaning defined above

History and Etymology for Godel's theorem

Kurt Gödel †1978 American mathematician

Keep scrolling for more

Learn More about Godel's theorem

Time Traveler for Godel's theorem

Time Traveler

The first known use of Godel's theorem was in 1933

See more words from the same year

Statistics for Godel's theorem

Cite this Entry

“Godel's theorem.” Merriam-Webster.com Dictionary, Merriam-Webster, https://www.merriam-webster.com/dictionary/Godel%27s%20theorem. Accessed 5 Dec. 2020.

Comments on Godel's theorem

What made you want to look up Godel's theorem? Please tell us where you read or heard it (including the quote, if possible).


Test Your Vocabulary

Musical Words Quiz

  • gramophone
  • Which word describes a musical performance marked by the absence of instrumental accompaniment?
Spell It

Can you spell these 10 commonly misspelled words?


Test Your Knowledge - and learn some interesting things along the way.

Love words? Need even more definitions?

Subscribe to America's largest dictionary and get thousands more definitions and advanced search—ad free!