schuster
univrit
Su appuntamento da cortesemente concordare mediante mail.
Upon appointment - students are kindly requested to write an email.
Breve CV italiano
(pdf, en, 24 KB, 21/12/20)
Full List of Publications
(pdf, en, 138 KB, 21/12/20)
Short CV English
(pdf, en, 23 KB, 21/12/20)
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 |
