This is a Consolidator grant of the second edition of the FIS Grant, which is considered to be the Italian version of the European ERC Grant.

PI: Silvia De Toffoli, IUSS Pavia //  Amount: 1,660,388€ //  Expected start: February 2025.

 

 

The project aims to develop an in-depth and interdisciplinary analysis of mathematics in which human subjects come to the fore. HUMATH has three Research Objectives:

    1. Develop a fallibilist theory of mathematical justification and knowledge.
    2. Explore the interdependence between knowledge-that and knowledge-how in mathematics by focusing on how mathematicians use notations and diagrams.
    3. Investigate the different roles that computers play in mathematical research, focusing on how diagrams and other visual representations can be integrated within interactive proof assistants.

Its contributions will be in philosophy, mathematics education, and communication of mathematics.