Wer kann uns etwas über diesen Artikel sagen
hxxp://www.heise.de/tp/artikel/39/39766/1.html

, wir kommen aus dem Forum hxxp://www.atheisten.org
Und brauchen mal einen IT Experten der uns aufklären kann wie man diesen Beweis verstehen kann und ob er haltbar ist.

Hier ist unsere Diskussion zu lesen
hxxp://www.atheisten.org/forum/viewtopic.php?f=5&t=9411&p=358768#p358768

Danke fürs schweigen das zeigt mir das dieses Thema nicht einmal eine antwort wert ist, danke also für die indirekte antwort.

Ich seh ja an den Aufrufen das ihrs gelesen habt

Ich glaub, das ist hier nicht der richtige Ort für diese Diskussion.
IT-Experten (und ein Anti-Malware-Forum im Speziellen) können dir nicht erklären, wie dieses "automatische Theorembeweisen" genau funktioniert. Da musst du die Mathematiker und Philosophen fragen, die sich damit auseinandersetzen.

Und diese ontologischen Gottesbeweise sind nun wirklich nichts Neues. Das ist ein Set von logischen Aussagen, die auf abstrakten Axiomen und Definitionen (!) basieren. Hier wurde offenbar mithilfe von Rechenpower gezeigt, dass dieses Set widerspruchsfrei ist (lies das Paper dazu). Dieses Resultat mag sicherlich von abstrakt akademisch-philosophischem Interesse sein aber sonst überhaupt gar nichts. RAmen.

Zitat von Mario19856

Und brauchen mal einen IT Experten der uns aufklären kann wie man diesen Beweis verstehen kann und ob er haltbar ist.

nein

Zitat von Max8

nein

Wie kommst du auf das "Nein"?
Dieser Test beweist ja nicht zwangsläufig die Exsistenz Gottes,.

Zitat von Mario19856

... Und brauchen mal einen IT Experten der uns aufklären kann wie man diesen Beweis verstehen kann und ob er haltbar ist. ...

Zitat von markusg

Dieser Test beweist ja nicht zwangsläufig die Exsistenz Gottes,.

Was denn nun - Beweis oder Test ??
Hypothese oder Nachweis .....

Zitat von Max8

Was denn nun - Beweis oder Test ??
Hypothese oder Nachweis .....

Das ist wohl eine Frage der Definition. In etwa wie Kornkreise als Beweis für außerirdische Intelligenz. Sehr übertriebenes Beispiel aber das ist wohl so in etwa Modallogik.

Man kann also vereinfachend sagen, dass die Existenz Gottes sich aus der abstrakten Definition des Gottesbegriffes ergibt.

Nicht ganz uninteressant übrigens...

PS:

Danke fürs schweigen das zeigt mir das dieses Thema nicht einmal eine antwort wert ist, danke also für die indirekte antwort.

16 Minuten als allgemeines Schweigen auslegen ist auch nicht schlecht.

Die benutzten Formeln basieren auf Logik,
sind nicht als mathematisch einzuordnen.
Somit bleibt alles Hypothese.

Zitat von Darklord666

Das ist wohl eine Frage der Definition. In etwa wie Kornkreise als Beweis für außerirdische Intelligenz. Sehr übertriebenes Beispiel aber das ist wohl so in etwa Modallogik.

Die Definitionen sind klar und Kornkreise sind kein Beweis sondern bleiben Hypothese
auch in der Modallogik.

Hier gibts eine Diskussion zum Thema.
Gruß harlud