< Terug naar vorige pagina
Project
Filosofische grensverlegging in Reverse Mathematics
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.
Datum:15 mei 2011 → 31 jul 2014
Trefwoorden:nietstandaard analyse, Grondslagen der Wiskunde, Reverse Mathematics, Berekenbaarheid, infinitesimalen
Disciplines:Toegepaste wiskunde, Computerarchitectuur en -netwerken, Theoretische informatica, Informatiesystemen, Andere informatie- en computerwetenschappen, Visual computing, Programmeertalen, Distributed computing, Scientific computing, Informatiewetenschappen, Geschiedenis en grondbeginselen van de wiskunde