I have seen it argued that Gödel's Incompleteness Theorems have implications regarding the existence of God. Arguments for the existence of God run mostly along the lines: "Because of Gödel's Theorem, truth transcends human understanding, and therefore there is God". Arguments against God go like this: "Because of Gödel's Theorem, omniscience is impossible, hence an all-knowing God cannot exist".

Personally, I fail to see sense in such reasoning (of course, this does not necessarily say much, because I could be missing something). Given that nowadays people hold all sorts of irrational views, I can't say I am surprised --- but I would be if a serious and respectable person supported such arguments. In fact, I only saw such arguments either in the process of being rebutted, or expressed by people whom I find it very hard to take seriously.

I would be very grateful if someone could respond to these questions:

  1. Are there legitimate applications of Gödel's theorems to the existence of God, or theology in general?

  2. Do any significant philosophers or theologians ever express views of this kind?

  • 1
    This guy seems to be pretty on the ball. – Quinn Culver May 29 '13 at 22:17
  • 3
    @QuinnCulver: I remember seeing that video. It was painful. – DBK Jul 20 '13 at 0:49
  • If by "on the ball" you mean "hilariously off the wall." He is comically unfamiliar with what Gödel's theorem applies to—a specific kind of set. – ChristopherE Oct 24 '13 at 19:10
  • @DBK: This truly is painful. The speaker seems to assert we wanted to prove the axioms of geometry, and generally do mathematics fully without axioms. – Jakub Konieczny Oct 24 '13 at 21:47
  • You can find my math-logical argument at <metagovernment.org/Law_of_the_Eternal>. – TheDoctor Jul 28 '17 at 21:09

Such arguments are indeed ... shall we say "hopeless", to be polite. For a demolition job, take a look at Torkel Franzén's Gödel's Theorem: An Incomplete Guide to Its Use and Abuse.

| improve this answer | |
  • 6
    Mind giving us a review on why they are hopeless? Not much of a answer as it stands. – Neil Meyer Jul 19 '13 at 14:11
  • Because it's not clear that Gödel's theorem has any implications for knowability, much less for omniscience, much less for anything to do with gods. See answer here: philosophy.stackexchange.com/a/314/4504 – ChristopherE Oct 24 '13 at 19:16
  • Or perhaps we can say that God has access to second order logic, for which Godel falls. – Joshua May 18 '15 at 0:10

Godel's theorem says nothing about human understanding. It only places limits on certain formal axiomatic systems. Humans have ways of understanding that transcend formal axiomatic systems; for example, we can extend a given axiomatic system to prove the truths that were unprovable in the unextended system.

As an example, Zermelo-Fraenkel set theory (ZF) can neither prove nor disprove the Axiom of Choice (AC). But we can extend ZF to ZFC, and thereby prove AC.

This has nothing at all to do with theology. It's strictly a matter of formal mathematical proofs regarding axiomatic systems.

| improve this answer | |
  • 4
    "But we can extend ZF to ZFC, and thereby prove AC". Since "C" in "ZFC" stands for the axiom of choice, this example is a bit weird. In ZFC, AC is added as an axiom, it is not proved anywhere. – DBK Jul 20 '13 at 12:37
  • I could have made the same point by saying that in ZF we can't prove Zorn's lemma but in ZFC we can. It comes down to the same thing. The main point being that Godel's theorem says nothing about "human understanding" as the original questioner believes. It's strictly a mathematical statement about formal axiomatic systems. – Janet Williams Jul 20 '13 at 21:34
  • 1
    I agree with your main point. Please consider that comments are (among other things) means to point out smaller errors and to suggest improvements. I pointed out that - contrary to what you write - AC is added as an axiom in ZFC, it is not proved. (I think we both agree on this really trivial point.) Zorn's lemma is indeed a better example, as its equivalence with AC can be proved in ZFC. You could improve your answer by using this example. BTW, welcome to Philosophy.SE and thanks for contributing! :) – DBK Jul 21 '13 at 0:56
  • @DBK, if you add some axiom A to your formal system, technically, proof is defined in such a way that it would be perfectly OK to say 'I can prove A'. – user132181 Mar 29 '14 at 19:55
  • 1
    +1 - But perhaps the theorem shows we cannot build a tower of logic all the way to Heaven, in which case score one for the Old Testament. . – user20253 Oct 19 '19 at 11:34

The legitimate applications of Godels theorems are to mathematics, anything outside of that, especially to applications to theology is generally a form of mathematical superstition, it's a contemporary form of numerology or astrology.

| improve this answer | |

Gödel's incompleteness theorem is based on: "The true reason for the incompleteness that is inherent in all formal systems of mathematics lies in the fact that the generation of higher and higher types can be continued into the transfinite whereas every formal system contains at most countably many.... In fact we can show that the undecidable statements presented here always become decidable by adjunction of suitable higher types .... Same holds for the axiom system of set theory. [Kurt Gödel: "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I", Monatshefte für Mathematik und Physik 38 (1931) p. 191]

Since the "generation of higher and higher types" is invalid, at least according to some branches of modern mathematics (e.g., Constructivism or MatheRealism), one cannot derive a general proof of God's existence from the incompletenes theorems.

But Gödel himself is certainly what you consider "a serious and respectable person". It is not his incompleteness theorem that proves or supports the idea of the existence of God but a direct logical proof by the greatest logician of the last century, namely by Gödel himself: Christoph Benzmüller, Bruno Woltzenlogel Paleo: "Formalization, mechanization and automation of Gödel's proof of God's existence", arXiv (2013)

| improve this answer | |

Godel’s incompleteness theorem basically says that reason is limited.

Quantum theory seems to say that empiricism is limited.

Those limits provide gaps that open up the doors to metaphysics

| improve this answer | |

Gödel himself asserted that his result applied to theology: he submitted that there exists a Transcendent Truth of the divine kind. Being the greatest logician ever, and probably the greatest intellect ever, it’s best not to resort to “authorities” such as Torkel Franzén or any other “debunker of all things religious”.

| improve this answer | |
  • 1
    Hello, and welcome to Philosophy.SE. Making claims about someone doing or writing something or even giving citations without proper referencing does not exactly strengthen your answer. Please consider adding sources for your claims. Having said that, philosophy becomes ideology if something is taken for granted because a particular person said it. Nothing is correct by virtue of meeting Gödel's assessment. – Philip Klöcking Oct 18 '19 at 21:22
  • 1
    I suppose mentioning Torkel’s name and book was somehow a stronger claim? – Incompleteness Oct 24 '19 at 23:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.