Godel's theorem

noun
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

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

an enemy or opponent

Get Word of the Day daily email!

Test Your Vocabulary

Name That Thing: Animal Edition

  • alt 5a023732e6f75
  • Name that animal:
True or False

Test your knowledge - and maybe learn something along the way.

TAKE THE QUIZ
SCRABBLE® Sprint

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!