Nome del progetto: Humanizing Mathematical Knowledge: Fallibility, Technology, Know-How

Acronimo del progetto: HUMATH

Responsabile scientifico: Prof.ssa Silvia De Toffoli - https://www.iusspavia.it/it/rubrica/silvia-de-toffoli 

Descrizione: L'obiettivo principale di questo progetto è fornire una teoria multiforme della conoscenza e della giustificazione matematica che dia un senso a come la conoscenza matematica viene prodotta e condivisa tra gli agenti umani. Per raggiungere l’ obiettivo, sono stati identificati tre obiettivi di ricerca:

1. Sviluppare una teoria fallibilista della giustificazione matematica che soddisfi i vincoli sociali.

2. Esplorare l'interdipendenza tra conoscenza-che e conoscenza-come in matematica, concentrandosi su come i matematici usano notazioni e diagrammi.

3. Indagare i diversi ruoli che i computer svolgono nella ricerca matematica, concentrandosi sugli assistenti di dimostrazione interattivi e sull'intelligenza artificiale generativa applicata alla matematica.

Ente finanziatore: MUR - Ministero dell’Università e della Ricerca

FIS-2023-04053 

Consolidator Grant - € 1.716.300,00