Quantcast
Merriam-Webster Logo
  • Dictionary
  • Thesaurus
  • Medical
  • Scrabble
  • Spanish Central
  • Learner's Dictionary

Godel's theorem

play
noun Go·del's theorem \ˈgō-dəlz-, ˈgər-, ˈgœ-\

Definition of Godel's theorem

  1. :  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



Origin of godel's theorem

Kurt Gödel †1978 American mathematician


First Known Use: 1933


Seen and Heard

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

February 6, 2016

an official order, decree, or edict

Get Word of the Day daily email!

WORD GAMES

Take a 3-minute break and test your skills!

image1037863653

Which of the following refers to thin, bending ice, or to the act of running over such ice?

kittly-benders duvet spindrift pince-nez
Name That Thing

10 quick questions: hear them, spell them, and see how your skills compare to the crowd.

TAKE THE QUIZ
SCRABBLE® Sprint

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

TAKE THE QUIZ