Philosophie Lexikon der ArgumenteHome
| |||
|
| |||
| Komplex: ein Komplex ist aus Komponenten zusammengesetzt, die gegeneinander abgrenzbar und relativ selbstständig sind. Komplexes Verhalten bezieht sich auf Systeme, die aus mehreren Komponenten bestehen, deren relative Selbständigkeit sich in diesem Verhalten bemerkbar macht. Die relative Selbständigkeit der Komponenten richtet sich nach der Beschreibung des gesamten Komplexes. _____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
| Autor | Begriff | Zusammenfassung/Zitate | Quellen |
|---|---|---|---|
|
Gregory Chaitin über Komplex/Komplexität – Lexikon der Argumente
Barrow I 78 Komplexität/Entscheidbarkeit/Paradox/Chaitin/Barrow: Anweisung: Drucke eine Folge aus, von deren Komplexität sich beweisen lässt, dass sie größer ist als die Länge dieses Programms!". Darauf kann der Computer nicht reagieren. Jede Folge die er erzeugt, muss von geringerer Komplexität sein, als die Länge der Folge selbst (und auch als sein Programm). (>Neumann: eine Maschine kann nur eine andere Maschine bauen, wenn diese um einen Grad weniger komplex ist, als diese selbst. (Kursbuch 8, 139 ff)(1) >J.v. Neumann. Im obigen Fall kann der Computer also nicht entscheiden, ob die Zahl R zufällig ist oder nicht. Damit ist das Gödelsche Theorem bewiesen! >Entscheidungen, >Entscheidbarkeit, >K. Gödel. In den späten 80er Jahren fand man noch einfachere Beweise für das Gödelsche Theorem, mit denen es in Aussagen über Informationen und Zufälligkeit transformiert wurde. Informationsgehalt/Barrow: man kann einem System von Axiomen und Regeln ein bestimmtes Maß an Information zuordnen, indem man ihren Informationsgehalt definiert als die Größe des Computerprogramms, das alle möglichen Schlussketten durchprüft. I 78/79 Wenn man versucht, die Grenze der Beweisbarkeit durch neue Axiome zu erweitern, gibt es immer noch größere Zahlen, bzw. Ziffernfolgen, deren Zufälligkeit unbeweisbar bleibt. Chaitin: hat mit der Diophantischen Gleichung bewiesen: x + y² = q wenn wir für x und y nur Lösungen mit positiven ganzen Zahlen suchen, fragte Chaitin, I 80 ob eine solche Gleichung typischerweise endlich oder unendlich viele ganzzahlige Lösungen hat, wenn wir q alle möglichen Werte q = 1,2,3,4...durchlaufen lassen. Auf den ersten Blick kaum abweichend von der ursprünglichen Frage, ob die Gleichung für q = 1,2,3.. eine ganzzahlige Lösung hat. Chaitins Frage ist jedoch unendlich viel schwerer zu beantworten. Die Antwort ist in dem Sinne zufällig, dass sie mehr Information benötigt als in der Problemstellung gegeben ist. Es gibt gar keinen Weg zu einer Lösung. Man schreibe für q 0 wenn die Gleichung nur endlich viele Lösungen hat, und 1, falls es unendlich viele gibt. >Kronecker Symbol. Das Ergebnis ist eine Reihe von Einsen und Nullen die eine reelle Zahl darstellt. Ihr Wert kann von keinem Computer berechnet werden. Die einzelnen Stellen ergeben sich logisch völlig unabhängig voneinander. omega = 0010010101001011010... dann verwandelte Chaitin diese Zahl in eine Dezimalzahl I 81 omega = 0,0010010101001011010... und hatte so das Maß der Wahrscheinlichkeit dass ein zufällig gewähltes Computerprogramm irgendwann nach einer endlichen Schrittzahl aufhört. Die Wahrscheinlichkeit ist immer ungleich 0 und 1. Noch eine weitere wichtige Konsequenz: wählen wir irgendeine sehr große Zahl für q so gibt es keinen Weg, zu entscheiden, ob die q te Binärstelle der Zahl omega eine Null oder eine Eins ist. Das menschliche Denken hat keinen Zugang zu einer Antwort zu dieser Frage. Die unausweichliche Unentscheidbarkeit mancher Aussagen folgt aus der zu geringen Komplexität des Computerprogramms, das allerdings auf der Arithmetik basiert. >Entscheidungsproblem, >Software. 1. Kursbuch 8: Mathematik. H. M. Enzensberger (Hg.), Frankfurt/M. 1967._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
B I John D. Barrow Warum die Welt mathematisch ist Frankfurt/M. 1996 B II John D. Barrow Die Natur der Natur: Wissen an den Grenzen von Raum und Zeit Heidelberg 1993 B III John D. Barrow Die Entdeckung des Unmöglichen. Forschung an den Grenzen des Wissens Heidelberg 2001 |
||
> Gegenargumente gegen Chaitin
> Gegenargumente zu Komplex/Komplexität ...
