Benzmüller‘s Arbeiten vorgestellt in TerraX

Benzmüller‘s Arbeiten zur Computer-Verifikation von Kurt Gödel‘s modallogischem ontologischen Argument werden vorgestellt in der deutschen TV-Serie TerraX.

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