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
    • Constructivism: An expert's view

      Harvey Friedman
      29 July, 2018

      Harvey Friedman is a Distinguished University Professor of Mathematics, Philosophy, and Computer Science Emeritus at Ohio State University. He is famous for his ground-breaking work on the foundations of mathematics. Here he gives us a brief introduction to a school of thought called constructivism.

      What is constructivism and why do we need it?

      Maths does funny things to your brain.

      Harvey Friedman

      Harvey Friedman

      Suppose you have an infinite sequence consisting entirely of 0s and 1s. In other words, the values of the infinite sequence are 0s and 1s. There may or may not be any 0s and there may or may not be any 1s.

      But is there a maximum value of the sequence?

      Yes, says the mathematician, certainly so. Because if there is any 1 there at all, the maximum value is surely 1. Otherwise it is all 0s, and the maximum value is 0.

      But this is a very strange situation because this line of reasoning gives no way at all of finding out what the maximum value really is. If the sequence has length, say, 100, you can easily find out the maximum value by just looking it over. But this is a sequence of infinite length and there is no looking over an infinite sequence.

      Unless you are a classical mathematician. You pretend that you can look it all over in one "glance" in your mathematical brain.

      So when confronted with this conundrum, in your bewildered unsatisfied state, you really have only three choices.

      1. Accept that this is the way mathematics works, continue with your maths and just get over it and live with it and move on and get to think like a mathematician.
      2. Decide maths is not for you, and have nothing to do with any more theoretical maths.
      3. Do something about it. This normally means that you stick with maths and become a constructivist.

      Generally speaking, the constructivist sets a higher standard for mathematical proofs. for example, in order to prove that something exists, you are obligated to give an example. The example can be a description that depends on some previously given mathematical data that you are working with. It's a bit involved to understand just what is allowed and what is not. But this has been analysed very successfully going back to LEJ Brouwer and Arend Heyting and Errett Bishop.

      How does constructivism affect classical mathematics?

      Constructivity is not by any means only a negative activity, one of simply objecting to business as usual. Errett Bishop was a master at pointing at what he considered as such "flaws" in ordinary "classical" mathematics and reworking the material constructively, removing the flaws. The statements are imaginatively altered. Generally speaking, there is a more subtle and illuminating treatment of the original "flawed" material, with new interesting ideas.

      Nevertheless, there are a number of very important places in mathematics where the proofs are clearly non-constructive, and the really desired constructive version is nowhere in sight, and where obtaining it is considered a major open problem of great interest, even by mathematicians who are not constructivists.

      I mention two examples of this: Roth's theorem and Falting's theorem. These were formerly famous conjectures by famous mathematicians. (Roth's theorem proved a conjecture of Siegel, and Falting's theorem proved a conjecture of Mordell.)

      Both assert that certain equations or inequalities in one or more unknowns have at most finitely many solutions. The constructivist wants to have a procedure for being able to list these solutions. No one has any idea how to do this for Roth's theorem and Falting's theorem.

      The situation is not quite as unsettling as it could be. An upper estimate on the number of solutions for both theorems is known, but finding the solutions is presently beyond our reach. We can formulate this as an issue in constructivity. For both theorems, we have a proof that there exists a whole number such that all of the solutions to the given equation or inequality can be expressed with fewer than that many digits. But we have no constructive proof of the existence of this whole number.

      How does constructivism affect mathematics done for practical purposes?

      The working mathematician, who does not work in logic and the foundations of mathematics, generally takes a rather pragmatic approach to constructivism: he or she fixes on computational end products that make sense independently of any philosophy or logical systems.

      The approach generally involves actually computing down-to-earth examples of or approximations to theoretical mathematical objects. This is basically a practical finitistic attitude that is more radical than constructivism. However, generally speaking, in order to analyse a mathematical theorem in computer ready terms, one has to essentially analyse the theorem from what amounts to the constructivist point of view — and then go on from there.


      About the author

      Harvey Friedman is a Distinguished University Professor of Mathematics, Philosophy, and Computer Science Emeritus at The Ohio State University and is best-known for his work on the foundations of mathematics. He is also a classical pianist. You can find out more about his work in this Plus article (from 2011), on Friedman's YouTube channel or in this Nautilus article.

      Look out for more on Friedman's work in a future Plus article.

      • Log in or register to post comments

      Read more about...

      The physics of observers
      constructivist mathematics
      non-constructive proof
      University of Cambridge logo

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

      Terms