Humanizing Mathematical Knowledge: Fallibility, Technology, Know-How (HUMATH)
Aperto il: 01/04/2026
Scadenza: 16/04/2026
Gruppo Scientifico-Disciplinare
11/PHIL-02 - Logica, Storia e Filosofia delle Scienze e delle Tecniche
Descrizione
L’obiettivo principale del progetto è fornire una teoria articolata della conoscenza e della giustificazione matematica che renda conto di come la conoscenza matematica venga prodotta e condivisa tra agenti umani. A tal fine il progetto si propone di: 1. Sviluppare una teoria fallibilista della giustificazione matematica che soddisfi vincoli di natura sociale. 2. Esplorare l’interdipendenza tra knowledge-that e knowledge-how in matematica, concentrandosi sull’uso di notazioni e diagrammi da parte dei matematici. 3. Analizzare i diversi ruoli che i computer svolgono nella ricerca matematica, con particolare attenzione agli interactive proof assistants e all’uso dell’AI generativa applicata alla matematica. Il progetto ha radici interdisciplinari, collocandosi all’intersezione tra filosofia e matematica. È rilevante per la didattica della matematica, le scienze cognitive e la sociologia. L’impatto sociale è altrettanto significativo.
Sito web del bando
Numero posti
2
Ente finanziatore
Fondo Italiano per la Scienza
Come candidarsi
Visualizza il bando originale sul sito del MUR: Vai al sito MUR