New Directions in the Philosophy of Mathematics door Thomas Tymoczko