Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Purezza e semplicità delle dimostrazioni |
|---|---|
| Titolo del progetto di ricerca in inglese | Purity and Simplicity of Mathematical Proofs |
| Area CUN | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Area CUN | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Area CUN | 11 - Scienze storiche, filosofiche, pedagogiche e psicologiche |
| S.S.D | M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA |
| Descrizione sintetica in italiano | L'assegnista dovrà svolgere la sua ricerca nei campi della teoria della dimostrazione e della filosofia della matematica. In particolare, I suoi studi dovranno concentrarsi sul 24esimo problema di Hilbert riguardante l'individuazione di possibili criteri logico-matematici per misurare comparativamente il grado di semplicità delle diverse dimostrazioni di uno stesso teorema. Il problema della “purezza del metodo” in matematica, specialmente in relazione a quello della semplicità delle dimostrazioni, potrà essere un altro tema d'elezione per il ricercatore. Oggetto di studio potranno essere sia le dimostrazioni formalizzate sia le dimostrazioni ordinarie, non formalizzate. |
| Descrizione sintetica in inglese | The postdoctoral student is expected to carry out his research in the fields of proof-theory and philosophy of mathematics. In particular, the focus shall be on Hilbert's 24th problem concerning the possibility to devise logico-mathematical criteria for determining the simplest, given two demonstrations of the same theorem. The problem of the "purity of methods" in mathematics -- especially in connection with the one about the simplicity of proofs -- may be also considered as a central issue. The research shall be led by examining both formalized and "ordinary", non-formalized, proofs as they occur in the mathematical practice. |
| Data del bando | 03/11/2023 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | https://pica.cineca.it/uniroma2/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | UNIVERSITA' DEGLI STUDI DI ROMA TOR VERGATA - DIPARTIMENTO DI STUDI LETTERARI FILOSOFICI STORIA DELL'ARTE |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | ROMA |
| Sito web | https://pica.cineca.it/uniroma2/ |
| assegni.ricerca@amm.uniroma2.it | |
| Telefono | 0672592344 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 23/11/2023 |
|---|---|
| Come candidarsi | https://pica.cineca.it/uniroma2/ |