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. Benzmüller‘s works presented in TerraX

Benzmüller‘s works presented in TerraX

Benzmüller‘s works on the computer verification of Kurt Gödel‘s modal logic ontological argument are presented in the German TV series TerraX.

See https://www.zdf.de/dokumentation/terra-x/die-grossen-fragen-gibt-es-gott-mit-harald-lesch-doku-100.html (last 10 minutes).