„Gottesbeweis“ und Computer-Verifikation: Was beweist Argumentationskette aus dem Computer?
Wenn Philosophie auf Mathematik trifft Es hat mich schon immer fasziniert, wenn scheinbar unvereinbare Welten aufeinandertreffen – wie zum Beispiel Religion und Mathematik. Ein Paradebeispiel dafür ist der ontologische Gottesbeweis von Kurt Gödel. Dieses hochabstrakte Denkgebäude versucht, aus rein logischen Prinzipien die Existenz Gottes abzuleiten. Dabei wird nicht auf heilige Schriften oder religiöse Erfahrungen zurückgegriffen, … Weiterlesen