Religionen-Weltanschauungen Computer beweist die Existenz Gottes

Aua, mich hat soeben ein Hund gebissen und dazu ein Pferd getreten: heise.de/tp: Computer beweist die Existenz Gottes Wie kann man mit einem Computer etwas in der Wirklichkeit (Realität) beweisen, das nur in den Köpfen als Wahnvorstellung existiert?

Metaphysik ist wohl nicht der richtige Ausdruck für die wilde Phantasterei der Kreationisten. Ich verstehe beim besten Willen nicht mehr, wie Wissenschaftler für einen derartigen Hirnsch.ss noch bezahlt werden. George W. Bush war einer der größten Anhänger dieses Blubs.

Ich verstehe beim besten Willen nicht mehr, wie Wissenschaftler für einen derartigen Hirnsch.ss noch bezahlt werden. George W. Bush war einer der größten Anhänger dieses Blubs.

Lässt sich aber doch gut dazu verwenden, "den Amerikanern" wieder eins auszuwischen, der Hirnschxss.

Aber wenn ich mir auch nur ansatzweise anlese, was da wirklich erarbeitet wurde,
dann klingt es etwas anders.
Aber ich habe auch nur eine vage Vorstellung davon.
Es ging mehr um die Ketten der computergestützten Beweisführung, denn um das Endergebniss, einfach ausgedrückt.

nordstern

Na da bin ich ja jetzt zufrieden und konvertiere sofort. Welcher "Gott" wurde eigentlich nachgewiesen?

Wotan, Quetzalcoatel, Krishna, Allah...

Hattu Brille, muttu lesen.

Wissenschaftlern der Freien Universität Berlin und der TU Wien ist es gelungen, Kurt Gödels berühmten Gottesbeweis mit Computern zu überprüfen.

nordstern

Irgendwie ist das doch alles nur fauler Zauber für alte Leute, die unbedingt auf eine unsterbliche Seele hoffen. Das ist doch grober Unfung von Grundannahmen wie 5 Axiomen und den abstrakten Definitionen für "Gott-artig", "Essenz", und "notwendige Existenz" zu reden.

Ein interessanter Zugang zu Gödels Gottesbeweis, von dessen Existenz ich wusste, der mir aber immer zu verzwickt war, um mich näher damit zu befassen...

So wie ich Benzmüller hier auf die Schnelle verstehe ist die Kernaussage:
Wenn ich Gödels Begriffsdefinitionen akzeptiere und den von ihm gewählten Logikformalismus, dann ergibt sich daraus, dass [mindestens] ein 'gottgleiches Wesen' existieren muss, welches dadurch definiert ist, dass es alle positiven Eigenschaften aufweist. (Zu fragen wäre jetzt noch, welche Eigenschaften genau als 'positiv' zu werten sind.) Was mir jetzt zum üblichen mono[oder auch poly]theistischen Gottesbegriff fehlt, sind fast alle Eigenschaften, die diesen ausmachen: die von [evtl. auch begrenzter] [All]Macht, [All]Wissen, historischer Wirkung und 'Wechselwirkung' mit dem Menschen .
Dass notwendig irgendwann irgendein Wesen existier[t hab]en muss, das keine negativen Eigenschaften aufweist, ist ein irgendwie ja nachvollziehbarer Schluss - das aber Beweis für die Existenz [b]Gottes zu nennen scheint mir doch etwas übertrieben - wäre ja möglich dass Gödel die Sache aus ähnlichen Überlegungen heraus nicht veröffentlicht hat (kann natürlich auch sein, dass ich hier völlig danebenliege :LOL: - aber die Tatsache dass er sich nachweislich von jeder Konfession fernhielt, scheint mir zumindest ein starkes Indiz...)

() qilin

P.S. Im Brett 'Philosophie' habe ich ja schon mal den Thread 'Kurt Gödel und die Religion' eingestellt (wurde allerdings etwas missverstanden ) und dort eine Kurzfassung seines 'Gottesbeweises'.

() qilin

Hatte ich etwa vergessen, zu erzählen, dass ich nicht in der Kirche bin ?
Na sowas aber auch.
Mich interessierte nur, was man computertechnisch alles einsetzt, um ziemlich
hochwertige und komplizierte Logiken zu überprüfen.

Das fängt ganz klein an, wie Du ja weißt.
"And Gate", "Or Gate" usw..usf..

nordstern

okey.

Wie kann man mit einem Computer etwas in der Wirklichkeit (Realität) beweisen, das nur in den Köpfen als Wahnvorstellung existiert?

Das kann man dann, wenn die Gottesexistenz nicht als Wahn in den Köpfen empfunden wird, sondern als Tatsache. Wahn ist es nur für Atheisten.

Dieser "Beweis" ist für mich ein weiterer Versuch, Menschen zum Glauben zu bringen oder sie nicht davon abfallen zu lassen!

Clara