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

to be made up of

Get Word of the Day daily email!

Test Your Vocabulary

Where in the World? A Quiz

  • peter bruegel tower of babel painting
  • What language does pajama come from?
Spell It

Can you spell these 10 commonly misspelled words?

TAKE THE QUIZ
Dictionary Devil

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!