Habe einiges von Chaitins Website gelesen. Was er so faszinierend daran findet, daß es unendlich viele nichtentscheidbare Sätze gibt, kapier ich immer noch nicht. Und Chaitin zieht selbst die Parallele zum "Zufall" in der QM, wo in der Informationstheorie eher "Beliebigkeit" (d.h.: ist-eben-so) gemeint ist... Er hat bewiesen, daß es bis auf endlich viele Ausnahmen unentscheidbar ist, ob es ein kürzeres Programm gibt, das eine gegebene Zahl erzeugt, d.h. die Entropie ist i.a. nicht bestimmbar (wie sieht das eigentlich aus, wenn ich diese Bitkombination physikalisch realisiere, kann man da die Entropie nicht irgendwie messen?). Das könnte ich nicht aus dem Handgelenk beweisen und ist im Ggs. zu besagten phantasievollen Äußerungen (die von Kreationisten und Esoterikern dankbar aufgenommen werden, siehe etwa hier) ein recht hartes Resultat. Ich geh mal Gregory Chaitin verschlimmbessern.. -- Miez 6. Jul 2005 16:03 (CEST)