Su appuntamento da cortesemente concordare mediante mail.
Upon appointment - students are kindly requested to write an email.
Insegnamenti attivi nel periodo selezionato: 25.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Argomento | Descrizione | Area di ricerca |
---|---|---|
Il programma di Hilbert per la matematica astratta | Estrarre il contenuto computazionale dalle dimostrazioni classiche nella matematica concettuale. Sotto particolare considerazione sono le istanze matematiche della completezza logica che tipicamente appaiono come varianti del lemma di Zorn. |
Matematica discreta e computazionale
Mathematical logic and foundations |
Teoria della dimostrazione e matematica costruttiva | La teoria della dimostrazione si occupa delle dimostrazione matematiche, che in tal modo diventano oggetti della matematica. L'obiettivo è capire “cosa si può dimostrare con cosa” e ottenere informazione computazionale dalle dimostrazioni. La matematica costruttiva mira a dimostrazioni dirette da cui si possono estrarre algoritmi; ogni tale algoritmo viene fuori con un certificato di correttezza gratuito, che è la dimostrazione originale. |
Matematica discreta e computazionale
Mathematical logic and foundations |
Titolo | Data inizio |
---|---|
Reducing complexity in algebra, logic, combinatorics (REDCOM) | 01/01/20 |
A new dawn of Intuitionism: mathematical and philosophical advances | 01/12/17 |
CATLOC - Localizzazione categorica: metodi e fondamenti | 01/03/17 |
Carica | Organo collegiale |
---|---|
componente | Collegio dei Docenti del Dottorato Interateneo in Matematica - Dipartimento Informatica |
componente | Collegio Didattico di Matematica - Dipartimento Informatica |
componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |