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).