Seminar paper and presentation about the foundations of mathematics and the foundational crisis of mathematics ("Grundlagenkrise"). This work was made as part of the seminar "Formal Proof in Mathematics and Computer Science" offered by the Chair for Logic and Verification at the Technical University of Munich (TUM) 2017 https://www21.in.tum.de/teaching/proof21/SS17/.
This work is licensed under CC BY 3.0.
Kevin Kappelmann
E-mail: kevin@kappelmann.me
Website: https://kappelmann.me
Tags: Intuitionism, Formalism, Logicism