Ikonischer Finitismus
This is the site of my lecture of finitism in 2014 at the Humboldt University Berlin.
New Logic - PLDecider - QDecider - KroneckerA - FOL-ModelCheck -
FOL-Optimizer - Tableau-Looper - FOL-Resolver - FOL-Decider - FOL-Skolemizer - KromHornSolver
A modest version of Wittgensteinian Finitism outlines the iconic finitistic approach in English.
Grundlegung einer algorithmischen Mathematik bietet einen ausformulierten Überblick über den Stoff der Vorlesung.
Vorlesung 3: Finistitische Aussagenlogik
Beachten Sie auch den link auf den PLDecider und dort den link auf eine Einführung in das Programm.
Beachten Sie auch den link auf den PLDecider und dort den link auf eine Einführung in das Programm.
Vorlesung 4: Arithmetik
Beachten Sie auch den link auf den QDecider und dort den link auf eine Einführung in das Programm.
Beachten Sie auch den link auf den QDecider und dort den link auf eine Einführung in das Programm.
Vorlesung 5/6: Potenzrechnung
Beachten Sie auch den link auf den Kronecker-Algorithmus.
Beachten Sie auch den link auf den Kronecker-Algorithmus.
Vorlesung 10: Kritik der Unentscheidbarkeitsbeweise
Zur Vertiefung: Wittgensteins Kritik an Gödel, Glossar
Zur Vertiefung: Wittgensteins Kritik an Gödel, Glossar
Vorlesung 11/12: FOLDNF und Elementare Quantorenlogik
Beachten Sie auch die links auf den FOL-Modelchecker und FOL-Optimizer.
Beachten Sie auch die links auf den FOL-Modelchecker und FOL-Optimizer.
Vorlesung 15: FOL-Decider: Schritt 2
Beachten Sie den link auf den FOL-Decider.
Beachten Sie den link auf den FOL-Decider.
© Timm Lampert / 2014-10-30