From Kurt Godel to God via Modal Logic

My recent Decoded Science article, “How Modal Logic Proved Godel was Right, and God Exists“, explains the basics behind a brief but bold claim by 20th century mathematician Kurt Gödel.

"Kurt Godel" via Arithmeum Museum in Bonn
“Kurt Godel” via Arithmeum Museum in Bonn

Introducing Gödel’s “God Theorem”

Gödel’s “God Theorem” garnered news internationally in the past month because German researchers succeeded in running a variety of computer programs that verified the “modal logic” which the theorem used.

My article summarizes the logic of Gödel’s God Theorem, and then puts the focus on modal logic. (The very quick synopsis: modal logic deals with “possibility” and “necessity” on top of more common logical terms such as “true/false”, “for all”, “if-then”, and “there exists”).

Gödel is most famous for his “Incompleteness Theorem”, which states that sufficiently powerful mathematics can not possibly be “complete”. (Such a powerful mathematics cannot generate every statement which is true within its own framework).

Earlier, Gödel had proven a “Completeness Theorem”: sufficiently simple math can generate all true statements within its framework. (For example: if you start with the number ‘1’, and only allow addition, and allow {1+1=2, (1+2=3, 2+1=3), (1+3=4, 2+2=4, 3+1=4),…}, then eventually you will generate any “n+m=[n+m]”. Simple, yes? Almost too simple).

For this DeHaan Services article, I tried to find a Canadian connection for Gödel. The closest relationships that I found were essays written at Canadian universities, such as the PDF “Kurt Gödel and Computability Theory” from the University of Calgary.

In another promotional article, my “The Proof of God: a New Niche for Kurt Godel” includes a niche writing tip.

Learn More about Kurt Gödel and his Incompleteness Theorem

Learn more about the man behind the Incompleteness Theorem, in the Canadian or American version of “Incompleteness: The Proof and Paradox of Kurt Gödel” via Amazon Kindle.
Hofstadter’s “Godel, Escher, Bach: An Eternal Golden Braid” is a fun and easy-to-read explanation of the Incompleteness Theorem. Amazon sells the paperback to Canadians and Americans.

Professional Writing by DeHaan Services

DeHaan Services writes web site or advertising copy for clients. Our skills are demonstrated in online articles in Decoded Science, Decoded Pregnancy and DeHaan Fitness. That’s why we highlight these online articles on this blog page.

Thank you for reading about Kurt Gödel’s proof that God exists.

One thought on “From Kurt Godel to God via Modal Logic”

Comments are closed.