Christoph Benzmüller vom Fachbereich Mathematik und Informatik an der Freien Universität Berlin und sein Wiener Kollege Bruno Woltzenlogel Paleo von der Technischen Universität Wien gelang es, mithilfe eines Computerprogramms, eines sogenannten Theorembeweisers, die logische Korrektheit eines Gottesbeweises von Kurt Gödel aus dem Jahr 1941 mit höchster mathematischer Präzision zu bestätigen. Wir haben nachgefragt.