Analisi epistemologica dello sviluppo della matematica moderna dalla nascita del calcolo infinitesimale al XX secolo. Il programma approfondisce il confronto tra i metodi di Newton e Leibniz, l'evoluzione del concetto di funzione e di rigore nell'analisi dell'Ottocento, la nascita delle geometrie non euclidee e il processo di assiomatizzazione della matematica operato da Hilbert.