Kurt Gödel (1906-1978) was an Austrian-born U.S. mathematician whose most famous work was the Incompleteness Theorem that stated that any axioma?tic system powerful enough to describe integer arithmetic could not be simultaneously complete and consistent. This means that if the system is self-consistent, then there will be propositions that can neither be proven nor disproven from within the axiomatic system. |
Kurt Gödel (1906-1978) was an Austrian-born U.S. mathematician whose most famous work was the Incompleteness Theorem that stated that any axiomatic system powerful enough to describe integer arithmetic could not be simultaneously complete and consistent. This means that if the system is self-consistent, then there will be propositions that can neither be proven nor disproven from within the axiomatic system. |
In 1929 Gödel became an Austrian citizen and later that year he completed his doctoral dissertation under [Hans Hahn]?'s supervision. In this dissertation he established the completeness of the first-order predicate calculus (also known as [Godel's Completeness Theorem]?). |
In 1929 Gödel became an Austrian citizen and later that year he completed his doctoral dissertation under [Hans Hahn]?'s supervision. In this dissertation he established the completeness of the first-order predicate calculus (also known as Gödel's completeness theorem). |
In the early seventies, Gödel circulated among his friends an elaboration on Gottfried Leibniz' ontological proof of God's existence. This is now known as Gödel's ontological proof. |