Skip to main content
Home
plus.maths.org

Secondary menu

  • My list
  • About Plus
  • Sponsors
  • Subscribe
  • Contact Us
  • Log in
  • Main navigation

  • Home
  • Articles
  • Collections
  • Podcasts
  • Maths in a minute
  • Puzzles
  • Videos
  • Topics and tags
  • For

    • cat icon
      Curiosity
    • newspaper icon
      Media
    • graduation icon
      Education
    • briefcase icon
      Policy

      Popular topics and tags

      Shapes

      • Geometry
      • Vectors and matrices
      • Topology
      • Networks and graph theory
      • Fractals

      Numbers

      • Number theory
      • Arithmetic
      • Prime numbers
      • Fermat's last theorem
      • Cryptography

      Computing and information

      • Quantum computing
      • Complexity
      • Information theory
      • Artificial intelligence and machine learning
      • Algorithm

      Data and probability

      • Statistics
      • Probability and uncertainty
      • Randomness

      Abstract structures

      • Symmetry
      • Algebra and group theory
      • Vectors and matrices

      Physics

      • Fluid dynamics
      • Quantum physics
      • General relativity, gravity and black holes
      • Entropy and thermodynamics
      • String theory and quantum gravity

      Arts, humanities and sport

      • History and philosophy of mathematics
      • Art and Music
      • Language
      • Sport

      Logic, proof and strategy

      • Logic
      • Proof
      • Game theory

      Calculus and analysis

      • Differential equations
      • Calculus

      Towards applications

      • Mathematical modelling
      • Dynamical systems and Chaos

      Applications

      • Medicine and health
      • Epidemiology
      • Biology
      • Economics and finance
      • Engineering and architecture
      • Weather forecasting
      • Climate change

      Understanding of mathematics

      • Public understanding of mathematics
      • Education

      Get your maths quickly

      • Maths in a minute

      Main menu

    • Home
    • Articles
    • Collections
    • Podcasts
    • Maths in a minute
    • Puzzles
    • Videos
    • Topics and tags
    • Audiences

      • cat icon
        Curiosity
      • newspaper icon
        Media
      • graduation icon
        Education
      • briefcase icon
        Policy

      Secondary menu

    • My list
    • About Plus
    • Sponsors
    • Subscribe
    • Contact Us
    • Log in
    • Maths in a minute: Transcendental numbers (and politics)

      Christopher Hollings
      31 August, 2018
      3 comments

      What are transcendental numbers?

      Transcendental numbers are defined in contrast to algebraic numbers: we say that a number is algebraic if it is the solution of a polynomial equation all whose coefficients are integers, that is to say, an equation consisting of a sum of powers of the unknown x which can be multiplied by integers. Examples are 3x2+2x+1=0 or 5x5+6x3+7x+8=0. Thus, for example, the number 2 is algebraic because it is the solution of the equation x−2=0. In a similar way, any whole number or any fraction (a rational number) is also algebraic: 1/2 , for instance, is the solution of 2x−1=0. Another example of an algebraic number is 2: this is a solution of the equation x2−2=0.

      Ferdinand von Lindemann

      Ferdinand von Lindemann.

      Any number that is not algebraic is called transcendental. Since every rational number is algebraic, it follows that every transcendental number is necessarily irrational (that is, not rational). But not every irrational number is transcendental: take 2 for example (see Maths in a minute: The square root of 2 is irrational).

      Probably the most famous transcendental number is π (another is e; see Where does e come from and what does it do?). Even before π was proven to be transcendental, mathematicians had long had the creeping suspicion that it was somehow unlike most of the other numbers that they encountered. It was certainly known that π is irrational, but its weirdness as a number seemed to go beyond this.

      Despite the fact that the notions of algebraic and transcendental numbers had first been defined by Leonhard Euler in the 18th century, it was not until 1882 that the German mathematician Ferdinand von Lindemann demonstrated that π is in fact transcendental. As well as proving once and for all that it is not possible to square the circle (see Mathematical mysteries: Transcendental meditation), this also explained why π seemed so unlike other numbers: because we can't write down equations of which they are solutions, transcendental numbers are harder to "get hold of" than algebraic ones. In essence, an equation for a number provides us with a finite process by which we can construct that number; in the case of transcendental numbers, we have no such process.

      Hilbert's seventh problem

      At the end of the nineteenth century, π was one of only very few examples of transcendental numbers that were known. And yet mathematicians knew that there are in fact very many more transcendental numbers than algebraic: the transcendental numbers are uncountably infinite, whereas the algebraic numbers are countable (see Maths in a minute: Counting numbers). More examples of transcendental numbers were needed. Indeed, what would be more useful would be a new method for constructing examples of transcendental numbers. The respected German mathematician David Hilbert took account of this need when, at the International Congress of Mathematicians (ICM) in 1900, he presented a now famous list of problems that he thought ought to be tackled by mathematicians in the coming decades. Finding a method for constructing transcendental numbers was the seventh problem on this list.

      Hilbert had a conjecture for how this seventh problem might be solved. Suppose that a is an algebraic number that is neither 0 nor 1 (to avoid trivial cases), and suppose that b is an irrational algebraic number. Following on from a similar conjecture made by Euler (where a was assumed merely to be rational), Hilbert conjectured that in this situation ab is necessarily transcendental. His seventh problem was to find a rigorous proof of this. If it could be proved to be true, then 22, for example, would be transcendental, despite the fact that neither 2 nor 2 is itself transcendental. Mathematicians would thus at last have a means of constructing further transcendental numbers from better-known building blocks (that is, algebraic numbers).

      The person to finally provide a rigorous proof of the seventh problem was the Russian mathematician A. O. Gel'fond. Spurred on by the proof in 1930 by his fellow Russian Rodion Kuzmin that 22 is indeed transcendental, Gel'fond had considered the more general case. He published a full solution in 1934.

      Aleksandr Gel'fond

      Aleksandr Gel'fond.

      Why politics?

      A proof of such an important conjecture would normally afford its author centre stage in international mathematics, but Gel'fond became a victim of political tensions. He had been invited to present his proof at the International Congress of Mathematicians in Oslo in 1936. That particular congress, however, proved a melting pot of different agendas. While mathematicians from Nazi-led Germany turned out in force to showcase the best of "Aryan mathematics", the Soviet delegation was conspicuous by its absence. In an atmosphere in which scientists' foreign connections were increasingly regarded with suspicion by the Soviet authorities, each of the delegates expected from the USSR, including Gel'fond, had been denied permission to travel. The world's mathematicians had to be content merely to read Gel'fond's solution of Hilbert's problem (it had been published in French), rather than see it presented at a blackboard by the author. (You can find out more about international maths and politics in this article.)

      Gel'fond was finally able to attend an ICM in 1966, when it was held in his home town of Moscow, although he does not appear to have delivered a lecture. As far as we know, this is the only ICM that he ever attended. The congress was certainly attended by a small number of mathematicians who had been in Oslo thirty years earlier, but we can only speculate about the interactions that resulted when they were finally able to meet Gel'fond in Moscow. It is interesting to note that the solution of a generalisation of Hilbert's seventh problem, sometimes termed the Gel'fond conjecture, earned a Fields Medal, one of the most prestigious prizes in mathematics, for the English mathematician Alan Baker at the 1970 ICM in Nice.


      About the author

      Christopher Hollings

      Christopher Hollings is a departmental lecturer in the Oxford Mathematical Institute, where he teaches the history of mathematics, and a Senior Research Fellow of The Queen's College, Oxford. He researches various topics from the history of nineteenth and twentieth century mathematics, including the impact of politics on mathematics, and the development of abstract algebra.

      • Log in or register to post comments

      Comments

      John G Canfield

      31 August 2018

      Permalink

      Thank you, Christopher, for a well-written, accessible introduction to a fascinating topic. I trust this posting will receive many more visits!

      • Log in or register to post comments

      Maciej Wasilewski

      31 August 2018

      Permalink

      Is there any proof on whether pi or e can be written down as in Hilbert's conjecture, i.e., a^b, with a rational and b irrational?

      • Log in or register to post comments

      Julián Aguirre

      3 October 2018

      In reply to Is there any proof on whether by Maciej Wasilewski

      Permalink

      Let a = 2 and b = log_2(pi), so that pi=2^b. If b were rational, then pi would be algebraic. Thus, b is irrational.

      • Log in or register to post comments

      Read more about...

      Maths in a minute
      transcendental number
      algebraic number
      history of mathematics
      University of Cambridge logo

      Plus is part of the family of activities in the Millennium Mathematics Project.
      Copyright © 1997 - 2025. University of Cambridge. All rights reserved.

      Terms