Description du projet
Résolution d’un problème controversé sur l’infini dans les fondements des mathématiques
L’infini constitue un mystère qui intrigue les mathématiciens depuis des milliers d’années. Il s’agit d’un des problèmes les plus controversés des mathématiques. Il n’est pas surprenant qu’il existe d’innombrables points de vue concernant l’infini. Le projet INFINITY, financé par l’UE, va mener une analyse philosophique et mathématique systématique de cette critique. Il partira de l’émergence de la critique de l’infini au début du XXe siècle pour se plonger dans les débats actuels, suscités par les applications informatiques. En tant qu’analyse interdisciplinaire de l’infini mathématique du point de vue des communautés mathématiques et philosophiques d’Europe, le projet apportera un nouvel éclairage sur ce qui est objecté à l’infini et les raisons afférentes.
Objectif
This project’s research goal is a systematic philosophical and mathematical analysis of critical views of infinity: views which have questioned one or more aspects of standard approaches to infinity in mathematics. Criticism of infinity originates in fundamental debates at the turn of the 20th century and re-emerges in contemporary mathematics under the stimulus of computer applications. The project’s first aim is to develop a novel rigorous examination of what is objected to infinity and why. The next goal is a philosophical and mathematical analysis of this criticism and of strategies proposed to overcome the perceived problematic nature of the infinite.
To achieve these goals, the ER will integrate precise philosophical inquiry with state of the art knowledge of contemporary mathematics. She will analyse the early 20th century texts and compare that criticism of infinity with the one which emerges in contemporary mathematics; she will use a range of logical tools to sharpen and analyse the fundamental concepts of this debate.
The ER has the ideal profile to initiate, with the support of the host institution, an interdisciplinary analysis of the mathematical infinite, as she is simultaneously a mathematician and a philosopher, with years-long experience in logic. The Department of Philosophy at the University of Oslo is the perfect research environment for carrying out this project: the supervisor, Professor Øystein Linnebo, is leading figure in EU’s philosophy of mathematics and this project is very well aligned with his group’s research interests. Through a programme of training through research, the ER will strengthen her philosophical readership, broaden her range of competences, forge new connections to the philosophical community and gain skills in dissemination and communication. This project will be an important point of departure for her future academic career, proposing her as unique bridge between the EU’s philosophical and mathematical communities.
Champ scientifique
Programme(s)
Régime de financement
MSCA-IF-EF-ST - Standard EFCoordinateur
0313 Oslo
Norvège