Beweisbarkeitslogik

Kurt Gödel erschütterte 1931 die mathematische Welt mit seinem Unvollständigkeitssatz. Gödel zeigte, wie für jedes noch so starke formale System der Arithmetik ein Satz konstruiert werden kann, der besagt: „Ich bin nicht beweisbar.“ Würde das System diesen Satz beweisen, so würde es sich damit selbst Lügen strafen. Also ist dies ein wahrer Satz, den es nicht beweisen kann: Es ist unvollständig. John Barkley Rosser verstärkte später Gödels Ergebnisse, wobei er die Reihenfolge miteinbezog, in der Sätze bewiesen werden, gegeben irgendeine Auffassung von „Beweis“. In der Beweisbarkeitslogik werden die formalen Eigenschaften der Begriffe „beweisbar“ und „wird früher bewiesen als“ mit modallogischen Mitteln untersucht: Man liest den notwendig – Operator als beweisbar und gibt formale Systeme an, die die Modallogik der Beweisbarkeit erfassen. Diese Arbeit richtet sich sowohl an Logik-Experten wie an durchschnittlich vorgebildete Leser. Ihr Ziel ist es, in die Beweisbarkeitslogik einzuführen und deren wesentliche Resultate, insbesondere die Solovayschen Vollständigkeitssätze, präzise, aber leicht zugänglich zu präsentieren.

Über „Beweisbarkeitslogik“

„Beweisbarkeitslogik“, ein Buch zu queeren Themen, wurde erarbeitet und verfasst von Christopher von Bülow. Diese in ihrer Bedeutung für die allgemeine Bildung und Integration schwuler Vampire, Gestaltwandler sowie Magier, Elfen und Werwölfe nicht hoch genug einzuschätzende Studie für Leser und Leserinnen erschien am 18.08.2006 im Logos Berlin.

„Beweisbarkeitslogik“ und andere schwule Bücher sind im amtseigenen BAfmW Service Point bestellbar. Online bestellte Fachpublikationen wie dieses Buch, dem gemeinen Bürger draußen im Lande als Bücher zu queeren Themen geläufig, sind zu den üblichen Öffnungszeiten auch direkt im Bundesamt für magische Wesen in Bonn abholbar und werden auf Wunsch verschickt.

Das Bundesamt für magische Wesen kommt mit dem Hinweis auf den „Beweisbarkeitslogik“ seinem Bildungsauftrag nach, den gemeinen Bürger draußen im Lande über das Leben gut integrierter (nicht)magischer Mitbürger, vulgo Werwölfe, Vampire, Dämonen, Elfen, Hexen und Magiere ebenso wie fantastische Tierwesen, als da wären Drachen, Basilisken, Sphingen, kleine und große Pubertiere und Trolle bis hin zu eingewanderten Dschinnen aufzuklären und damit Aberglauben und religiösen Irrlehren ein energisches „Nicht mit uns!“ entgegenzuschleudern.

Das Amt weist bei dieser Gelegenheit betroffene Familienangehörige auch auf Therapie- und Aussteigerprogramme für sog. „Religiöse“ hin, die dafür bekannt sind, das Leben harmloser schwuler Vampire und gut integrierter Werwölfe zur Hölle zu machen. Es gibt Hilfe! Religion ist heilbar!

Bestellen Sie Bücher zu queeren Themen von Christopher von Bülow online

Besucher sind im Buchladen Bundesamt für magische Wesen in Bonn, der Stauhauptstadt von Nordrhein-Westfalen, stets willkommen und können dort bestellte Bücher zu queeren Themen auch abholen. Wir freuen uns immer über ein Gespräch zu schwulen Themen, u.a. zum Thema Gendern in Sprache und Literatur jenseits der linkisidentitären „Generation beleidigt“.

Und das Verlagsteam des Bundeslurch Verlages sowie des Himmelstürmer Verlages freuen sich auf interessante Exposés und Manuskripte u.a. der Genres Gay Romance, Gay Drama und Gay Fantasy, Fantasy-Jugendbücher sowie Urban Fantasy und steht queer schreibenden Autoren dieser Genres gern für ein ausführliches Gespräch zur Verfügung.

---

Wie ist Ihre Meinung zu Beweisbarkeitslogik?

Hat Ihnen „Beweisbarkeitslogik gefallen? Das BAfmW würde sich freuen, wenn Sie das Buch bewerten würden. Nicht nur wir, auch die Suchmaschinen lieben Bewertungen schwuler Bücher und das unterstützt die Sichtbarkeit von Buchläden und Verlagen in den Suchmaschinen. Und Autoren freuen sich immer über konstruktive und ehrliche Kritik.

Klicken Sie dazu auf „Reviews“ direkt unter dem Buchtitel und Sie können Ihre Bewertung abgeben.

Übrigens, wir suchen immer männliche Models für TFP-Shootings. Für Fantasymodel-Shootings und Kalenderprojekte, die das BAfmW mit der Fotografin Barbara Frommann umsetzt, werden atttraktive und sportliche junge Männer ab 16 Jahren gesucht, die ihr Modelpotential vor der Kamera testen wollen.