There is a civil war brewing in the world of mathematics