Alan Baker

Alan Baker
Born	8/19/1939
Birthplace	London, England
Died	2/4/2018 Cambridge, England
Nationality	British
Occupation	Mathematician
Known for	Baker's theorem, linear forms in logarithms, transcendental number theory
Education	BA, University College London; PhD, University of Cambridge
Awards	Fields Medal (1970), Adams Prize (1972), Fellow of the Royal Society

Alan Baker (19 August 1939 – 4 February 2018) was a British mathematician whose work on transcendental number theory earned him the Fields Medal in 1970, one of the highest honours in mathematics. Based primarily at the University of Cambridge, he developed what became known as Baker's theorem, a far-reaching result concerning lower bounds for linear forms in logarithms of algebraic numbers. This breakthrough transformed how mathematicians approach Diophantine equations and the quantitative study of transcendental numbers. His results extended the earlier work of Alexander Gelfond and Theodor Schneider, providing effective methods where their proofs had only established existence. Throughout his career, Baker remained at Cambridge as a Fellow of Trinity College, mentored numerous doctoral students including John Coates and Robert Tijdeman, and published influential texts — most notably Transcendental Number Theory (1975) — that shaped the discipline for generations.

Early life

Baker was born on 19 August 1939 in London. Mathematical talent became evident at an early age, and by his teenage years he had identified abstract mathematics as his principal intellectual interest. That aptitude pointed him towards Cambridge, then as now one of the world's leading centres for mathematical research.

Education

Baker read mathematics at University College London before moving to Cambridge for graduate study. At Cambridge he studied under Harold Davenport, one of the foremost figures in twentieth-century number theory. Davenport's influence was formative and shaped the direction of Baker's subsequent research. Baker's doctoral work focused on transcendental numbers — values that are not roots of any polynomial equation with integer coefficients — and on extending the methods available to work with them effectively. Cambridge had already established a distinguished pedigree in this area through the contributions of G. H. Hardy and J. E. Littlewood, and Baker was able to build upon that intellectual legacy as well as Davenport's direct supervision.

Career

Early academic work and Baker's theorem

After completing his doctorate, Baker joined Cambridge's faculty and became a Fellow of Trinity College, one of the university's oldest and most distinguished colleges, which had previously counted Isaac Newton, Srinivasa Ramanujan, and G. H. Hardy among its members. Baker held a professorship in pure mathematics there and remained a central figure in Cambridge's mathematical life for the rest of his career.

Baker's research engaged with transcendental number theory at a moment when the field had recently seen fundamental advances. In 1934, Alexander Gelfond and Theodor Schneider independently proved Hilbert's seventh problem, establishing that numbers of the form α^β are transcendental when α is an algebraic number other than 0 or 1 and β is an irrational algebraic number. Their proofs, however, shared a critical limitation: they were ineffective in the technical sense. The Gelfond–Schneider results confirmed the transcendence of certain numbers without providing computable bounds on how well those numbers could be approximated by rationals or how large solutions to related equations might be.

Baker resolved this limitation through a series of papers published in the journal Mathematika beginning in 1966, the most important of which was "Linear forms in the logarithms of algebraic numbers." He developed a theory of linear forms in logarithms of algebraic numbers, expressions of the form:

β₁ log α₁ + β₂ log α₂ + ··· + βₙ log αₙ

where the α_i are algebraic numbers and the β_i are algebraic coefficients. Baker proved that if such a linear combination is non-zero, it cannot be arbitrarily small: it must satisfy an explicit lower bound expressed in terms of the heights and degrees of the algebraic numbers involved. This result, now universally called Baker's theorem, generalised the Gelfond–Schneider theorem from the case of two logarithms to any finite number of logarithms, and — crucially — did so with effective, computable constants throughout. The theorem attracted immediate international attention for the breadth of its applications.

What made Baker's theorem so powerful was precisely its effectivity. Before his work, mathematicians could often prove that a Diophantine equation had only finitely many solutions but could not determine what those solutions were or how large they could be. Baker's explicit lower bounds made it possible, in many cases, to reduce the problem to a finite computation. His methods thus bridged the gap between pure existence proofs and practically applicable algorithms, a distinction of great significance for both theoretical and computational number theory.

Fields Medal (1970)

Baker received the Fields Medal in 1970 at the International Congress of Mathematicians held in Nice, France. He was 30 years old at the time of the congress, having turned 31 shortly before the award was formally announced. The medal, awarded every four years to mathematicians under the age of forty in recognition of outstanding mathematical achievement, represented the field's highest accolade for early-career work. The citation specifically acknowledged his generalisation of the Gelfond–Schneider theorem and his effective applications to Diophantine equations, noting that Baker had succeeded in obtaining explicit numerical bounds where all previous methods had failed to do so. The other recipients that year were Heisuke Hironaka, Sergei Novikov, and John G. Thompson, each recognised for fundamental contributions in distinct areas of mathematics.

The award confirmed Baker's standing as one of the leading number theorists of his generation. What distinguished his contribution was not theoretical depth alone but the way it connected several mathematical domains: transcendental number theory, algebraic number theory, Diophantine approximation, and the emerging field of computational number theory.

Applications to Diophantine equations

Baker's methods found immediate and significant application to Thue equations, named after the Norwegian mathematician Axel Thue. A Thue equation takes the form:

f(x, y) = m

where f is an irreducible binary form of degree at least three with integer coefficients and m is a non-zero integer. Thue had proved in 1909 that such equations have only finitely many integer solutions, but his argument was non-effective: it gave no bound on the size of those solutions and thus no means of finding them. Baker's theorem on linear forms in logarithms made Thue's qualitative result quantitative, allowing explicit upper bounds on solutions to be computed in concrete cases.

Baker also made decisive contributions to the class number problem for imaginary quadratic fields, a classical question in algebraic number theory asking which imaginary quadratic fields Q(√−d) have class number equal to a given value. Carl Friedrich Gauss had conjectured that exactly nine values of d yield class number one. Kurt Heegner had provided an argument in 1952, and Harold Stark had given an independent proof in 1967; Baker's effective methods, developed independently at roughly the same time as Stark's work, supplied the rigorous quantitative foundations needed to make the result complete and fully verified. This resolution of the class number one problem for imaginary quadratic fields demonstrated concretely how Baker's theorem could settle long-standing problems in algebraic number theory.

Later career and publications

Through the 1970s, 1980s, and beyond, Baker and his collaborators continued to refine and sharpen the bounds in his theorem, making them applicable to an ever wider range of specific problems. These improvements were of considerable practical importance to computational number theory, where the size of explicit bounds directly determines the feasibility of computer-based searches for solutions.

Baker was also a highly regarded mathematical expositor. His book Transcendental Number Theory, published by Cambridge University Press in 1975, became the standard graduate-level reference for the field. The book was distinguished by its clarity and accessibility despite the technical demands of the subject, and it was translated into several languages, extending Baker's influence across the international mathematical community. In 1984 he published A Concise Introduction to the Theory of Numbers, also with Cambridge University Press, which made central ideas in number theory accessible to undergraduate readers. A later volume, A Comprehensive Course in Number Theory, was published in 2012 and updated his introductory treatment for a new generation of students.

Among Baker's most notable doctoral students was Robert Tijdeman, who used Baker's methods in 1976 to prove that the Catalan equation x^p − y^q = 1 has only finitely many solutions in integers greater than one with p, q > 1 — a result known as Tijdeman's theorem — and John Coates, who went on to become a leading figure in the arithmetic of elliptic curves and later served as Sadleirian Professor of Pure Mathematics at Cambridge. Through such students, Baker's influence extended well beyond his own published work and shaped the development of number theory across multiple subsequent decades.

Academic positions and affiliations

At Cambridge, Baker held the title of Professor of Pure Mathematics and served as a Fellow of Trinity College throughout most of his career. The Royal Society elected him a Fellow (FRS) in recognition of contributions at the highest level of mathematical science available to researchers in the United Kingdom. In 1972, the University of Cambridge awarded him the Adams Prize for distinguished work in the mathematical sciences. The Adams Prize, awarded jointly by Cambridge's Faculty of Mathematics and St John's College, is among the most prestigious mathematics prizes in the United Kingdom and has historically been awarded for work of the highest originality; previous recipients include James Clerk Maxwell and G. H. Hardy.

Personal life

Baker kept his personal life largely private, and published sources record little about his interests outside mathematics. Colleagues and students knew him as a researcher wholly dedicated to his subject and generous with his time and guidance. Cambridge served as his home for the greater part of his adult life, and its mathematical community remained his principal world.

He died on 4 February 2018 in Cambridge, aged 78. The international mathematical community marked his passing with tributes acknowledging both the depth of his theoretical contributions and his sustained role in training succeeding generations of number theorists.

Recognition

The Fields Medal in 1970 was the most prominent of the honours Baker received, recognising his work on linear forms in logarithms and its applications to Diophantine equations. He was further honoured with the Adams Prize in 1972 and election as a Fellow of the Royal Society, recognitions that reflected the breadth of esteem in which his work was held across British and international mathematics. International mathematical conferences regularly invited him as a plenary or invited speaker, and Transcendental Number Theory was translated into multiple languages, testifying to the worldwide reach of his ideas.

Legacy

Baker's principal legacy rests on his theory of linear forms in logarithms of algebraic numbers. Baker's theorem and its successive refinements gave mathematicians effective, computable tools where only qualitative existence results had previously existed, transforming several branches of number theory from fields that could describe structure abstractly into ones that could solve concrete problems. The distinction between effective and ineffective proofs, which Baker's work brought to the forefront, became a guiding concern for computational number theory in the decades that followed.

The body of literature built upon Baker's results is extensive. Mathematicians extended and refined his methods and applied them to problems in Diophantine geometry, transcendence theory, and the theory of elliptic curves. His approach became standard in computational number theory, and implementations of Baker-type bounds underlie algorithms in modern computer algebra systems used worldwide. Research drawing on his methods continues to appear regularly in the leading journals of the field.

His sustained mentoring at Cambridge amplified this legacy considerably. Baker's doctoral students and their own academic descendants carried the research programme forward into new areas and new generations. The honours he received during his lifetime — the Fields Medal, fellowship of the Royal Society, and the Adams Prize — reflected the transformative importance of his contributions. His books, particularly Transcendental Number Theory, A Concise Introduction to the Theory of Numbers, and A Comprehensive Course in Number Theory, continued to be cited and assigned in graduate courses long after publication and remain part of advanced number theory curricula internationally.

Baker's career demonstrated what pure mathematics could accomplish when theoretical depth and effective applicability were pursued simultaneously. His work on transcendental numbers and Diophantine equations remains fundamental to modern number theory, and the methods he pioneered continue to shape research more than half a century after their introduction.

Other notable individuals named Alan Baker

Several other notable people share this name across different fields. Alan Baker (born 1956) is an American politician. Alan T. Baker (born 1956) serves as a United States Navy chaplain. Alan Baker (1944–2026) was an English footballer who played for Aston Villa. Alan Baker (born 1947) is a diplomat who served as Israel's Ambassador to Canada and has written extensively on legal and political issues in international law. Alan Baker (born 1938) is a British historical geographer. Alan Baker (born 1958) is a British poet. There is also a philosopher at Swarthmore College and a shogi player of the same name. This article concerns the mathematician Alan Baker (1939–2018), who remains the most extensively documented of these individuals in encyclopaedic sources.

References

[[Category:Academics