Norwegian version of this page

Infinity in Mathematics

The project aims to develop a systematic philosophical and mathematical analysis of critical views of infinity in mathematics.

The sign of infinity. Illustration.

Illustration: Colourbox

About the project

This project’s objective is an analysis of critical views of infinity: views which have questioned one or more aspects of standard "Cantorian" approaches to infinity in mathematics. Criticism of infinity originated in fundamental debates at the turn of the 20th century and re-emerges in contemporary constructive mathematics under the stimulus of computer applications. The purpose is to bring new light to that decisive chapter in the foundations of mathematics and to draw new revealing correlations between the old debate and the new one.

Objectives

The project’s first aim is to develop a rigorous examination of what is objected to infinity and of why criticism is levelled against standard approaches to it. The next aim is to develop an analysis of this criticism, and of strategies proposed to overcome the perceived problematic nature of the infinite, focusing especially on Poincaré and Weyl’s approaches to predicativity and the form of predicativity that characterises Martin-Löf type theory.

Outcomes

The outcomes will help us explicate ideas underlying today’s constructive approaches to mathematics and also allow for a clearer understanding of the commitments implicit in more standard approaches to infinity.

Duration

July 2019 – June 2021.

Events 

Workshop on Predicativity, 9 April 2021, Online. 

Workshop on Critical views of infinity, 15-16 June 2021, University of Oslo.

Workshop with Crispin Wright, 2–3 June 2020, University of Oslo (postponed).

See the Events section of my homepage for more information on talks and events.

Related projects

Infinity and Intensionality

ConceptLab

Centre for Philosophy in the Sciences

Published Oct. 4, 2019 1:14 PM - Last modified Mar. 13, 2021 11:32 PM

Contact