Dottorando in Filosofia alla Scuola Normale Superiore, si occupa principalmente di teoria intuizionista dei tipi, fondamenti della matematica costruttiva e filosofia della matematica (in particolare, questioni legate alla costruttività e alla predicatività).
Autori & Autrici
Michele Contente
- Per Martin-Löf
06.05.2022 - Saggi