Почему вообще существует философия математики?

Эта поистине философская книга возвращает нас к основам – явному опыту доказательства и загадочному отношению математики к природе. Он задает неожиданные вопросы: Что делает математику математикой? Откуда появилось доказательство и как оно развивалось? Как возникло различие между чистой и прикладной математикой? В широком спектре дискуссия, которая как погружена в прошлое, так и необычно приспособлена к конкурирующим философским идеям современных математиков, показывает, что доказательства и другие формы математического исследования продолжают жить, развиваясь в соответствии с практиками, отвечающими современным технологиям, и все это связано с постоянными (и удивительными) фактами о людях. Он выделяет несколько различных типов применения математики и показывает, как каждый из них ведет к различным философским головоломкам. Здесь примечательны новые философские мысли о доказательствах, приложениях и других математических действиях.