Psychologie Lexikon der ArgumenteHome | |||
| |||
Beweistheorie - Psychologie Lexikon der Argumente | |||
Beweistheorie (Mathematik, Logik): In der Beweistheorie geht es um die Existenz oder Nichtexistenz von endlichen Zeichenketten, aus denen sich eine Aussage herleiten lässt. Daher gehört die Beweistheorie zur Syntax, im Gegensatz zur Modelltheorie, die zur Semantik gehört. Modelltheorie, Semantik, Syntax, Beweis._____________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 | |
---|---|---|---|
Field, Hartry | Beweistheorie | Field, Hartry | |
Hilbert, David | Beweistheorie | Hilbert, David | |
Logik-Texte | Beweistheorie | Logik-Texte | |
McDowell, John | Beweistheorie | McDowell, John | |
Hg. Martin Schulz |