Henri Poincaré was among the first to follow the idea of conventionalism in mathematics. His view was that, paraphrasing Wikipedia here, axioms should be chosen such that they deliver good results and not to match intuitions about reality. Or, put too simply: Something is true if it is useful. I don’t consider myself an optimist.…