Mit einem Computerprogramm hat Christoph Benzmüller bereits 2013 den Gottesbeweis des Mathematikers Kurt Gödel überprüft und bestätigt.