Behauptung von der Existenz Gottes existiert

Sensationell, zu welchen Rechenleistungen moderne Computer in der Lage sind.

Gerald Himmelein und Peter König berichteten uns in c't Heft 18 ab Seite 52 über den neuesten Stand der Grafikforschung:

Die algorithmische Auswertung der Schatten um Buzz Aldrin ergibt: Höchstwahrscheinlich war die Mondlandung doch echt. (S. 55)

Nun, nachdem geklärt ist, daß Buzz Aldrin auf dem Weg zu Gott war, fast jedenfalls, höchstwahrscheinlich, schien es nur noch ein kleiner Schritt für einen noch viel kleineren Teil der Menschheit, um die Sensation perfekt zu machen, ein Trippelschritt, der einige Jahr­zehnte Zeit beanspruchte. Auf einem anderen Gebiet ist die Ziellinie erreicht. Es wurde die Behauptung von der Existenz eines Computerbeweises aufgestellt, der nach­gewiesen habe, daß die Behauptung, Gott exitiert, existiert. In Kurzform:

Telepolis 26.08.2013

Computer beweist die Existenz Gottes

Raul Rojas

Die Behauptung, Gott existiert, existiert, konnte vermittels eines komplizierten und komplexen Computersystems nachgewiesen werden. Das war jetzt so nicht zu vermuten. Sagt sogar der Programmierer:

Zudem konnten wir zeigen, dass die nicht-triviale Beweisführung vom Computer größtenteils vollautomatisch erzeugt werden kann. Das hatten wir nicht erwartet.

Nur welcher Gott gemeint war, von dem behauptet wird, er existiere, das haben sie uns leider nicht verraten. Das bekommen sie bestimmt mit der nächsten Generation von Hochleistungsrechnern ausgerechnet. Bis dahin werden die Zentralrechner von NSA und BND mit der Aufgabe beschäftigt, herauszukriegen, ob es die Schlümpfe wirklich gibt.