As recently as ten years ago, professional mathematicians did most of their work at a desk, using paper and pencil. Today’s mathematician still sits at a desk, but facing a cathode-ray screen. The paper and pencil are still there, but a lot of the mathematician’s activities now involve use of the computer. In particular, powerful computer packages like Mathematica and Maple advertise themselves as systems for ‘doing mathematics on a computer’. This rapid transformation has changed the nature of doing mathematics in a fundamental way. The computer does not simply ‘assist’ the mathematician in doing business as usual; rather, it changes the nature of what is done. In particular, the logical structure of mathematical reasoning carried out with the aid of an interactive computer system is different from the structure of the more traditional form of mathematical reasoning. This article is a logician’s view of the ‘new maths’ of the computer age.