Abstract

Kurt Gödel is well-known as a first-class logician-mathematician, but less well for his proof of God. Godel's Incompleteness Theorems proved that all formal axiomatic systems have inherent limitations. He created also “Gödel numbering,” a special code for writing mathematical formulae. His proof of God was presented logically on the basis of modal axioms. Gödel was sure of God’s personal influence and believed in eternal life of the human soul. He was more than only a “Baptized Lutheran” whose belief was “theistic.” Yet Gödel’s individual assurance of God’s “personal existence“ cannot be viably presented on an interpersonal basis being a “first-person“ type of knowledge and, thus, outside interpersonal conditions for an objective construction beyond a “verbal proof.“ There are categories of reality not easily translatable without a shift in their meaning or a simplifying reduction. The metaphor of an analogy between the brain and its mind as against a computer’s hard- and software does not adequately consider the polarity between the message and its meaning. Gödel’s God was not a modally conceived formal-logical abbreviation of something unattainable for the believer, but a personal Security which does not require any proof.