Philosophie Lexikon der Argumente

Suche  
 
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.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
Berka I 543ff
Unentscheidbarkeit/Gödel/Tarski: eine unentscheidbare Aussage wird in einer bereicherten Metawissenschaft entscheidbar - (Beispiel I 543f)
Definierbarkeit/Tarski: für jede deduktive Wissenschaft, die die Arithmetik enthält, lassen sich solche arithmetischen Begriffe angeben, die in ihr nicht definierbar sind.
I 545
Man kann aber mit Methoden, die den hier verwendeten analog sind, zeigen, dass diese Begriffe aufgrund der betrachteten Wissenschaft definiert werden können, wenn man die Wissenschaft durch Variablen höherer Ordnung bereichert.

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Gegenargumente gegen Tarski



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 29.05.2017