| 释义 |
gö·del's theorem
noun
also gödel's incompleteness theorem \ˈgœ̅dəlz-\
Usage: usually capitalized G
Etymology: after Kurt Gödel died 1978 American mathematician
: a theorem in advanced logic: in any logical system as complex 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 |