“Math is a science of not being wrong about things, its techniques and habits hammered out by centuries of hard work and argument.”