Clippings

There is a persistent story at Warwick University that I ended my first ever undergraduate lecture by walking into the broom cupboard. It is time to set the record straight. Yes, I admit that it was a broom cupboard, but it was also the emergency exit from the lecture hall. I had assumed, without finding out ahead of time, that when the students left the hall by the main doors, I would be able to leave by what looked like a side door. But when I tried it, I found myself surrounded by buckets and mops. Worse, I discovered that the only way to leave the building by that route was to push open an emergency exit, which would set off an alarm. I had noticed the EXIT sign over the door but had failed to spot the word “emergency” above it. So I was forced, rather sheepishly, to emerge from the so-called broom cupboard and join the students as they walked up the stairs to the back of the hall and out the main doors.

If a proof is a story, then a memorable proof must tell a ripping yarn. What does that tell us about how to construct proofs? Not that we need a formal language in which every tiny detail can be checked algorithmically, but that the story line should come out clearly and strongly. It isn’t the syntax of the proof that needs improvement: it’s the semantics.

…

Psychologists now tell us that without emotional underpinnings the rational part of our mind doesn’t work. It seems that we can only be rational about things if we have an emotional commitment to such a recently evolved technique as rationality … I don’t think I could get very emotional about a structured proof, however elegant. But when I can really feel the power of a mathematical story line, something happens in my mind that I can never forget … I’d rather we improved the storytelling of proofs, instead of dissecting them into bits that can be placed in stacks of file cars and sorted into order.