Contrat doctoral (Université d’Aix-Marseille - ED 356)
Bourse ministérielle (01/09/2022-31/08/2025)
Contact : faustine.oliva[at]univ-amu.fr
Rattaché à l’axe 1 du Centre Granger
Thèmes de recherche :
- Philosophie des mathématiques
- Philosophie de l’informatique
- Correspondance preuves/programmes
- Théorie de la démonstration
Sujet de thèse : Des programmes qui prouvent : étude de la signification des démonstrations assistées par ordinateur pour la connaissance mathématique
Sous la direction de : Gabriella Crocco (CGGG) et Emmanuel Beffara (LIG – MeTAH, Université Grenoble Alpes)
Première inscription : 01/09/2022
Bibliographie et CV :
CV F. OLIVA au 18/07/2023
MàJ : 18/07/23