Philosophy Dictionary of ArgumentsHome | |||
| |||
G.W. Leibniz - Philosophy Dictionary of Arguments | |||
G.W. Leibniz (1646-1716), German philosopher, mathematician, scientist, jurist, diplomat, librarian, and polymath. His major works include Dissertatio de arte combinatoria (1666), Discours de métaphysique (1686), and Monadologie (1714). He mainly worked on philosophy, mathematics, science, and law.
Standard data for cataloging: VIAF LCCN GND | |||
Decidability: a question, for example, whether a property applies to an object or not, is decidable if a result can be achieved within a finite time. For this decision process, an algorithm is chosen as a basis. See also halting problem, algorithms, procedures, decision theory._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Item | More concepts for author | |
---|---|---|---|
Chaitin, Gregory | Decidability | Chaitin | |
Cresswell, Maxwell J. | Decidability | Cresswell | |
Dummett, Michael E. | Decidability | Dummett | |
Field, Hartry | Decidability | Field | |
Genz, Hennig | Decidability | Genz | |
Hilbert, David | Decidability | Hilbert | |
Hintikka, Jaakko | Decidability | Hintikka | |
Leibniz, G.W. | Decidability | Leibniz | |
Logic Texts | Decidability | Logic Texts | |
Lorenzen, Paul | Decidability | Lorenzen | |
Mates, Benson | Decidability | Mates | |
Quine, W.V.O. | Decidability | Quine | |
Tarski, Alfred | Decidability | Tarski | |
|