Godel's Proof of Existence of God Revisited

Authors

Olga Kosheleva, The University of Texas at El PasoFollow
Vladik Kreinovich, The University of Texas at El PasoFollow

Publication Date

5-1-2021

Comments

Technical Report: UTEP-CS-21-49

Abstract

In his unpublished paper, the famous logician Kurt Godel provided arguments in favor of the existence of God. These arguments are presented in a very formal way, which makes them difficult to understand to many interested readers. In this paper, we describe a simplifying modification of Godel's proof which will hopefully make it easier to understand. We also describe, in clear terms, why Godel's arguments are just that -- arguments -- and not a convincing proof.