The unreasonable effectiveness of mathematics