An interesting temporalization of G\"odel's ontological proof
General Mathematics
2009-04-27 v2
Authors:
Gavriel Segre
Abstract
Recent theologies concerning God's death after Auschwitz are mathematically formalized through a suitable temporalization of G\"{o}del's Ontological Proof.
Cite
@article{arxiv.0904.3921,
title = {An interesting temporalization of G\"odel's ontological proof},
author = {Gavriel Segre},
journal= {arXiv preprint arXiv:0904.3921},
year = {2009}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence
Christoph Benzmüller, Bruno Woltzenlogel Paleo
2017-09-05
History and Overview · Mathematics
Kurt G\"odel's reception of Charles Hartshorne's ontological proof
Annika Kanckos, Tim Lethen
2021-11-25
Logic in Computer Science · Computer Science
Applying Second-Order Quantifier Elimination in Inspecting G\"odel's Ontological Proof
Christoph Wernhard
2021-10-22
Logic in Computer Science · Computer Science
A Simplified Variant of G\"odel's Ontological Argument
Christoph Benzmüller
2023-08-28
Logic in Computer Science · Computer Science
A G\"odel Calculus for Linear Temporal Logic
Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
2022-12-05
Logic in Computer Science · Computer Science
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013-05-01
Logic · Mathematics
G\"odel on Deduction
Kosta Dosen, Milos Adzic
2016-08-02
Logic · Mathematics
Logic of the Ontological Argument
Filip D. Jevtić, Slobodan Vujošević
2022-05-24
General Physics · Physics
Astronomical Dating and the Internal Chronology of the Pentateuch
Pierfrancesco La Mura
2014-10-27
Computational Physics · Physics
Physically-Relativized Church-Turing Hypotheses
Martin Ziegler
2010-05-10
Popular Physics · Physics
Gods as Topological Invariants
Daniel Schoch
2012-04-02
Logic in Computer Science · Computer Science
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of G\"odel's Ontological Argument
Christoph Benzmüller
2020-06-16
History and Philosophy of Physics · Physics
Theology and Metaphysics in Sombre, Scientific Times
Karl Svozil
2019-07-02
History and Overview · Mathematics
The Nature of Reasoning in Theology, Philosophy, and Mathematics
Chad R. Mangum
2025-08-29
Logic in Computer Science · Computer Science
A Survey on Temporal Logics
Savas Konur
2013-08-06
Logic in Computer Science · Computer Science
Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics
Alessio Lomuscio, Wojciech Penczek
2007-09-05
Logic in Computer Science · Computer Science
A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
Meghdad Ghari
2025-01-17
Logic in Computer Science · Computer Science
Real-time and Probabilistic Temporal Logics: An Overview
Savas Konur
2013-08-06
Artificial Intelligence · Computer Science
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2024-07-30
Logic in Computer Science · Computer Science
Efficient First-Order Temporal Logic for Infinite-State Systems
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
2007-05-23
Logic · Mathematics
A note on strong axiomatization of G\"odel Justification Logic
Nicholas Pischke
2021-09-07
Logic · Mathematics
An axiomatisation of the temporal logic of two dimensional Minkowski spacetime
Robin Hirsch
2024-05-24
Logic · Mathematics
Theorems of Tarski's Undefinability and Godel's Second Incompleteness-Computationally
Saeed Salehi
2019-11-12
Logic in Computer Science · Computer Science
Specification and verification of a linear-time logic for graph transformation
Fabio Gadducci, Andrea Laretto, Davide Trotta
2023-05-09
Logic · Mathematics
Strong completeness of a first-order temporal logic for real time
Robert Goldblatt
2025-08-13