An den Grenzen des Endlichen - Das Hilbertprogramm im Kontext von Formalismus und Finitismus | Christian Tapp | Springer

http://www.springer.com/978-3-642-29653-6

​David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. Setzt er dazu eine formalistische Philosophie der Mathematik voraus? Die überraschende Antwort des ersten Teils dieses Buches ist ein differenziertes Nein.…