Humanizing Mathematical Knowledge: Fallibility, Technology, Know-How (HUMATH)
Posted on: 01/04/2026
Deadline: 16/04/2026
Scientific-Disciplinary Group
11/PHIL-02 - Logic, History And Philosophy Of Science And Technology
Description
The project’s primary goal 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 reach this goal, the project will: 1. Develop a fallibilist theory of mathematical justification that satisfies social constraints. 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 interactive proof assistants and generative AI applied to mathematics. This project has interdisciplinary roots: philosophy and mathematics. It is also relevant to mathematical education, cognitive sciences, and sociology. Moreover, the societal impact is substantial because it will contribute to changing the folk image of mathematics.
Job posting website
Number of positions
2
Funding body
Fondo Italiano per la Scienza
How to apply
View the original posting on the MUR website: Go to MUR website