Den erstaunliche Gottesbeweis des für mich größten Mathematikers aller Zeiten spielte in meinem Buch Die Gottesmaschine eine zentrale Rolle. Nun habe ich das Thema für den STANDARD beleuchtet und mit einem Computerwissenschafter gesprochen, der den Beweis mit elektronischen Methoden geprüft hat. Enjoy!