Benzmüllers Arbeit über das ontologische Argument wird in Scientific American und Spektrum der Wissenschaft erw?hnt/er?rtert.
Siehe https://www.scientificamerican.com/article/can-god-be-proved-mathematically/ and https://www.spektrum.de/kolumne/ontologischer-beweis-goedel-zeigt-dass-gott-existiert-oder-nicht/2052687 (allerdings scheinen nicht alle Aussagen in diesen Artikeln formal korrekt zu sein).