Dictionary Home »
Dictionary Definitions » Gödel's incompleteness theorem
Gödel's incompleteness theorem
Variant of Gödel's theorem
either of two theorems published by the mathematician Kurt Gödel in 1931 that prove all mathematical systems are incomplete in that their truth or consistency can only be proved using a system of a higher order
also called or
Webster's New World College Dictionary Copyright © 2010 by Wiley Publishing, Inc., Cleveland, Ohio. Used by arrangement with John Wiley & Sons, Inc.