Kurt Gödel

Astrophysik, Kosmologie, Astronomie, Urknall, Raumfahrt, Dunkle Materie & Energie
klassische Physik, SRT/ART & Gravitation, Quantentheorie
Reinhold
Beiträge: 5843
Registriert: Fr 8. Jan 2021, 14:22

Kurt Gödel

Beitrag von Reinhold »

Der US-amerikanische Mathematiker, Physiker u. in der Fachwelt anerkannte Logiker Kurt Gödel-übrigens ein enger Freund von A. Einstein,* hat zu Lebzeiten den Gottesbeweis mit höchster Präzision der Fachwelt
unterbreitet. Mit Hilfe modernster Computerprogramme müssen heutige Wissenschaftler zugeben, dass an Gödels Berechnungen nicht das Geringste auszusetzen ist. Weiß vielleicht hier jemand etwas mehr darüber?
*Einstein der mit Gödel an der gleichen am. Universität einen Lehrstuhl hatte soll folgendes gesagt haben:
"Ich komme nur deshalb ins Institut, um das Privileg zu haben, mit Gödel zu Fuß nach Hause gehen zu dürfen."
"Wie ein fester Turm ist der Name Jahwes, / der Gerechte läuft zu ihm und ist in Sicherheit."
Spr. 18,10 NeÜ 
Benutzeravatar
Paul
Beiträge: 16300
Registriert: Di 2. Mär 2021, 16:42

Re: Kurt Gödel

Beitrag von Paul »

hab mich mal eine zeitlang damit beschäftigt, es handelt sich um einen ontologischen gottesbeweis mit den mitteln höherer modallogik...so leid es mir auch tut, es ist aber nicht jhwh, der da bewiesen wird :mrgreen:
der storch der sitzt am karpfenteich und hämmert alle karpfen weich

it's not easy be(e)in' green

es gibt nichts gutes, außer man tut es

https://www.youtube.com/watch?v=ItZyaOlrb7E

das huhn ist im auftrag des herren unterwegs 8-)
Reinhold
Beiträge: 5843
Registriert: Fr 8. Jan 2021, 14:22

Re: Kurt Gödel

Beitrag von Reinhold »

Paul hat geschrieben: Mo 30. Aug 2021, 21:29 hab mich mal eine zeitlang damit beschäftigt, es handelt sich um einen ontologischen gottesbeweis mit den mitteln höherer modallogik...so leid es mir auch tut, es ist aber nicht jhwh, der da bewiesen wird :mrgreen:
Sondern wer Paule? :)
"Wie ein fester Turm ist der Name Jahwes, / der Gerechte läuft zu ihm und ist in Sicherheit."
Spr. 18,10 NeÜ 
Benutzeravatar
Paul
Beiträge: 16300
Registriert: Di 2. Mär 2021, 16:42

Re: Kurt Gödel

Beitrag von Paul »

habe es jetzt nicht mehr im kopf, gottes eigenschaften werden eigentlich in der beweisführung definiert, niergendwo taucht da ein name auf...wenn ich mich recht erinnere, handelt es sich einfach nur um gott :mrgreen:
der storch der sitzt am karpfenteich und hämmert alle karpfen weich

it's not easy be(e)in' green

es gibt nichts gutes, außer man tut es

https://www.youtube.com/watch?v=ItZyaOlrb7E

das huhn ist im auftrag des herren unterwegs 8-)
Hiob
Beiträge: 7468
Registriert: Di 1. Jan 2019, 00:21

Re: Kurt Gödel

Beitrag von Hiob »

Paul hat geschrieben: Mo 30. Aug 2021, 21:51 wenn ich mich recht erinnere, handelt es sich einfach nur um gott
Stimmt - und da es nur einen gibt, ist ein Name unnötiger Luxus. - Nicht umsonst heißt "Jahwe" so was Ähnliches wie "Ich bin" = "Ich habe keinen Namen".
Reinhold hat geschrieben: Mo 30. Aug 2021, 20:59 Weiß vielleicht hier jemand etwas mehr darüber?
Leider nicht. - Was ich verstanden habe ist:
Gödel geht ontologisch vor - oder wenn man will: Binär = "Sein vs. Nicht-Sein" (wobei die Zuordnung von Sein oder Nicht-Sein modalistisch gehandhabt wird). - Das Ergebnis ist (so wie ich es verstanden habe): Wenn es Sein/Realität/Entität/Existenz gibt, gibt es auch Gott. Das zeigt er mathematisch (wobei ich hier null folgen kann). - Mir gefällt dieser Ansatz, weil aus meiner Sicht (und in Anlehnung an Augustinus) das Böse der Mangel an Gutem ist, also ein Nicht-Sein des Guten ist. - So wie ein Vakuum ein Nicht-Sein an Luft ist, weshalb man erstickt.

Wäre schön, wenn einer mal Gödel verstanden hätte UND das für Normalos erklären könnte. - Hier mal was für Un-Normalos:
fu-berlin
Eine Übersetzung von Gödels Beweisskizze (in der Version des Gödel-Schülers Dana Scott) aus der formalen Logik in die natürliche Sprache:

Annahme 1: Entweder eine Eigenschaft oder ihre Negation ist positiv.
Annahme 2: Eine Eigenschaft, die notwendigerweise durch eine positive Eigenschaft impliziert wird, ist positiv.
Theorem 1: Positive Eigenschaften kommen möglicherweise einer existenten Entität zu.
Definition 1: Eine gottähnliche Entität besitzt alle positiven Eigenschaften.
Annahme 3: Die Eigenschaft, gottähnlich zu sein, ist positiv.
Schlussfolgerung: Möglicherweise existiert Gott.
Annahme 4: Positive Eigenschaften sind notwendigerweise positiv.
Definition 2: Eine Eigenschaft ist Essenz einer Entität, falls sie der Entität zukommt und notwendigerweise alle Eigenschaften der Entität impliziert.
Theorem 2: Gottähnlich zu sein ist eine Essenz von jeder gottähnlichen Entität.
Definition 3: Eine Entität existiert genau dann notwendigerweise, wenn all ihre Essenzen notwendigerweise in einer existenten Entität realisiert sind.
Annahme 5: Notwendigerweise zu existieren ist eine positive Eigenschaft.
Theorem 3: Gott existiert notwendigerweise.
Benutzeravatar
Detlef
Beiträge: 1537
Registriert: So 12. Feb 2017, 12:09
Wohnort: Alfred-Kunze-Sportpark

Re: Kurt Gödel

Beitrag von Detlef »

So weit mir bekannt, war Gödel Atheist.
Dazu würde auch folgender Kommentar passen, den ich bezüglich des "Gottesbeweises" mal iirgendwo gefunden hatte:
"Kurt Gödel definiert sich Gott so zurecht, dass der Beweis funktioniert. Das ist Loriot auf hohem Niveau (vielleicht hat der späte Kurt Gödel den frühen Vicco von Bülow ja noch gekannt). Dass der Beweis formal richtig ist, darf nicht darüber hinweg täuschen, dass er vollkommener Unsinn ist und ich bin auch ziemlich sicher, dass dies zu zeigen Gödels Absicht war. Daher schlage ich vor, die Gödelschen Unvollständigkeitssätze mal auf diesen Beweis anzuwenden.
Ich kann auch grammatikalisch richtige Sätze bilden, die keinen Sinn ergeben: Grün geglaubte Liebeshymnen steigen fragmentarisch in die falsche Reibung.
Dass Leute tatsächlich über die interne Logik des Beweises diskutieren, darüber wird Kurt Gödel sich noch im Grab zu Tode lachen."
Die Wahrheit lässt sich pachten, mit dem Glauben an des Gottes Sohn, doch die Thesen sind vergänglich, allen Gläubigen zum Hohn! (Gert Reichelt)
Benutzeravatar
PeB
Beiträge: 6270
Registriert: Do 15. Mär 2018, 19:32

Re: Kurt Gödel

Beitrag von PeB »

Wer will Gott beweisen, wenn man ihn doch glauben kann und soll???
:shock:
We were talking about the love that's gone so cold
And the people who gain the world and lose their soul
(The Beatles, 1967)
Benutzeravatar
Paul
Beiträge: 16300
Registriert: Di 2. Mär 2021, 16:42

Re: Kurt Gödel

Beitrag von Paul »

Ich zähle mal ein paar auf

Michael
Erich
Opa
Reinhold
Larson?

hm :mrgreen:
der storch der sitzt am karpfenteich und hämmert alle karpfen weich

it's not easy be(e)in' green

es gibt nichts gutes, außer man tut es

https://www.youtube.com/watch?v=ItZyaOlrb7E

das huhn ist im auftrag des herren unterwegs 8-)
Benutzeravatar
Paul
Beiträge: 16300
Registriert: Di 2. Mär 2021, 16:42

Re: Kurt Gödel

Beitrag von Paul »

gödel war übrigens nie und niemals atheist im heutigen sinne, einstein übrigens auch nicht
der storch der sitzt am karpfenteich und hämmert alle karpfen weich

it's not easy be(e)in' green

es gibt nichts gutes, außer man tut es

https://www.youtube.com/watch?v=ItZyaOlrb7E

das huhn ist im auftrag des herren unterwegs 8-)
Benutzeravatar
Paul
Beiträge: 16300
Registriert: Di 2. Mär 2021, 16:42

Re: Kurt Gödel

Beitrag von Paul »

gottesbeweise gibt es jede menge, ontologisch begründet...z.B..

ontologie ist die teildisziplin, die sich mit dem sein an sich beschäftigt

dann aber auch teleologisch, es muss ja alles auch einen endgültigen zweck haben

ich kenne mich da ein wenig aus :mrgreen:
der storch der sitzt am karpfenteich und hämmert alle karpfen weich

it's not easy be(e)in' green

es gibt nichts gutes, außer man tut es

https://www.youtube.com/watch?v=ItZyaOlrb7E

das huhn ist im auftrag des herren unterwegs 8-)
Antworten