God as Absolute Machine: Aligning Modern Formalisms to Prove God
Abstract
Let Anselm’s God denote that than which nothing greater can be conceived. The rationale of this paper is to show that not only the existence, but also three omni‑attributes of Anselm’s God—omnipotence, omniscience, and omnipresence—can be defined and proven via modern formalisms. The objec‑ tive is to do this via a terminological alignment of set theory, mereology and computer science on the one hand, and metaphysics and natural theology on the other. The methodology used consists of a two‑step argument: first, if physical entities are of paramount ontological greatness, then God is equal to an absolutely infinitely large, physical universe with omni‑attributes. Second, using a slightly different criterion, God can be either abstract, or concrete and non‑physical. Some important findings are that (1) a central axiom explains both God and the physical realm, (2) Cantor’s Absolute Infinite—and therefore God—can be given a consistent definition, and (3) isolated possible worlds are never observed. The essence of this paper is, in short, that “God is the Absolute Machine.”
References
Blondé, Ward, and Ludger Jansen. 2021. “Proving God without Dualism: Improving the Swinburne-Moreland Argument from Consciousness.” Metaphysica 22 (1): 75–87. https://doi.org/10.1515/mp-2020-0035.
Blondé, Ward. 2015. “An Evolutionary Argument for a Self-Explanatory, Benevolent Metaphysics.” Symposion 2 (2): 143–66. https://doi.org/10.5840/symposion2015228.
———. 2016. “Can an Eternal Life Start from the Minimal Fine-Tuning for Intelligence?” Philosophy and Cosmology 17: 26–38.
———. 2019. “EMAAN: An Evolutionary Multiverse Argument against Naturalism.” Symposion 6 (2): 113–28. https://doi.org/10.5840/symposion2019629.
Cantor, Georg. 1883. “Über unendliche, lineare Punktmannichfaltigkeiten.” Mathematische Annalen 21 (4): 545–91.
Chalmers, David J. 2017. “The Hard Problem of Consciousness.” In The Blackwell Companion to Consciousness, edited by Susan Schneider and Max Velmans, 32–42. 2nd ed. Malden, MA: Wiley-Blackwell.
Forgie, J. William. 2000. “Kant and Frege: Existence as a Second-Level Property.” Kant-Studien 91 (2): 165–77. https://doi.org/10.1515/kant.2000.91.2.165.
Geach, Peter. 1956. “Good and Evil.” Analysis 17 (2): 33–42. 10.1093/analys/17.2.33.
Gödel, Kurt. (1941) 1995. “Ontological Proof.” In Collected Works, vol. 3, Unpublished Essays and Lectures, edited by Solomon Feferman, John W. Dawson Jr., Warren Goldfarb, Charles Parsons, and Robert N. Solovay, 403–4. Oxford: Oxford University Press.
Gödel, Kurt. 1931. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.” Monatshefte für Mathematik und Physik 38 (1): 173–98.
Hamkins, Joel David. 2012. “The Set-Theoretic Multiverse.” Review of Symbolic Logic 5 (3): 416–49. https://doi.org/10.1017/S1755020311000359.
Hartshorne, Charles. 1941. Man’s Vision of God and the Logic of Theism. Chicago: Willett, Clark & Co.
Hudson, Hud. 2009. “Omnipresence.” In The Oxford Handbook of Philosophical Theology, edited by Thomas P. Flint and Michael C. Rea, 199–216. Oxford: Oxford University Press.
Jané, Ignacio. 1995. “The Role of the Absolute Infinite in Cantor’s Conception of Set.” Erkenntnis 42 (3): 375–402. https://doi.org/10.1007/BF01129011.
Juvshik, Tim. 2018. “Abstract Objects, Causal Efficacy, and Causal Exclusion.” Erkenntnis 83 (4): 805–27. https://doi.org/10.1007/s10670-017-9915-1.
Koepke, Peter, and Benjamin Seyfferth. 2009. “Ordinal Machines and Admissible Recursion Theory.” Annals of Pure and Applied Logic 160 (3): 310–8. https://doi.org/10.1016/j.apal.2009.01.005.
Kraay, Klaas J. 2017. “Invitation to the Axiology of Theism.” In Does God Matter? Essays on the Axiological Consequences of Theism, edited by Klaas J. Kraay, 1–35. New York: Routledge.
Leftow, Brian. 2012. God and Necessity. Oxford: Oxford University Press.
Lewis, David. 1986. On the Plurality of Worlds. Oxford: Blackwell.
Lucas, Salvador. 2021. “The Origins of the Halting Problem.” Journal of Logical and Algebraic Methods in Programming 121:100687. https://doi.org/10.1016/j.jlamp.2021.100687.
Mackie, John L. 1955. “Evil and Omnipotence.” Mind 64 (254): 200–12. https://doi.org/10.1093/mind/LXIV.254.200.
Marenbon, John. 2015. “Anselm: Proslogion.” In Central Works of Philosophy. Vol. 1, Ancient and Medieval, edited by John Shand, 45–67. Durham: Acumen Publishing Limited.
Minsky, Marvin L. 1967. Computation: Finite and Infinite Machines. Englewood Cliffs, NJ: Prentice-Hall.
Neumann, John von. 1928. “Die Axiomatisierung der Mengenlehre.” Mathematische Zeitschrift 27 (1): 669–752.
Oppy, Graham, ed. 2018. Ontological Arguments. Cambridge: Cambridge University Press.
Plantinga, Alvin. 1978. The Nature of Necessity. Oxford: Clarendon Press.
Schmidhuber, Jürgen. 2006. “A Computer Scientist’s View of Life, the Universe, and Everything.” In Foundations of Computer Science: Potential—Theory—Cognition, edited by Christian Freksa, Matthias Jantzen, and Rüdiger Valk, 201–8. Berlin: Springer.
Shannon, Claude E. 2001. “A Mathematical Theory of Communication.” ACM SIGMOBILE Mobile Computing and Communications Review 5 (1): 3–55. https://doi.org/10.1145/584091.584093.
Sharma, Vidushi, Sachin Rai, and Anurag Dev. 2012. “A Comprehensive Study of Artificial Neural Networks.” International Journal of Advanced Research in Computer Science and Software Engineering 2 (10): 278–84.
Simoni, Henry. 1997. “Omniscience and the Problem of Radical Particularity: Does God Know How to Ride a Bike?” International Journal for Philosophy of Religion 42 (1): 1–22. https://doi.org/10.1023/A:1002922511041.
Smolin, Lee. 1992. “Did the Universe Evolve?” Classical and Quantum Gravity 9 (1): 173–91.
Steinhart, Eric. 2010. “Theological Implications of the Simulation Argument.” Ars Disputandi 10 (1): 23–37. https://doi.org/10.1080/15665399.2010.10820012.
Swinburne, Richard. 1993. The Coherence of Theism. Rev. ed. Oxford: Clarendon Press.
Tegmark, Max. 2008. “The Mathematical Universe.” Foundations of Physics 38: 101–50. https://doi.org/10.1007/s10701-007-9186-9.
Wang, Hao. 1949. “On Zermelo’s and von Neumann’s Axioms for Set Theory.” Proceedings of the National Academy of Sciences 35 (3): 150–5. https://doi.org/10.1073/pnas.35.3.150.
Wolfram, Stephen. 1984. “Cellular Automata as Models of Complexity.” Nature 311 (5985): 419–24. https://doi.org/10.1038/311419a0.
Zermelo, Ernst. 1908. “Untersuchungen über die Grundlagen der Mengenlehre I.” Mathematische Annalen 65 (2): 261–81. https://doi.org/10.1007/BF01449999.
Copyright (c) 2025 Forum Philosophicum
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.
- When submitting a text, the author declares that he/she is the Author of the article (hereinafter referred to as the “Work”) and:
- he/she owns the exclusive and unlimited copyright to the Work,
- is entitled to dispose of the copyright to the Work.
Declares that it does not infringe any third party copyrights or legal rights.
Declares that there is no conflict of interest.
2. At the same time, the Author grants the Ignatianum University in Cracowa royalty-free, non-exclusive and territorially unlimited licence to use the Work in the following fields of exploitation:
- recording the Work in a hard copy, as well as on a digital or magnetic medium;
- reproduction of the Work using any technique, without limitation of the number of editions or copies;
- distribution of the Work and its copies on any medium, including marketing, sale, lending, and rental;
- introduction of the Work into a computer memory;
- disseminating the Work in information networks, including in the Internet;
- public performance, exhibition, display, reproduction, broadcasting and re-broadcasting, as well as making the Work available to the public in such a way that everyone can have access to it at a time and place of their own choosing;
- within the scope of dependent rights to the Work, including in particular the right to make necessary changes to the Work resulting from editorial and methodical development, as well as to translate the Work into foreign languages;
The licence is granted from the moment of the transfer of the Work to the Ignatianum University in Cracow. The Ignatianum University in Cracow is entitled to grant further sub-licences to the Work within the scope of the right granted. The licence is time-limited and it is granted for a period of 15 years, starting from the date of its granting.
Authors are permitted and encouraged to publish their text online (e.g. in their institution’s repository or on the institution’s website) before or during the submission process as this may lead to beneficial exchanges, as well as earlier and greater citation of the published text (See The Effect of Open Access). We recommend using any of the following portals of research associations:
- ResearchGate
- SSRN
- Academia.edu
- Selected Works
- Academic Search
