Philosophie Lexikon der Argumente

Suche  


 
Beweistheorie (Mathematik, Logik): hier 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.
 
Autor Begriff    Weitere Begriffe zu Autor
Field, Hartry Beweistheorie   Field, Hartry
Hilbert, D. Beweistheorie   Hilbert, D.
Logik-Texte Beweistheorie   Logik-Texte
McDowell, John Beweistheorie   McDowell, John


Hg. Martin Schulz, Abfragedatum 30.03.2017