Computer beweist die Existenz Gottes
Raul Rojas 26.08.2013
http://www.heise.de/tp/artikel/39/39766/1.html
http://www.heise.de/tp/bild/39/39766/39766_1.html
Neue Perspektiven für eine Computer-assistierte Metaphysik:
Wissenschaftler aus Berlin und Wien
haben Kurt Gödels berühmten Gottesbeweis
mit einem Computerprogramm bestätigt
Wissenschaftlern der Freien Universität Berlin und der TU Wien ist es gelungen,
Kurt Gödels berühmten Gottesbeweis mit Computern zu überprüfen.
Die Wissenschaftler haben Automatisches Theorembeweisen eingesetzt ,
eine Technik , die bis heute vor allem für mathematische Fragestellungen verwendet wurde.
.....
Raul Rojas 26.08.2013
http://www.heise.de/tp/artikel/39/39766/1.html
http://www.heise.de/tp/bild/39/39766/39766_1.html
Neue Perspektiven für eine Computer-assistierte Metaphysik:
Wissenschaftler aus Berlin und Wien
haben Kurt Gödels berühmten Gottesbeweis
mit einem Computerprogramm bestätigt
Wissenschaftlern der Freien Universität Berlin und der TU Wien ist es gelungen,
Kurt Gödels berühmten Gottesbeweis mit Computern zu überprüfen.
Die Wissenschaftler haben Automatisches Theorembeweisen eingesetzt ,
eine Technik , die bis heute vor allem für mathematische Fragestellungen verwendet wurde.
.....