Code
365Q7811
Looptijd
15-05-2011 → 31-07-2014
Financiering
Middelen door bilaterale samenwerking (privé en stichtingen)
Promotor
Onderzoeksdisciplines
-
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
Trefwoorden
nietstandaard analyse
Grondslagen der Wiskunde
Reverse Mathematics
Berekenbaarheid
infinitesimalen
Projectomschrijving
Het doel van dit project is het verbinden van twee begrippen, namelijk infinitesimalen (oneindig kleine eenheden die historisch gebruikt zijn in de wiskunde en fysica) en berekenbaarheid via resultaten in Reverse Mathematics en Nietstandaard Analyse. De nadruk ligt op resultaten met een bijdrage tot de grondslagen van de wiskunde.