Experiments in Computational Metaphysics: Gödel's Proof of God's Existence (original) (raw)
Related papers
Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers
The Inconsistency in Gödel’s Ontological Argument: A Success Story for AI in Metaphysics
Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020
Steps Toward a Computational Metaphysics
Journal of Philosophical Logic, 2007
Algorithmic Theology: Observing the Rational Proofs of God
Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
Lecture Notes in Computer Science, 2015
Why Gödel's theorem cannot refute computationalism
1998
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument
FLAP, 2018
Computational Axiomatic Science
How Gödel's Theorem Supports the Possibility of Machine Intelligence
Minds and Machines, 1998
A Computationally-Discovered Simplification of the Ontological Argument
Australasian Journal of Philosophy, 2010
Gödel’s Incompleteness Phenomenon—Computationally
Philosophia Scientae, 2014
An attempt at a mathematical and logical proof of the existence of god
Philosophical consequences of the Gödel Theorem
∃ God? A Mathematician Challenges the Proofs
Math Horizons, 2009
Gödel's Proof of God's Existence
2014
Metaphilosophy, 2002
Gödel's ontological proof, his Rotating universe
Reviewing Gödel's and Rosser's Meta-Reasoning of Undecidability
Social Science Research Network, 2003
Toward an algorithmic metaphysics
Lecture Notes in Artificial Intelligence
Proofs of the Existence of God (2008)
THOUGHT EXPERIMENT APPLIED TO GÖDEL'S INCOMPLETENESS THEOREM
2017
Absolutely Undecidable Problems and the Power of Mathematical Reasoning
Gödel on Mathematician’s Mind and Unsolvable Problems
From Gödel to Einstein: Computability between logic and physics at CiE 2006
Theoretical Computer Science, 2008
Incompleteness: The proof and paradox of kurt gödel
Mathematical Intelligencer, 2006
2012
A Case for a Mathematical God - A Theory of Everything
A Case for a Mathematical God, 2023
Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
James Owen Weatherall, Jesse Wolfson
2012
Epistemic Justification and the Possibility of Computer Proof
2011
V. A Modal Model for Proving the Existence of God
2008
A Mono-Theism Theorem: Godelian Consistency in the Hierarchy of Inference
2014