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