Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Entscheidbarkeit: eine Fragestellung, z.B. ob eine Eigenschaft auf einen Gegenstand zutrifft oder nicht, ist entscheidbar, wenn innerhalb endlicher Zeit ein Ergebnis erreicht werden kann. Dafür wird ein Algorithmus als Entscheidungsverfahren zugrunde gelegt. Siehe auch Halteproblem, Algorithmus, Verfahren, Entscheidungsverfahren, Entscheidungstheorie.

_____________
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

Hennig Genz über Entscheidbarkeit – Lexikon der Argumente

II 206
Komprimierbarkeit/Entscheidbarkeit/Genz: Es kann kein Computerprogramm geben das entscheidet, ob eine beliebige Datenmenge komprimierbar ist.
Stärker: Es kann auch auf keine Weise bewiesen werden, dass sie nicht komprimierbar ist.
Komprimierbarkeit kann bewiesen, aber nicht widerlegt werden.
II 207
Bsp Zahl pi: π kann durch ein endliches Programm erzeugt werden.
Es gibt Zahlen, die prinzipiell nicht berechnet werden können:
Omega/Chaitin/Genz: So nennt Chaitin eine gewisse Zahl, von der keine einzige Stelle berechnet werden kann. Sie ist keiner Regel zugänglich, sie steht außerhalb der Mathematik.
>Gregory Chaitin
.
II 218
Entscheidbarkeit/Berechenbarkeit/unentscheidbar/nichtberechenbar/Genz: Unberechenbare Zahlen sind eigentlich dasselbe wie nichtentscheidbare Fragen.
Unberechenbarkeit/Physik/Quantenkosmologie/Genz: Die der Wellenfunktion des Universums weist scheinbare Unberechenbarkeit auf. Dabei geht es um die mögliche Geometrie dreidimensionaler Räume.
>Wellenfunktion.
Vereinfacht: Bsp ein Kreis (eindimensional): zur Berechnung der Wellenfunktion des Universums für den Kreis als Argument: Die Wellenfunktion kann als Summe von Summanden dargestellt werden, wobei es eine Reihe von henkellosen Tassen, eine Reihe von Tassen mit einem Henkel, eine Reihe von Tassen mit zwei Henkeln usw. gibt, wobei die Henkel jeweils unterschiedlich geformt sein können. Diese stellen vierdimensionale Räume dar (mit der Zeit als 4. Dimension).
Kreis: Beim Kreis kommt die Zeit als 2. Dimension hinzu. Zusammen ergeben sie die zwei Dimensionen der Oberflächen der Tassen.
II 219
3. Dimension: Die dritte Dimension ist nur in die Oberflächen eingebettet, sie dient nur der Veranschaulichung. Sie hat in der Realität keine Entsprechung.
Problem: Unentscheidbar ist die Frage, welche Tassen als gleich, und welche als verschieden anzusehen sind. (Tassen mit verschieden geformten Henkeln haben dieselbe Topologie.)
Die Frage ist unentscheidbar, ob zwei Tassen gleich viele oder verschieden viele Henkel haben. (Hier geht es natürlich um vier, nicht um zwei Dimensionen).
Unentscheidbarkeit/Genz: Unentscheidbarkeit tritt hier nur auf, wenn ein Computer die Berechnung durchführen soll: um eine Tasse zu beschreiben, wird sie mit einer gewissen Anzahl von gleichen Dreiecken überdeckt.
Problem: Es kann kein Computerprogramm geben, das für eine beliebige Anzahl von überdeckenden flachen Dreiecken entscheidet, ob zwei (vierdimensionale) Tassen dieselbe Anzahl von Henkeln haben.
II 220
Theorem: Das Theorem ist eher zahm. Es schließt nun aus, dass ein Programm für beliebig viele, nicht aber für vorgegeben viele – z.B. eine Million – flache Dreiecke eine Entscheidung trifft. Dabei geht es einfach um wachsende Genauigkeit.
Das wäre dann ein Beispiel für eine unberechenbare Zahl.
Wellenfunktion des Universums/Genz: Es konnte gezeigt werden, dass es berechenbare Darstellungen von ihr gibt, sodass deren von der Vorschrift der Abbildung suggerierte Unberechenbarkeit (ähnlich wie der von NOPE) tatsächlich nicht besteht.
Def NOPE/Genz: „die kleinste Zahl, die nur durch mehr als dreizehn Worte festgelegt werden kann minus die kleinste Zahl, die nur durch mehr als dreizehn Worte festgelegt werden kann".
Pointe: Die Vorschrift ist undurchführbar, aber wir wissen dennoch, dass NOPE = 0 ist!
II 223
Problem/Genz: Es kann kein Programm geben, das in endliche Zeit entscheidet, ob ein beliebiges Programm jemals anhält.
„Halteproblem“/„Nichthalte-Theorem“/Genz: Das „Halteproblem“ ist kein logisches sondern ein physikalisches Problem. Es ist unmöglich, unendlich viele logische Schritte in endlicher Zeit durchzuführen.
>Halteproblem.
Zeitreisen/Zeitumkehr/Zeit/Entscheidungsproblem/Genz: Wären Zeitreisen möglich, wäre das Halteproblem nur eingeschränkt gültig.
>Zeit, >Zeitumkehr, >Zeitpfeil, >Symmetrien.
II 224
Halteproblem/Platonismus/Genz: In einer platonischen Welt, in der statt Zeit nur logische Schritte gibt, wäre das Nichthalte-Theorem auch gültig. Hier ginge es um die Zulässigkeit von Beweisen statt um ihre Realisierbarkeit.
>Beweise, >Beweisbarkeit.

_____________
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 Argumente
Der 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.

Gz I
H. Genz
Gedankenexperimente Weinheim 1999

Gz II
Henning Genz
Wie die Naturgesetze Wirklichkeit schaffen. Über Physik und Realität München 2002

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z