University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Chair for AI Systems Engineering (AISE)

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Applied Computer Science
  6. Chair for AI Systems Engineering (AISE)
  7. News
  8. New article on computational metaphysics in "Monatshefte für Mathematik

New article on computational metaphysics in "Monatshefte für Mathematik

A new article by Christoph Benzmüller and former Turing Award winner Dana Scott (Berkeley, USA) on Computational Metaphysics and Kurt Gödel's Ontological Argument has just been published in the renowned mathematics journal “Monatshefte für Mathematik”. The article goes far beyond previous publications on this topic and demonstrates the use of formal methods to gain new insights in metaphysics that are also relevant for theology.


Benzmüller, C., Scott, D. Notes on Gödel’s and Scott’s variants of the ontological argument. Monatsh Math (2025). https://doi.org/10.1007/s00605-025-02078-x