Code
365Q7811
Duration
15 May 2011 → 31 July 2014
Funding
Funding by bilateral agreement (private and foundations)
Promotor
Research disciplines
-
Natural sciences
- Applied mathematics in specific fields
- History and foundations
- Computer architecture and networks
- Distributed computing
- Information sciences
- Information systems
- Programming languages
- Scientific computing
- Theoretical computer science
- Visual computing
- Other information and computing sciences
Keywords
Reverse Mathematics
nonstandard analysis
foundations of mathematics
Computability
infinitesimals
Project description
The aim of this project is to connect infinitesimals (infinitely small quantities historically used in mathematics and physics) and computability, via results in Nonstandard Analysis and Reverse Mathematics. The focus of our project is on foundational results.