AI proves God

Gepostet vor 3 Jahren, 8 Monaten in #Misc #AI #Mathematics #Religion

Share: Twitter Facebook Mail

Kurt Gödel war ein legendärer Mathematiker und enger Freund Einsteins, der nicht nur logisch nachwies, dass Zeitreisen in einem rotierenden Universum möglich seien, sondern auch mittels formaler Logik die Existenz Gottes nachgewiesen hat. Dieser Gottesbeweis wurde jetzt von einer Software bestätigt. Ob sie ganz am Ende die Zahl 42 ausgespuckt hat, weiß ich nicht.

Wissenschaftlern der Freien Universität Berlin und der TU Wien ist es gelungen, Kurt Gödels berühmten Gottesbeweis mit einem Computerprogramm zu überprüfen. Die KI-Forscher Christoph Benzmüller und Bruno Woltzenlogel Paleo haben dazu die Technik des maschinengestützten Theorembeweises eingesetzt, die bislang vor allem für mathematische Fragestellungen verwendet wurde. Bei einem ontologischen Gottesbeweis, mit dem sich etwa Spinoza, Descartes, Leibniz oder Kant auseinandergesetzt haben, wird versucht, die Existenz Gottes aus dem Denken logisch abzuleiten.

Gödels ontologischer Gottesbeweis wurde im Nachlass des bekannten Mathematikers und Logikers gefunden und ist bislang nur von Philosophen logisch untersucht worden. Die KI-Professoren haben eine Variante des Beweises formalisiert und nachgewiesen, dass die Grundannahmen konsistent und die Argumentationskette korrekt ist. Die Beweisführung konnte fast vollautomatisch mit dem Computer erzeugt werden. Gödel lehnte sich an Leibniz an und geht von wenigen Grundannahmen wie Definitionen für "Gott-artig", "Essenz", und "notwendige Existenz" und Axiomen aus.

heise: Computerprogramm bestätigt Gödels Gottesbeweis
Telepolis: Computer beweist die Existenz Gottes

Vorher auf Nerdcore:
3D-Printed Gödel Escher Bach QR-Code Cube

AI Voice-Cloning

Vor ein paar Monate veröffentlichte Google sein WaveNet, ein auf Stimmen trainiertes Neurales Netzwerk mit einem deutlichen Qualitätssprung gegenüber bisherigen…

Tarantulas calculate Distance with their 3 billion eyes

Spinnen berechnen ihre Wege mit ihren gegenüberliegenden Augenpaaren und konstruieren spinnensinnmäßig ein rechtwinkliges Dreieck, auf dessen Hypotenuse sie sich dann…

Neural Network cooks with Cthulhu

Janelle Shane spielt mit Neural Networks rum und hat eins davon auf Lovecraft trainiert. Dann hat sie das Neural Network…

Next Level, photorealistic Style-Transfer

In ihrem neuen Paper stellen Fujun Luan, Sylvain Paris, Eli Shechtman und Kavita Bala eine neue Style-Transfer-Methode vor: Figure 1:…

„Alexa? Are you connected to the CIA?“

„I always try to tell the truth.“ This reminds me of those Guilty-Dog-Videos:

Digital-Uhr in Conways Game of Life

Großartig: Eine Digital-Uhr in John Horton Conways zweidimensionalen zellulären Automaten: Get the design from this gist. Copy the whole file…

AI Brainscans

Graphcore aus Bristol visualisieren künstliche Intelligenzen und Neural Networks: Inside an AI 'brain' - What does machine learning look like?…

Occultists vs Trump

Heute Nacht werden Hexen und Magier weltweit ein Massen-Ritual abhalten und einen Bannspruch gegen Trump und seine Anhänger aussprechen. Hier…

Pix2Pix: Neural Network Katzen-Compositing als Browsertoy

Schönes Spielzeug von Christopher Hesse, der ein Neural Network auf Bild-Paaren trainiert hat und mit dem man nun Katzen, Schuhe…

Raymond Smullyan R.I.P.

Logiker Raymond Smullyan ist im stolzen Alter von 97 Jahren gestorben. Der Mann war neben seinen mathematischen und philosophischen Arbeiten…

Google Brain does Zoom & Enhance

Vor grob einem halben Jahr bloggte ich über eine Reihe von Papers, die eine neue AI-Anwendung vorstellten: Image Super-Resolution. Die…