If theory is the role of the architect, then such beautiful proofs are the role of the craftsman. Of course, as with the great renaissance artists, such roles are not mutually exclusive. A great cathedral has both structural impressiveness and delicate detail. A great mathematical theory should similarly be beautiful on both large and small scales.

I'm not the sort of person who does my mathematics writing on paper. I do that at the last stage of the game. I do my mathematics in my head. I sit down for a hard day's work and I write nothing all day. I just think. And I walk up and down because that helps keep me awake, it keeps the blood circulating, and I think and think.

If theory is the role of the architect, then such beautiful proofs are the role of the craftsman. Of course, as with the great renaissance artists, such roles are not mutually exclusive. A great cathedral has both structural impressiveness and delicate detail. A great mathematical theory should similarly be beautiful on both large and small scales.

I think it is said that Gauss had ten different proofs for the law of quadratic reciprocity. Any good theorem should have several proofs, the more the better. For two reasons: usually, different proofs have different strengths and weaknesses, and they generalise in different directions - they are not just repetitions of each other.

It is hard to communicate understanding because that is something you get by living with a problem for a long time. You study it, perhaps for years, you get the feel of it and it is in your bones. You can't convey that to anyone else. Having studied the problem for five years you may be able to present it in such a way that it would take somebody else less time to get to that point than it took you. But if they haven't struggled with the problem and seen all the pitfalls, then they haven't really understood it.

No one fully understands spinors. Their algebra is formally understood but their general significance is mysterious. In some sense they describe the 'square root' of geometry and, just as understanding the square root of -1 took centuries, the same might be true of spinors.

The aim of mathematics is to explain as much as possible in simple terms.