deSignale

Schon lange wird nach der Weltformel gesucht, wobei die Vereinigung von Allgemeiner Relativitätstheorie und der Quantenmechanik gemeint ist - Mikro- mit Makrokosmos.

Eine vereinfachte Version der Loop-Quantengravitation, die sogenannte Gruppenfeldtheorie, hat nun erste verheißungsvolle Tests bestanden und gilt als möglicher Ansatz beide Teiltheorien zu vereinigen.

Doch noch ist sehr viel zu tun, denn die bisherigen Erfolge gelten nur für ein homogenes Universum, was nicht unserer Realität entspricht. Doch weitere Arbeiten sollen in absehbarer Zeit ein realisitisches Universum mit der Gruppenfeldtheorien beschreiben können.

Es berichtet pro-physik.de hier.

Übrigens: Ein solcher Ansatz entspricht von der Grundstruktur der Quantenfeldtheorie von Burkhard Heim.

Im heutigen Angelus rief Papst Franziskus zum Frieden in Syrien und der ganzen Welt auf, indem er für den 7.September für die ganze katholische Weltkirche und für alle anderen Menschen guten Willens einen Gebetstag initiierte.

Sein Aufruf hat kath.net dokumentiert: hier.

Daraus:

Mit leidvoller Sorge verfolge ich die vielen Konfliktsituationen auf dieser unserer Erde. Doch in diesen Tagen geht mir besonders schmerzlich ans Herz, was in Syrien passiert. Ich ängstige mich angesichts der dramatischen Entwicklungen, die bevorstehen.

Ich erhebe einen nachdrücklichen Friedensappell, einen Appell, der aus meiner tiefsten Seele kommt! Wie viel Leid, wie viel Zerstörung, wie viel Kummer hat der Gebrauch der Waffen in diesem gepeinigten Land und insbesondere unter der wehrlosen Zivilbevölkerung verursacht. Wie viel Qualen ruft er weiter hervor! Machen wir uns bewusst: Wie viele Kinder können nicht mehr das Licht der Zukunft erblicken! Mit besonderer Schärfe verurteile ich den Gebrauch chemischer Waffen: Ich sage euch, ich habe noch ständig jene schrecklichen Bilder der vergangenen Tage in meiner Erinnerung und in meinem Herzen! Es gibt ein Urteil Gottes und auch ein Urteil der Geschichte über unsere Taten, dem man nicht entrinnen kann! Niemals wird der Gebrauch der Gewalt zum Frieden führen. Krieg weckt Krieg, Gewalt weckt Gewalt!

Mit all meiner Kraft rufe ich die Konfliktparteien auf, der Stimme des eigenen Gewissens zu folgen, sich nicht in egoistische Interessen zu verschließen, sondern den Anderen als Bruder zu betrachten und mit Mut und Entschiedenheit den Weg der Kontakte und der Verhandlungen zu beschreiten, um die blinde Konfrontation zu überwinden. Ebenso nachdrücklich rufe ich auch die Internationale Gemeinschaft auf, jede Anstrengung zu unternehmen, um ohne weiteren Aufschub eindeutige Initiativen für den Frieden in jenem Land voranzubringen; Initiativen, die sich auf den Dialog und die Verhandlung zum Wohl der gesamten syrischen Bevölkerung stützen...

Nochmals rufe ich mit lauter Stimme: Es ist nicht die Kultur der Auseinandersetzung, nicht die Kultur des Konfliktes, die das Zusammenleben in den Völkern und unter den Völkern aufbaut, sondern diese: die Kultur der Begegnung, die Kultur des Dialogs: Das ist der einzige Weg zum Frieden.

Der Schrei nach Frieden erhebe sich laut, auf dass er die Herzen aller erreiche; auf dass alle die Waffen niederlegen und sich leiten lassen von der Sehnsucht nach Frieden...

Bitten wir Maria, uns zu helfen, der Gewaltanwendung, dem Konflikt und dem Krieg mit der Kraft des Dialogs, der Versöhnung und der Liebe zu begegnen. Sie ist unsere Mutter. Sie möge uns helfen, den Frieden zu finden. Wir alle sind ihre Kinder. Hilf uns Maria, auch diesen schwierigen Moment zu überwinden und uns dafür einzusetzen, jeden Tag und in jeder Umgebung eine authentische Kultur der Begegnung und des Friedens aufzubauen.

Maria, Königin des Friedens, bitte für uns!

Wieder Zeit gewonnen! Ich sehe das als der erste Teil einer Gebetserhörung vieler Menschen, die eine weitere internationalisierte Eskalation der Syrien-Krise vermeiden wollen.

Mit Obamas Entscheidung den US-Kongress um Zustimmung zu bitten, kann man auf eine Sternstunde wie zuletzt im britischen Unterhaus hoffen. Zumindest kann sich auch bis zu einer solchen Entscheidung, die nun zeitlich erst nach dem G20-Gipfel und nach dem Bericht der UN-Inspekteuren liegen dürfte, viel ereignen, um eben auch für den US-Präsidenten eine nichtmilitärische Antwort angesagt sein zu lassen. Wann genau der Kongress entscheiden soll, ist noch nicht festgelegt.

Ein Beleg, dass der Gebetskampf allemal besser ist, als das Rasseln mit dem Säbel! Friedenswunder, Teil eins!

P.S.: Wenn ich von einem Friedenswunder spreche, dann vergesse ich nicht, dass gerade in Syrien die ganze Zeit ein blutiger Bürgerkrieg tobt und kann die Opfer nur der Gnade Christi anvertrauen. Aber es geht um de Vermeidung eines weltweiten Flächenbrandes. Es geht um das erste Durchbrechen der Gewaltspirale. Deswegen verwende ich das Wort 'Friedenswunder'. Nicht jedem scheint bewusst zu sein, dass diese Krise das Potential für einen echten Weltenbrand in sich birgt, anders als Irak 1991 oder 2003, anders als Afghanistan 2001 - obwohl hier schon ein Same dafür vorhanden ist, der aber erst durch eine weitere Syrieneskalation aufgehen kann usw.

Damit sich der eskalierende Konflikt nicht zu einem weltweiten Krieg ausweitet hat heute die Muttergottes in ihrer Medjugorje-Botschaft zu einem Rosenkranzgebet aufgerufen.

Dies habe ich gerade getan und will es auf diese Weise verbreiten...

Bitte, betet den Rosenkranz in diesem Sinne!

Eine bedenkenswerte Stellungnahme zur Eskalation in Syrien hat Pax Christi gegeben: hier.

Jedenfalls ist der offizielle vollständige Untersuchungsbericht der UN Inspekteure abzuwarten, bevor einseitige Gewalt angewendet wird.

Es geht auch nicht darum diesen schrecklichen Chemiewaffenangriff ungesühnt zu lassen. Aber wie im Pax Christi Papier klargestellt wurde: Dafür gibt es internationale Gerichtsbarkeiten!

Was sind Beweise?

US-Außenminister Kerry meint solche vorgelegt zu haben, aber statt dessen gibt es nur ein Bericht. Papier ist geduldig. Ich vermisse Mitschnitte entlarvender Gespräche und Satellitenaufnahme von startenden Raketen, natürlich mit Zeitstempel. Wohlwissend dass man auch solche Dinge fälschen kann, aber das möchte ich der US-Regierung nicht unterstellen.

Jedenfalls reicht ein bloßer Bericht bei weitem nicht. Zumindest muss die unabhängige Untersuchung der UN bzgl. des Giftgasangriffes vollständig abgeschlossen sein, bevor man irgendwelche Rückschlüsse zieht. Die Argumentation, man bräuchte diese Untersuchung nicht mehr, trifft nicht, wenn man sich wirklich darum bemüht internationale Normen einzuhalten, wie Präsident Obama meint...

Die erste Empörung über den Gasangriff in Syrien, die im ersten Reflex eine schnelle Bestrafung haben will, was ja nur militärisch möglich wäre, hat sich bei mir im Gebet in eine Empörung über den Teufelskreis der Gewalt verwandelt.

Ja, die dafür Verantwortlichen müssen einer gerechten Strafe zugeführt werden. Doch das erreicht man nicht mit weiteren Raketen.

M. E. stellt die außerordentliche Einberufung des britischen Unterhauses am heutigen Donnerstag (normal wäre die erste Sitzung nach den Ferien am kommenden Montag) den klaren Willen dar, dass USA/UK in der Nacht zum morgigen Freitag mit ihrem Bestrafungskrieg gegen Syrien anfangen wollten.

Daher ist jeder Tag, an dem ein solcher Angriff nicht stattfindet ein echtes Friedenswunder. Die sehr eindeutige und nachhaltige Stellungnahme Papst Franziskus' scheint Wirkung zu zeigen und in der geistlichen Welt die Dämonen zu bannen, die gerne noch mehr Gewalt in diesem Gebiet entfachen wollen, um möglichst einen Flächenbrand zu haben.

Im Gebet hoffe ich auf dieses Friedenswunder. In dieser Nacht und den nächsten Tagen. Dass nicht nur die westlichen Waffen, sondern alle Waffen in Syrien (und natürlich überall) schweigen sollen. Das Böse hetzt uns gegeneinander. Dieser Teufelskreis muss durchbrochen werden. Möge das Ausbleiben eines Angriffes durch die USA/UK-Militärs dafür ein Anfang sein!

Die Antwort auf die Gewalt in Syrien ist neben dem Gebet auch eine aktive Unterstützung der syrischen Flüchtlinge. Zum Beispiel in Jordanien, aber auch für eine herzliche Aufnahme syrischer Flüchtlinge hier in Deutschland.

Kurt Gödel hat der Nachwelt in seinem Nachlass einen ontologischen Gottesbeweis hinterlassen.

Er benutzt dabei die höherstufige Modallogik und es war bislang nicht möglich, alle seine Schliessungen korrekt nachzuvollziehen.

Dies ist nun mit Computerhilfe eindeutig gelungen und damit konnte die Korrektheit von Gödels ontologischer Gottesbeweis endgültig bestätigt werden.

Dazu gibt es einen sehr ausführliches Interview mit einem der Forscher, der diese Verifikation geleistet hat, auf Telepolis, die ja alles andere als religionsfreundlich sind.

Daraus:

Nehmen wir die beiden ersten Gödelschen Axiome. Das erste Axiom sagt, dass eine Eigenschaft positiv ist oder ihre Negation, niemals aber beides. Das zweite Axiom sagt, dass Eigenschaften, die notwendigerweise aus einer positiven Eigenschaften folgen, ebenfalls positiv sein müssen. Das ist auch schon alles, was Gödel über positive Eigenschaften in seinem ontologischen Beweis voraussetzt. Beide Axiome drückt er dann in der formalen Sprache der Logik aus.

Die Rahmenbedingungen für logische Formalisierungen stimmten bei Gödel. Seine Arbeit entstand nämlich zu einer Zeit, in der die formale Logik einen hohen Reifegrad erlangt hatte, nicht zuletzt durch Gödels bahnbrechende eigene Beiträge. Insbesondere mit der so genannten "Modallogik" stand ein gut entwickelter Logikformalismus zu Verfügung, der einen adäquaten und gut untersuchten Umgang mit den Begriffen "notwendig" und "möglich" unterstützte. Gödel beschreibt den von ihm gewählten Logikformalismus aber leider nicht mit letzter Konsequenz.

In diesem Punkt konnten unseren aktuellen Arbeiten interessante Einsichten liefern. Wir haben festgestellt, dass eine sehr schwache Modallogik, die so genannte Logik KB, die auf vergleichsweise wenigen Grundannahmen beruht, bereits eine erfolgreiche Beweisführung ermöglicht. Viele Arbeiten über Gödels Gottesbeweis erwähnen hier aber die stärkere Logik S5, und diese wurde in diesem Zusammenhang auch kritisiert. Wir wissen nun also, dass diese Kritik wohl gegenstandslos ist...

Modallogiken sind Erweiterungen der klassischen Logik. Letztere führt prominente logische Verknüpfungen ein, dazu gehören: "nicht", "und", "oder", "es folgt", "äquivalent" und "für alle x gilt". Die klassische Logik unterstützt aber keinen adäquaten Umgang mit zentralen Begriffen hinsichtlich Zeit, Raum, Wissen, Glauben, und auch nicht mit Begriffen wie "notwendigerweise gilt" bzw. "möglicherweise gilt", wie hier erforderlich. Modallogiken erweitern deshalb die klassische Logik um entsprechende logische Operatoren; typischerweise werden diese notiert als "[]" und "<>". Besonders kompliziert wird es, bei der klassischen Logik und insbesondere bei der Modallogik, wenn höherstufige Quantoren ins Spiel kommen.

Ein Beispiel für einen höherstufigen Quantor findet sich in Gödels Definition von "Gott-artig". In natürlicher Sprache ausgedrückt besagt diese: Ein Wesen ist "Gott-artig", falls es alle positiven Eigenschaften aufweist. Hier wird also eine universelle Aussage für alle Eigenschaften getroffen, und dazu stellt die Logik höherstufige Quantoren bereit. In der Formelsprache drückt Gödel dies wie folgt aus:

Gott-artig(x) <-> All P [ positiv(P) -> P(x) ]

Die Mechanisierung und Automatisierung von Logik auf dem Computer - man bezeichnet solche Computerprogramme auch als "Theorembeweiser" - hat seit der Jahrtausendwende sehr gute Fortschritte gemacht. Dies betrifft aber vor allem Theorembeweiser für ausdrucksarme, eingeschränkte Logiken, beispielsweise solche ohne Quantoren oder zumindest ohne höherstufige Quantoren. Höherstufige Logik, wie hier erforderlich, wird von theoretischen Informatikern aufgrund ihrer schlechten Komplexitätseigenschaften oft sogar als nicht handhabbar eingeordnet - teilweise zu Unrecht, wie unsere erfolgreiche Arbeit nun zeigt.

Was war eine besondere Herausforderung?

Christoph Benzmüller: Ein besonderes Problem für unsere Arbeit war, dass es für die höherstufige Modallogik bisher noch keine implementierten Theorembeweiser gab. Bei höherstufigen klassischen Logiken sieht es besser aus, mittlerweile gibt es hier zuverlässige und leistungsfähige Systeme; auch ich entwickle seit etwa 15 Jahren einen solchen Theorembeweiser.

Für Gödels Gottesbeweis wendeten wir einen Trick an, der es uns ermöglicht, höherstufige Modallogiken mithilfe letzterer Systeme zu mechanisieren und zu automatisieren. Dieser Trick beruht auf eigenen Arbeiten, die zum Teil mit Larry Paulson von der Universität Cambridge entstanden sind. Diese Arbeiten zeigen, wie man höherstufige Modallogik in die höherstufige klassische Logik einbetten kann, bzw. darin simulieren kann. Die klassische Logik höherer Stufe wird dabei als eine Art universelle Logik (mit Einschränkungen) verstanden und eingesetzt.


Siehe insbesondere Formalization, Mechanization and Automation of Gödel's Proof of God's Existence

Am Rand des Schach-Weltcups in Tromsö/Norwegen wurde auch ein anderes Spiel vorgestellt, dass man als 'Wikingerschach' bezeichnet, aber genau übersetzt als Königszabel zu nennen ist.

Dieses schon damals von den Nordmännern gespielte Brettspiel ist eine sehr interessante Mischung aus Schach und dem asiatischen Go und überaus interessant ob der strategisch/ taktischen Möglichkeiten.

Zu diesem Spiel habe ich folgenden informativen Link gefunden: hier.

Eine der Varianten online spielen.