Philosopher of mathematics