Tim Gowers: What Proofs require fundamentally new ways of thinking?mathoverflow.net6 pointsyarapavan16 years ago