“Philip Kitcher thinks that mathematics is surprisingly like empirical science. Few mathematicians would agree; philosophers too, from Socrates on, have held the opposite opinion.”