First Known Use: 1933
Dictionary
Godel's theorem
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
Origin of GODEL'S THEOREM
Kurt Gödel †1978 American mathematician
Browse
Next Word in the Dictionary: godetPrevious Word in the Dictionary: goddess–shipAll Words Near: Godel's theorem
Seen & 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).