The point of view that one can dispense with the meanings of mathematical statements, regarding them as nothing but strings of symbols in some formal mathematical system, is the mathematical standpoint of formalism. Some people like this idea, whereby mathematics becomes a kind of ‘meaningless game’. It is not an idea that appeals to me, however. It is indeed ‘meaning’ – not blind algorithmic computation – that gives mathematics its substance
