Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi logici in Combinatoria e Complessità |
|---|---|
| Titolo del progetto di ricerca in inglese | Logical methods in Combinatorics and Complexity |
| Campo principale della ricerca | Mathematics |
| Sottocampo della ricerca | Mathematical logic |
| Area CUN | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Descrizione sintetica in italiano | Le attività di ricerca saranno preferibilmente indirizzate verso i seguenti argomenti: - esplorare i limit computazionali alla dimostrabilità finita, analizzando la complessità dell dimostrazioni di formalizzazioni di teoremi combinatori in sistemi di dimostrazione, con l'obiettivo di: (a) classificare i metodi di theorem proving a seconda della loro efficienza nel produrre tali dimstrazioni; (b) progettare algoritmi per la generazione automatica di dimostrazioni o provare la loro impossibilità e collegare tali problemi con la complessità delle dimostrazioni - studio della potenza logica dei versioni finite di teoremi tipo Hindman. Tali teoremi coinvolgono una profonda connessione tra metodi logici combinatori e computazionali. in particolare si considererà lo studio (nel senso della reverse mathematics) di alcune versioni ristrette e finite di tali teoremi. |
| Descrizione sintetica in inglese | Research activities are preferably centered around the following topics - exploring the computational limits to finite provability, analysing the complexity of proving combinatorial statements in different logical proof systems: (a) classifying theorem-proving procedures according to their relative provability strength, and develop new lower bound methods for exploring the limits of provability; (b) algorithmic perspectives: to devise algorithms for proof generation or Boolean satisfiability (SAT solving), or proving their impossibility, relating these questions with the study of the computational limits of proof systems. - study of the logical strength of finite versions of Hindman-type theorem. These theorems feature a deep interplay of logical, computational and combinatorial methods. In particular, the research will be around the study the strength (in the sense of reverse mathematics) of some restrictions and of some finite versions of HT. |
| Data del bando | 20/12/2023 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | https://web.uniroma1.it/trasparenza/bando/212496_36 |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | UNIVERSITA' DI ROMA LA SAPIENZA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | ROMA |
| Codice postale | 00185 |
| Indirizzo | VIA ARIOSTO 25 |
| Sito web | https://web.uniroma1.it/trasparenza/ |
| fabio.tufilli@uniroma1.it | |
| Telefono | 0677274137 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 19/01/2024 |
|---|---|
| Come candidarsi | Other |