Peter Michael Schuster

Foto,  28 febbraio 2018
Qualifica
Professore ordinario
Settore disciplinare
MAT/01 - LOGICA MATEMATICA
Settore di Ricerca (ERC)
PE1_2 - Algebra

PE1_1 - Logic and foundations

PE1_6 - Topology

Ufficio
Ca' Vignal 2,  Piano 2,  Stanza 12
Telefono
+39 045 802 7029
E-mail
peter|schuster*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

Nel mese di febbraio 2024 il ricevimento si tiene previo appuntamento mediante email con dovuto anticipo.

During February 2024 office hours are held upon previous appointment by email in due advance.

 

Curriculum

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 metodi transfiniti. Schuster ha pubblicato sia in saggi ed atti di convegno (fra cui 6 CiE, 2 CSL, 2 LICS, 1 MFPS, 1 WoLLIC) che 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, Indagationes Mathematicae, Information and Computation, Journal of Pure and Applied Algebra, Mathematische Zeitschrift, Mathematical Logic Quarterly, Mathematical Structures in Computer Science, Logic Journal of the IGPL e Journal of Logic and Computation. È stato 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.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 31.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Mathematics Advanced course in foundations of mathematics (2023/2024)   6  eLearning
Laurea in Matematica Applicata Fondamenti della matematica I (2023/2024)   6  eLearning
Laurea magistrale in Mathematics Mathematical logic (2023/2024)   6  eLearning
Laurea magistrale in Mathematics Advanced course in foundations of mathematics (2022/2023)   6  eLearning
Laurea in Matematica Applicata Fondamenti della matematica I (2022/2023)   6  eLearning
Laurea magistrale in Mathematics Mathematical logic (2022/2023)   6  eLearning
Laurea magistrale in Mathematics Advanced course in foundations of mathematics (2020/2021)   6  eLearning
Laurea in Matematica Applicata Fondamenti della matematica I (2020/2021)   6  eLearning
Laurea magistrale in Mathematics Mathematical logic (2020/2021)   6  eLearning
Laurea magistrale in Mathematics Advanced course in foundations of mathematics (2019/2020)   6  eLearning
Laurea magistrale in Mathematics Axiomatic set theory for mathematical practice (2019/2020)   4   
Laurea in Matematica Applicata Fondamenti della matematica I (2019/2020)   6  eLearning
Laurea magistrale in Mathematics Mathematical logic (2019/2020)   6  eLearning
Laurea magistrale in Mathematics Advanced course in foundations of mathematics (2018/2019)   6  eLearning (Teoria 1)
Laurea in Matematica Applicata Fondamenti della matematica I (2018/2019)   6  eLearning
Laurea magistrale in Mathematics Mathematical logic (2018/2019)   6  eLearning
Laurea in Matematica Applicata Analisi matematica III (2017/2018)   6  eLearning
Laurea in Matematica Applicata Fondamenti della matematica I (2017/2018)   6  eLearning
Laurea magistrale in Mathematics Mathematical logic (2017/2018)   6  eLearning
Laurea magistrale in Mathematics Advanced course in foundations of mathematics (2016/2017)   6  eLearning  
Laurea magistrale in Mathematics Algebraic geometry (seminar course) (2016/2017)   6   
Laurea in Matematica Applicata Analisi matematica III (2016/2017)   6  eLearning (Teoria 1)
Laurea in Matematica Applicata Fondamenti della matematica I (2016/2017)   6  eLearning
Laurea magistrale in Mathematics Mathematical logic (2016/2017)   6   
Laurea magistrale in Mathematics Advanced course in foundations of mathematics (2015/2016)   6    (Teoria)
Laurea magistrale in Mathematics Algebraic geometry (seminar course) (2015/2016)   6   
Laurea in Matematica Applicata Fondamenti della matematica I (2015/2016)   6   
Laurea magistrale in Mathematics Mathematical logic (2015/2016)   6   
Laurea magistrale in Mathematics Advanced course in foundations of mathematics (2014/2015)   6   
Laurea magistrale in Mathematics Algebraic geometry (seminar course) (2014/2015)   6   
Laurea magistrale in Mathematics Mathematics teaching and workshop (2014/2015)   12    (Teoria 2)

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.

MyUnivr
 

Gruppi di ricerca

INdAM - Unità di Ricerca dell'Università di Verona
Raccogliamo qui le attività scientifiche dell'Unità di Ricerca dell'Istituto Nazionale di alta Matematica INdAM presso l'Università di Verona
Logica
Logica in matematica ed informatica.
Competenze
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
Progetti
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




Organizzazione

Strutture del dipartimento

Condividi