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

involving abstract or general statements

Get Word of the Day daily email!

Test Your Vocabulary

Liar, Liar Quiz

  • alt-5761dbe2ba986
  • Someone who pretends to be sick in order to avoid work is a:
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!