Project description
Solving a controversial problem on infinity in the foundations of mathematics
Infinity is a mystery that has intrigued mathematicians for thousands of years. It’s one of the most controversial problems in mathematics. Not surprisingly, there are countless views of infinity. The EU-funded INFINITY project will conduct a systematic philosophical and mathematical analysis of the criticism. It will start from the emergence of criticism of infinity at the turn of the 20th century and delve into today’s re-emerging debates triggered by computer applications. As an interdisciplinary analysis of the mathematical infinite through the eyes of Europe’s mathematical and philosophical communities, the project will shed new light on what is objected to infinity and why.
Objective
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences mathematics pure mathematics mathematical analysis
- humanities philosophy, ethics and religion philosophy
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions
MAIN PROGRAMME
See all projects funded under this programme -
H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility
See all projects funded under this programme
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
MSCA-IF-EF-ST - Standard EF
See all projects funded under this funding scheme
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
(opens in new window) H2020-MSCA-IF-2018
See all projects funded under this callCoordinator
Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.
0313 Oslo
Norway
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.