Project name: Humanizing Mathematical Knowledge: Fallibility, Technology, Know-How

Project acronym: HUMATH

Principal Investigator: Prof. Silvia De Toffoli

CUP: I14G21000020006

Description: The primary goal of this project is to provide a multifaceted theory of mathematical knowledge and justification that makes sense of how mathematical knowledge is produced and shared among human agents. To achieve this goal, three research objectives have been identified:

1. Develop a fallibilist theory of mathematical justification that satisfies social constraints.

2. Explore the interdependence between knowledge-that and knowledge-how in mathematics, focusing on how mathematicians use notations and diagrams.

3. Investigate the diverse roles computers play in mathematical research, focusing on interactive proof assistants and generative artificial intelligence applied to mathematics.

Funding Institution: MUR - Ministero dell’Università e della Ricerca

FIS-2023-04053 

Consolidator Grant - € 1.716.300,00