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

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

Share Godel's theorem

Dictionary Entries near Godel's theorem

go dead

go deaf

Gödel

Godel's theorem

Godesberg

godet

godetia

Statistics for Godel's theorem

Look-up Popularity

Time Traveler for Godel's theorem

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

See more words from the same year

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).

WORD OF THE DAY

exaggeratedly or childishly emotional

Get Word of the Day daily email!

Test Your Vocabulary

Words from Greek and Roman Mythology Quiz

  • the-triumph-of-venus-by-alessandro-magnasco
  • Boreal comes from the name of the ancient Greek god of which wind?
How Strong Is Your Vocabulary?

Test your vocabulary with our 10-question quiz!

TAKE THE QUIZ
Word Winder's CrossWinder

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

TAKE THE QUIZ

Love words? Need even more definitions?

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