What is a mathematician?