unter obriger Überschrift erschien heute in der Berliner Morgenpost ein Artikel, in dem es unter anderem heisst:
Schon Aristoteles hat es versucht. Thomas von Aquin und René Descartes auch. Und Immanuel Kant und Gottfried Wilhelm Leibniz ebenfalls. Es gibt in der Philosophie eine lange Tradition, mit logischen Argumentationsketten die Existenz Gottes beweisen zu wollen. Naturwissenschaftler, Mathematiker und Atheisten haben diese Versuche nie so recht überzeugt.
Doch jetzt sind es Forscher der FU Berlin und der TU Wien, die mit einem raffinierten Computerprogramm einen logisch sauberen Gottesbeweis erbracht haben. Das heißt, sie haben eine vom österreichischen Mathematiker und bekennenden Christen Kurt Gödel (1906–1978) ersonnene Beweisführung in einem Computer nachvollzogen und als korrekt bestätigt.
…
