Un ordinateur vérifie l’argument de Goedel sur l’existence de Dieu
Computer beweist die Existenz Gottes | Telepolis
▻http://www.heise.de/tp/artikel/39/39766/2.html
Ich muss zugeben, dass ich all diese Punkte für mich selbst noch nicht erschöpfend beantwortet habe, und möglicherweise war dies auch bei Gödel der Fall. Wie dem auch sei, unsere aktuellen Arbeiten eröffnen interessante neue Möglichkeiten, den Logikformalismus und die Grundannahmen als veränderbare Parameter aufzufassen und dann mit diesen Parametern im Theorembeweiser zu experimentieren. Dadurch sollte es uns möglich sein, die Stichhaltigkeit weiterer Gottesbeweise zu untersuchen und diese Gottesbeweise zu variieren, um möglicherweise neue Einsichten zu gewinnen. Man kann also sagen, dass wir interessante neue Perspektiven für eine Computer-assistierte theoretische Philosophie bzw. Metaphysik aufzeigen. Nicht mehr, aber auch nicht weniger.