deSignale

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.

Ein neues Bundeswahlgesetz soll das Problem der negativen Stimmengewichte lösen. Neben den mathematisch interessanten Ausführungen, hat mich vor allem folgende Tatsache im Bericht von wissenschaft-online sehr nachdenklich gemacht:

"Ein Wahlsystem, das … zulässt, dass ein Zuwachs an Stimmen zu Mandatsverlusten führt oder dass für den Wahlvorschlag einer Partei insgesamt mehr Mandate erzielt werden, wenn auf ihn selbst weniger oder auf einen konkurrierenden Vorschlag mehr Stimmen entfallen, führt zu willkürlichen Ergebnissen und lässt den demokratischen Wettbewerb um Zustimmung bei den Wahlberechtigten widersinnig erscheinen." So die Entscheidung, mit der das Bundesverfassungsgericht am 25. Juli 2012 die nur wenige Monate zuvor verabschiedete Neufassung des Bundeswahlgesetzes außer Kraft setzte.

Das von 1957 bis zur Bundestagswahl 2009 gültige Bundestagswahlsystem war verfassungswidrig und verletzte die Prinzipien der Unmittelbarkeit und Gleichheit der Wahl. Schuld war ein Effekt, der als negatives Stimmgewicht bezeichnet wird. Zusätzliche Stimmen für eine Partei konnten für diese zu einem Sitzverlust führen; umgekehrt konnte ein Stimmenverlust einer Partei einen zusätzlichen Sitz einbringen. ..

Auf mehrere Wahlprüfungsbeschwerden hin (darunter eine von mir) erklärte das Bundesverfassungsgericht das Wahlsystem im Juli 2008 für verfassungswidrig, gab aber dem Bundestag eine großzügige Frist von drei Jahren – also über die Bundestagswahl 2009 hinaus – für eine Korrektur. Der verabschiedete Ende 2011 ein Wahlgesetz, das allerdings das Problem mit dem negativen Stimmgewicht nicht beseitigte, sondern noch verschärfte. Im Juli 2012 kassierte das Bundesverfassungsgericht den Fehlversuch; zusätzlich entschied es, dass Überhangmandate nur in einem begrenzten Umfang (konkret: 15 Sitze) hinnehmbar sind. Daraufhin verabschiedete der Bundestag im Februar dieses Jahres schließlich das Gesetz, das für die anstehende Bundestagswahl gilt.

Also von 1957 bis 2009 waren alle Bundestagswahlen verfassungswidrig!!!

Es ist Zeit, dass im Umgang mit unserem Grundgesetz wieder mehr Sorgfalt und schlicht vorauseilende Verfassungstreue geübt wird. Die seit 1957 etablierten Parteien mit ihren Fraktionen im Bundestag scheint dies abhanden gekommen zu sein...

Die NASA untersucht offiziell Möglichkeiten zur Realisierung eines Warp Antriebs. Dies ist keine Science Fiction sondern ein reales Forschungsvorhaben. Erste Experimente zegen nun erfolge bei der Verkürzung der Raumzeit und Vorstufen zur Generierung negativer Energie, wie space.com berichtet.