**Timothy Gowers** is known as Tim. His parents are Caroline Maurice and William Patrick Gowers, and he has two sisters Rebecca Gowers and Katharine Gowers. Patrick Gowers is a composer, famous for composing the music for many films and also known for his works for the guitar. He has a doctorate from the University of Cambridge: *Eric Satie: his studies, notebooks and critics* (1965). Rebecca Gowers is a freelance journalist and author. Her first book, *The Swamp of Death*, was shortlisted in 2004 for a CWA Golden Dagger Award for Non-Fiction and, more recently, her book *When to Walk* was longlisted for the Orange Broadband Prize for Fiction. Katharine Gowers is a violinist with:-

... exceptional gifts of musicianship and technical command. Even more important is her innate sense of style: a priceless gift which lifts her playing to a level of exceptional maturity.

In fact the Gowers family has other exceptionally distinguished members such as Tim Gowers' great-grandfather Sir Ernest Arthur Gowers GCB GBE (1880-1966) who was a civil servant, but best known for work on style guides for writing the English language. He edited Fowler's *Modern English Usage*, and wrote a book titled *Plain Words* which is still in print.

Tim Gowers was sent to King's College School, Cambridge where he was a boarder as his parents were living in London at the time. Given what we have already mentioned about his sister Katharine, it will come as no surprise to learn that Gowers is extremely musical and was a chorister at the School. He had some excellent mathematics teaching at the School from Mary Briggs, who had studied under Mary Cartwright at Girton College. He won a King's scholarship to Eton College

where [10]:-

I had another inspirational teacher, Norman Routledge, who had been a fellow of King's. He did not allow himself to be limited to the syllabus but ranged far more widely. In my last two years at Eton, the mathematics specialists were given a weekly sheet of challenging problems which were only loosely based on the syllabus, if at all. Of course, boys being boys, we tended to do nothing for five days and then rush at them for two days, but even so it was a very valuable experience.

After completing his school education at Eton, Gowers matriculated at Trinity College, Cambridge. It was while he was an undergraduate that Gowers decided that he wanted to become a professional mathematician [10]:-

I became certain that I would like to be a professional mathematician some time when I was an undergraduate - though, even then, I had little idea of what this meant.

However, it was not until he took Béla Bollobás' course on the geometry of Banach spaces while studying for Part III of the Mathematical Tripos that Gowers found an area of mathematics which he felt was the right one for him to begin research [10]:-

Looking back it is amusing to remember how little idea I had of what research in different areas would be like when I made such an important choice. But I was lucky and found myself in an area that suited me very well, and with an excellent supervisor.

Gowers married Emily Joanna Thomas, daughter of Valerie Little and Sir Keith Thomas (historian and President of Corpus Christi College Oxford) in 1988; they had two sons and a daughter. In 1990 Gowers was awarded his doctorate for his thesis *Symmetric Structures in Banach Spaces* written with Béla Bollobás as his thesis advisor. His first paper *Symmetric block bases in finite-dimensional normed spaces* was published in 1989 and in the same year he gave a survey lecture *Symmetric sequences in finite-dimensional normed spaces* to the conference 'Geometry of Banach spaces' held in Strobl, Austria. He was appointed as a Research Fellow at Trinity College in 1989, holding this position until 1993. He was appointed as a Lecturer at University College, London, in 1991 and spent four years there. However, in some sense he never left Cambridge [10]:-

I used to commute from Cambridge, and found the train a congenial place to work, making at least one genuine breakthrough on it.

He was promoted to Reader in 1994 and in the same year was an invited speaker at the International Congress of Mathematicians held in Zürich where he gave the address *Recent results in the theory of infinite-dimensional Banach spaces*. During the four years he spent at University College he continued to work on Banach spaces and he was awarded the 1995 Junior Whitehead Prize by the London Mathematical Society for this work. The citation for the prize reads [12]:-

Dr W T Gowers of University College, London, is awarded a Junior Whitehead Prize for his work in applying infinite combinatorics to resolve a series of longstanding questions in Banach space theory, some originating with Banach himself. Dr Gowers' achievements include the following: a solution to the notorious Banach hyperplane problem(to find a Banach space which is not isomorphic to any hyperplane), a counterexample to the Banach space Schröder-Bernstein theorem, a proof that if all closed infinite-dimensional subspaces of a Banach space are isomorphic then it is a Hilbert space, and an example of a Banach space such that every bounded operator is a Fredholm operator. Over the past five years, Gowers has made the geometry of Banach spaces look completely different. The techniques he uses are highly individual; in particular, he makes use of a Ramsey theory for linear spaces, stating a dichotomy for subspaces rather than subsequences. In this area, where there is initially little structure, imagination and technical strength of a high calibre are needed. The work demonstrates both characteristics, and the techniques seem likely to find further application in different fields in the future.

In 1995 Gowers was appointed as a lecturer at the University of Cambridge. In the following year he was awarded a European Mathematical Society Prize at the 2^{nd} European Congress of Mathematics held in Budapest, Hungary. The citation for the Prize reads:-

William Timothy Gowers' work has made the geometry of Banach spaces look completely different. To mention some of his spectacular results: he solved the notorious Banach hyperplane problem, to find a Banach space which is not isomorphic to any of its hyperplanes. He gave a counterexample to the Schröder-Bernstein theorem for Banach spaces. He proved a deep dichotomy principle for Banach spaces which, if combined with a result of Komorowski and Tomczak-Jaegermann, shows that if all closed infinite-dimensional subspaces of a Banach space are isomorphic to the space, then it is a Hilbert space. He gave(jointly with Maurey)an example of a Banach space such that every bounded operator from the space to itself is a Fredholm operator. His mathematics is both very original and technically very strong. The techniques he uses are highly individual; in particular, he makes very clever use of infinite Ramsey theory.

At the European Congress, Gowers lectured on *Banach spaces with few operators*. Two years later, he received a Fields Medal at the International Congress of Mathematicians held in Berlin in 1998. The citation begins [4]:-

William Timothy Gowers has provided important contributions to functional analysis, making extensive use of methods from combination theory. These two fields apparently have little to do with each other, and a significant achievement of Gowers has been to combine these fruitfully.

The citation ends:-

A year ago, Gowers attracted attention in the field of combination analysis when he delivered a new proof for a theorem of the mathematician Emre Szemerédi which is shorter and more elegant than the original line of argument. Such a feat requires extremely deep mathematical understanding.

In 1998 Gowers was named Rouse Ball Professor of Mathematics at Cambridge. In 1999 he became a fellow of the Royal Society of London. He continues to produce papers of great significance such as *Hypergraph regularity and the multidimensional Szemerédi theorem* (2007); Gabor Sarkozy's review begins:-

In this breakthrough paper the author proves his version of the Hypergraph Regularity Lemma and the associated Counting Lemma. As an application, he gives the first combinatorial proof of the multidimensional Szemerédi theorem of Furstenberg and Katznelson, and the first proof that provides an explicit bound.

Another highly significant recent paper by Gowers is *Quasirandom groups* (2008) but we will mention several important works by Gowers which are major contributions to mathematics in addition to his amazing research contributions. First let us mention his book *Mathematics. A very short introduction* (2002). The book contains eight chapters: What does it mean to use mathematics to model the real world?; What are numbers, and in what sense do they exist (especially "imaginary" numbers)?; What is a mathematical proof?; What do infinite decimals mean, and why is this subtle?; What does it mean to discuss high-dimensional (e.g. 26-dimensional) space?; What's the deal with non-Euclidean geometry?; How can mathematics address questions that cannot be answered exactly, but only approximately?; Is it true that mathematicians burn out at the age of 25? and other sociological questions about the mathematical community.

Let us end this biography with giving some details of two further innovative projects in which Gowers has been involved. The first of these is the book *The Princeton Companion to Mathematics *(2008) with Gowers as editor, and June Barrow-Green and Imre Leader as associate editors. Terence Tao begins a review writing:-

The Princeton companion to mathematics is a unique text, which does not fall neatly into any of the usual categories of mathematical writing. It is not quite a mathematical encyclopedia, it is not quite a collection of mathematical surveys, it is not quite a popular introduction to mathematics, and it is certainly not a mathematics textbook; and yet it is still an immensely rich and valuable reference work that covers almost all aspects of modern mathematics today(although there is certainly an emphasis on pure mathematics at the research level). An encyclopedia might focus primarily on definitions, a survey article might focus on history or on the latest research, and a popular introduction might focus on analogies, personalities or entertaining narrative; in contrast, this book is intended to answer(or at least address)basic questions about mathematics, such as "What is arithmetic geometry?", "Why do we care about function spaces?", "How is mathematics used today in biology?", "What is the significance of the Riemann hypothesis?", "Why are there so many number systems?'", or "Is mathematical research all about proving theorems rigorously?".

Tao ends his review by writing:-

In summary, this unique book is an extraordinarily broad and surprisingly accessible reference work for a remarkably large fraction of modern(and historical)mathematics. While it does not substitute by any means for more traditional textbooks in mathematics, it complements these more detailed, precise, and technical texts nicely, and is one of the rare places where one can actually see all of mathematics as a unified subject, with coherent themes and goals.

The final project we mention is the "Polymath project." Gowers suggested:-

... if a large group of mathematicians could connect their brains efficiently, they could perhaps solve problems very efficiently as well.

Michael Nielsen explains:-

Using principles similar to those employed in open source programming projects,[Gowers]used blogs and a wiki to organize an open mathematical collaboration attempting to find a new proof of an important mathematical theorem known as the density Hales-Jewett theorem.

The project has been very successful although perhaps fewer mathematicians took part than Gowers had hoped.

Gowers' first marriage was dissolved in 2007 and in 2008 he married Julie Barrau; they have one son.

Gowers was Knighted in the Queen's Birthday Honours List 2012. On 16 June 2012 it was announced that the Knighthood was to Professor William Timothy Gowers, FRS, Royal Society Research Professor, Department of Pure Mathematics and Mathematical Statistics, University of Cambridge: For services to Mathematics. He received a further honour in 2013 when, on Friday 13 September, in the Younger Hall, St Andrews, he was given an honorary degree during a special graduation ceremony which formed part of the University of St Andrews' 600th Anniversary celebrations. He was one of seventeen "international scholars and thinkers", "some of the best minds of our generation", who were honoured in this way.

The laureation address by Kenneth Falconer, School of Mathematics and Statistics, University of St Andrews, is at THIS LINK

Finally let us quote some words by Gowers about mathematics:-

In very general terms I suppose if you divide mathematics into that which uses 'elementary' methods and mathematics that uses a lot of sophisticated theory and well-established techniques, then I'm drawn towards the former rather than the latter.

I just try and find certain problems that I might be able to think about profitably, and quite often I think about problems and get absolutely nowhere. ... with most problems I think about I get absolutely nowhere, but with Banach spaces and combinatorics it was just the case with both of them, there were problems that seemed reasonable to tackle, and I found them interesting.

I like to talk about completing the square, when you have result A that generalises in one direction to result B and in another direction to result C: then you want to find the generalisation of C that corresponds to how B generalises A.

I can work at home and in my office, and those are the two places I work most. Just anywhere where I've got a pad of paper and a biro ... But if you're sitting waiting in an airport lounge, which for many people would be a very boring experience, for a mathematician it isn't. Get out some paper and have a think about things.

We encourage the reader to look further at Gowers' ideas about mathematics set out in [6], [7] and [8].

**Article by:** *J J O'Connor* and *E F Robertson*

**July 2009**

[http://www-history.mcs.st-andrews.ac.uk/Biographies/Gowers.html]