What is mathematics now, and what should it be?