Philosophie Lexikon der ArgumenteHome | |||
| |||
G.W. Leibniz - Philosophie Lexikon der Argumente | |||
G.W. Leibniz (1646-1716), deutscher Philosoph, Mathematiker, Naturwissenschaftler, Jurist, Diplomat, Bibliothekar und Universalgelehrter. Hauptwerke sind Dissertatio de arte combinatoria (1666), Discours de métaphysique (1686), und Monadologie (1714). Seine Arbeit konzentrierte sich auf Philosophie, Mathematik, Naturwissenschaften und Recht.
Normdaten zur Katalogisierung: VIAF LCCN GND | |||
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 | Weitere Begriffe zu Autor | |
---|---|---|---|
Chaitin, Gregory | Entscheidbarkeit | Chaitin, Gregory | |
Cresswell, Maxwell J. | Entscheidbarkeit | Cresswell, Maxwell J. | |
Dummett, Michael E. | Entscheidbarkeit | Dummett, Michael E. | |
Field, Hartry | Entscheidbarkeit | Field, Hartry | |
Genz, Hennig | Entscheidbarkeit | Genz, Hennig | |
Hilbert, David | Entscheidbarkeit | Hilbert, David | |
Hintikka, Jaakko | Entscheidbarkeit | Hintikka, Jaakko | |
Leibniz, G.W. | Entscheidbarkeit | Leibniz, G.W. | |
Logik-Texte | Entscheidbarkeit | Logik-Texte, | |
Lorenzen, Paul | Entscheidbarkeit | Lorenzen, Paul | |
Mates, Benson | Entscheidbarkeit | Mates, Benson | |
Quine, W.V.O. | Entscheidbarkeit | Quine, W.V.O. | |
Tarski, Alfred | Entscheidbarkeit | Tarski, Alfred | |
|