A Grand Unification of Mathematics

Rene Descartes

There are numerous branches of mathematics, from arithmetic, geometry and algebra at an elementary level to more advanced fields like number theory, topology and complex analysis. Each branch has its own distinct set of axioms, or fundamental assumptions, from which theorems are derived by logical processes. While each branch has its own flavour, character and methods, there are also strong overlaps and interdependencies. Several attempts have been made to construct a grand unified theory that embraces the entire field of maths  [TM220 or search for “thatsmaths” at irishtimes.com].

Set theory, introduced by Georg Cantor, provides a foundation for mathematics. In principle, all the theorems of maths can be derived by starting from the axioms of set theory, known as the Zermelo-Fraenkel axioms. Another unifying framework is Category Theory, which considers structure-preserving mappings between general objects. However, this has not gained the traction enjoyed by set theory.

There are some spectacular examples of unification of different branches of mathematics. Most notable is the development of analytic geometry, or coordinate geometry, which stands in contrast to synthetic geometry, the usual Euclidean approach. The Cartesian coordinate system of René Descartes introduced the now-familiar system of x and y axes, enabling geometric objects like lines and circles to be defined by algebraic equations. By analysing these equations, purely geometric results can be derived by algebraic processes. Thus, Descartes provided a unifying link between the previously distinct fields of geometry and algebra.

Another example of unexpected connections is the Prime Number Theorem, giving the density of prime numbers. This was proved using methods from analysis, a branch of mathematics not obviously related to number theory. This led on to the emergence of a new field, analytic number theory.

A Letter from Gaol

Andre Weil

André Weil was one of the giants of twentieth century mathematics. While in prison in 1940, as a result of refusing military service, Weil formulated some conjectures about deep connections between number theory and geometry. In a letter to his sister, the noted philosopher Simone Weil, he explained his ideas in clear and simple language. Canadian mathematician Robert Langlands wrote to Weil, suggesting much more sweeping interconnections. He modestly wrote that, if Weil was not interested in the contents, “I am sure that you have a waste basket handy”.

Robert Langlands

The ideas set out in the letter led to the “Langlands Program”, a set of deep conjectures that attempt to forge links between algebraic and analytical objects. Great progress has been made in proving these conjectures, but most of them remain open. Langlands proposed that many problems in number theory could be solved by the methods of harmonic analysis, a completely different field of maths. This implied strong connections between fields that were believed to be unrelated. And some of these have since been found.

Another focus of number theory is Diophantine equations, polynomial equations with integer coefficients, where we are interested in integer solutions. Perhaps the most famous Diophantine equation is Fermat’s equation. Fermat’s Last Theorem (FLT) was proved in the 1990’s by Andrew Wiles by applying the methods of algebraic geometry. Wiles’ work is a spectacular example of a merger of geometry and number theory, and falls within the ambit of the Langlands Program.

* * * * *

That’s Maths II: A Ton of Wonders

by Peter Lynch now available.
Full details and links to suppliers at

>>  Review in The Irish Times  <<

* * * * *

Last 50 Posts