WiWaSo

Der Preis fürs Nichtverstehen von Kurt Gödel geht diesen Monat an ProgettoCosmo, einer Anti-Evolutionsseite im schönen Italien. Zitat:

Gödel proved that, in general, a complete mathematical theory cannot be derived entirely from a finite number of axioms. In general mathematics is too rich to be derived from a limited number of propositions (what mathematicians name a "formal system"). In particular just arithmetic is too rich to be reducible in a finite set of axioms. What we can derive from a finite formal system is necessarily incomplete.

Nicht jedes formale System ist unvollständig, lediglich solche ab einer gewissen Ausdrucksmächtigkeit. Man kann mühelos mathematische Theorien bauen, die vollständig sind, z.B. Pressburger Arithmetik oder auch Logiken erster Stufe. Bitte bei Gödel nachlesen (Über die Vollständigkeit der Axiome des logischen Funktionenkalküls, 1929).

Nachtrag: die Unentscheidbarkeit der Arithmetik ist eine Limitation der Mathematik, nicht der endlichen Axiomatisierung der Arithmetik. Jede rekursiv aufzählbare Axiomatisierung der Arithmetik (also auch jede unendliche!) besitzt wahre, aber nicht beweisbare Aussagen.

Zur Zeit habe ich noch kein DSL und kein Telefon im neuen ZaBong Headquarter. Ein Anruf von Luzifer wäre daher wirklich überraschend.

Die allgemeine Formel für den freien Fall lautet h(t) = h(t0) - 0.5*g*t^2, bei Vernachlässigung der Luftreibung. Dieses Jahr feiern wir zum letzten Mal unser persönliches Knut-Fest, an dem wir traditionell diese Formel testen, indem ich unsere Weihnachtstanne mit Schwung aus dem Fenster im dritten Stock feuere, während meine Frau unten auf die Passanten aufpasst. Der Tag des von schwedischen Möbelhäusern gefeierten heiligen Knut war schon am 13. Januar, aber normalerweise warten wir sogar noch länger, bis wir das Baumgerippe in die Freiheit entlassen - meist so gegen Ende März, wenn das ehemals stolze Nadelgewächs an das aus verlassenen Westernstädten bekannte Tumblewheed erinnert. Wie jedes Jahr stellen wir fest, dass der Baum erstaunlich lange bis zum Boden braucht. Einzige Überraschung: die diesjährige Nordmanntanne behält auch beim Aufprall fast alle ihre Nadeln. Muss ein Qualitätsgewächs gewesen sein.