schuster
univrit
Wednesday,
Hours 2:30 PM
- 4:30 PM,
Ca' Vignal 2, floor 2, room 12
Dal 15 al 26 gennaio 2018 il ricevimento studenti si terrà esclusivamente come segue:
martedì 16 gennaio, 16.00-18.00
lunedì 22 gennaio, 14.30-16.30
Dal 29 gennaio e nel secondo semestre il ricevimento studenti si svolge su appuntamento da concordare per mail.
From 29th gennaio and in the second semester students are kindly requested to fix an appointment by email.
Breve CV Italiano
(pdf, en, 22 KB, 20/01/18)
Full List of Publications
(pdf, en, 139 KB, 28/03/18)
Short CV English
(pdf, en, 22 KB, 19/10/17)
La ricerca di Schuster riguarda la teoria della dimostrazione e la matematica costruttiva. Negli ultimi anni si è occupato principalmente della realizzazione parziale del programma di Hilbert nella matematica astratta, specie del contenuto computazionale delle dimostrazione classiche con il lemma di Zorn. Schuster ha pubblicato in riviste scientifiche di logica, algebra, matematica pura ed informatica teorica, fra cui Annals of Pure and Applied Logic, Journal of Symbolic Logic, Bulletin of Symbolic Logic, Journal of Pure and Applied Algebra, Mathematische Zeitschrift e Logic Journal of the IGPL. È uno degli organizzatori del 2018 Hausdorff Trimester Program “Types, Sets and Constructions”, Hausdorff Institute for Mathematics, Bonn. Ha partecipato anche come coordinatore in vari progetti di ricerca europei (FP7) ed internazionali.
Modules running in the period selected: 15.
Click on the module to see the timetable and course details.
| Topic | Description | Research area |
|---|---|---|
| Hilbert's Programme for Abstract Mathematics | Extracting the computational content of classical proofs in conceptual mathematics. Particular attention is paid to invocations of logical completeness in mathematical form, typically as variants of Zorn's Lemma. |
Matematica discreta e computazionale
Mathematical logic and foundations - - |
| Proof theory and constructive mathematics | Proof theory at large studies mathematical proofs, which thus become themselves objects of mathematics. In a nutshell, the goal is to understand "what can be proved with what" and to gain computational information from proofs. Constructive mathematics aims at direct proofs from which one can read off algorithms; any such algorithm comes with a certificate of correctness for free, which just is the original proof. |
Matematica discreta e computazionale
Mathematical logic and foundations - - |
| Office | Collegial Body |
|---|---|
| component | Collegio dei Docenti del Dottorato Interateneo in Matematica - Department Computer Science |
| component | Collegio Didattico di Matematica - Department Computer Science |
| component | Computer Science Department Council - Department Computer Science |
