#1 Computerprogramm bestätigt Gödels Gottesbeweis
Verfasst: Di 10. Sep 2013, 18:15
Wow! 
Informatiker ließen einen Computer Gödels berühmten ontologischen Gottesbeweis nachrechnen!
wie denkt ihr darüber?
Möglich, oder nicht? — Oder gar fehlerhaft programmiert, oder einfach nur Pseudowissenschaft?

Informatiker ließen einen Computer Gödels berühmten ontologischen Gottesbeweis nachrechnen!
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.
[Quelle]
wie denkt ihr darüber?
Möglich, oder nicht? — Oder gar fehlerhaft programmiert, oder einfach nur Pseudowissenschaft?