Filosofische grensverlegging in Reverse Mathematics Universiteit Gent
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.