Philosophie Lexikon der Argumente

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/Titel Begriff Zusammenfassung Metadaten
HC I 120
Entscheidbarkeit/Prädikatenkalkül/PK/Hughes/Cresswell: obwohl es möglich ist, eine eindeutige Darstellung der Gültigkeit im PK zu geben, ist der PK dennoch kein entscheidbares System! - Es gibt aber eine Reihe entscheidbarer Teilstücke des PK. - Dasselbe gilt für die modale Erweiterung des PK.


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

Cr I
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988

Cr II
M. J. Cresswell
Structured Meanings Cambridge Mass. 1984

Send Link
> Gegenargumente gegen Cresswell

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   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  



> Export als BibTeX Datei
Impressum & Kontakt   Datenschutzerklärung


 
Hg. Martin Schulz, Abfragedatum 18.06.2018