Monatsarchive: August 2010

Reflexion

Publiziert am 14. August 2010 von Immanuel

Nehmen wir ein System von endlich abzählbaren wahren Aussagen an. Jede Aussage hat also eine natürliche Zahl zugeordnet, so dass ich die Menge {1, 2, 3, 4 …} als Aussage 1, Aussage 2, Aussage 3 … interpretieren kann. Es gibt … Weiterlesen →

Veröffentlicht unter Komplexitätstheorie | Hinterlasse einen Kommentar

Widerspruchsfreiheit

Publiziert am 14. August 2010 von Immanuel

Durch Kommentare von Jörg und Roderich ist mir aufgefallen, dass ich den Begriff „abgeschlossenes System“ bisher unbewusst mehrdeutig verwendet habe, und möchte daher an dieser Stelle meine Begriffsverwendung für mich und meine Leser präzisieren. Auf Wikipedia liest man über den … Weiterlesen →

Veröffentlicht unter Logik | 12 Kommentare

Das Scheinwiderspruchs-Prinzip

Publiziert am 11. August 2010 von Immanuel

Schneller als ich dachte bin ich an dem Punkt angelangt, an dem ich dem universalen binären Prinzip ein ergänzendes Prinzip zur Seite stellen kann: Ich nenne es das Scheinwiderspruchs-Prinzip. Formal würde ich es folgendermaßen formulieren: ∀ a: |{b: a ⇒ … Weiterlesen →

Veröffentlicht unter Logik | 18 Kommentare

Bis in die Unendlichkeit …

Publiziert am 7. August 2010 von Immanuel

… und noch viel weiter. Dass eine animierte Filmfigur besonders tiefgründige Aussagen über die Unendlichkeit macht, würde man nicht erwarten. Ob nun Zufall oder nicht, „Buzz Lightyear“ trifft in Toy Story jedenfalls den Nagel auf den Kopf. Denn: Unendlich ist … Weiterlesen →

Veröffentlicht unter Komplexitätstheorie | 28 Kommentare

Das binäre Prinzip

Publiziert am 6. August 2010 von Immanuel

Das Prinzip, das das abendländische Denken meinem jetzigen Kenntnisstand nach am weitestgehenden und folgenreichsten geprägt hat, kann folgendermaßen notiert werden: a ∨ ¬ a = 1 Es handelt sich um eine aussagenlogische Formel, die besagt, dass für jede Aussage a … Weiterlesen →

Veröffentlicht unter Logik | 10 Kommentare