The earliest forerunner of the Mathematical Institute was the School of Geometry and Arithmetic in the
Bodleian Library's main quadrangle. This was completed in 1620. Notable mathematicians associated with the university include
Christopher Wren who, before his notable career as an architect, made contributions in analytical mathematics, astronomy, and mathematical physics;
Edmond Halley who published a series of profound papers on astronomy while
Savilian Professor of Geometry in the early 18th century;
John Wallis, whose innovations include using the symbol \infty for
infinity;
Charles Dodgson, who made significant contributions to geometry and logic while also achieving fame as a children's author under his pen name Lewis Carroll; and
Henry John Stephen Smith, another Savilian Professor of Geometry, whose work in
number theory and
matrices attracted international recognition to Oxford mathematics. Dodgson jokingly proposed that the university should grant its mathematicians a narrow strip of level ground, reaching "ever so far", so that they could test whether or not
parallel lines ever meet. The building of an institute was originally proposed by
G. H. Hardy in 1930. Lectures were normally given in the individual
colleges of the university and Hardy proposed a central space where mathematics lectures could be held and where mathematicians could regularly meet. This proposal was too ambitious for the university, who allocated just six rooms for mathematicians in an extension to the
Radcliffe Science Library built in 1934. A dedicated Mathematical Institute was built in 1966 and was located at the northern end of
St Giles' near the junction with
Banbury Road in central north
Oxford. The needs of the institute soon outgrew its building, so it also occupied a neighbouring house on St Giles and two annexes: Dartington House on
Little Clarendon Street, and the Gibson Building on the site of the
Radcliffe Infirmary. In 2008 the institute was given US$25 million — the largest grant ever for a mathematics department in the UK — to establish the Oxford Centre for Collaborative Applied Mathematics (OCCAM). Since 2013 the institute has been housed in the purpose-built
Andrew Wiles Building in the
Radcliffe Observatory Quarter in
North Oxford, near the original Radcliffe Infirmary. Wiles, the university's Regius Professor of Mathematics, is known for proving
Fermat's Last Theorem. The design and construction of the building was informed by the academic staff to incorporate mathematical ideas;
Sir Roger Penrose designed a non-periodic pattern (a
Penrose tiling) to decorate the ground at the entrance, and two structures where natural light enters the building have "crystals" illustrating concepts from
graph theory and the vibration of a two-dimensional surface. == Research ==