Torna ai risultati della ricercaBando per contratto di ricerca
| Titolo del progetto di ricerca in italiano | Humanizing Mathematical Knowledge: Fallibility, Technology, Know-How (HUMATH) |
|---|---|
| Titolo del progetto di ricerca in inglese | Humanizing Mathematical Knowledge: Fallibility, Technology, Know-How (HUMATH) |
| Campo principale della ricerca | Philosophy |
| Sottocampo della ricerca | Philosophy of science |
| G.S.D. | 11/PHIL-02 - LOGICA, STORIA E FILOSOFIA DELLE SCIENZE E DELLE TECNICHE |
| S.S.D | PHIL-02/A - Logica e filosofia della scienza |
| Descrizione sintetica in italiano | 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. |
| Descrizione sintetica in inglese | 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. |
| Data del bando | 01/04/2026 |
| Numero di assegnazioni per anno | 2 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | https://www.iusspavia.it/it/node/3225 |
| Destinatari del contratto di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | Fondo Italiano per la Scienza |
|---|---|
| Tipologia dell'Ente | Other |
| Paese dell'Ente | Italy |
| Città | Roma |
| Sito web | https://fis-submission.mur.gov.it/ |
| caterina.bono@iusspavia.it | |
| Telefono | 0382 375866 |
| Contratto finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 16/04/2026 - alle ore 12:00 |
|---|---|
| Come candidarsi | https://pica.cineca.it/iuss/ |