Dieses Standardwerk zu philosophischen Hintergründen des mathematischen Denkens und Sprechens
Lehrens und Lernens bietet einen umfangreichen Abriss zur Geschichte der Philosophie der
Mathematik bis hin zu aktuellen Strömungen. Es diskutiert mathematische und philosophische
Grundfragen der historischen wie der modernen Mathematik. Über Mengenlehre Logik und Axiomatik
führt es in mathematische Grundlagen ein untersucht das Verhältnis von Wahrheit und Beweis und
stellt fundamentale Ergebnisse ungelöste und unlösbare Probleme vor.