Topic: Glaubensfragen - on August 27, 2013 at 2:12:00 PM CEST
Computer beweist die Existenz Gottes
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. Einen ersten Bericht von Christoph Benzmüller und Bruno Woltzenlogel Paleo zum neuen, automatisierten Gottesbeweis Gödels findet man in arXiv: Formalization, Mechanization and Automation of Gödel's Proof of God's Existence.
... Comment
