Peter Michael Schuster

Foto,  26 gennaio 2015
Qualifica
Professore associato
Settore disciplinare
MAT/01 - LOGICA MATEMATICA
Ufficio
Ca' Vignal 2,  Piano 2,  Stanza 12
Telefono
+39 045 802 7029
Fax
+39 045 8027068
E-mail
peter|schuster*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

mercoledì, Ore 14.30 - 16.30,   Ca' Vignal 2, piano 2, stanza 12
Il ricevimento non si terrà nei seguenti giorni: 4-11 ottobre e 8 novembre 2017. Gli studenti interessati da queste modifiche chiedano appuntamento tramite mail.
No office hours will be held the following days: 4th and 11th October and 8th November 2017. Students affected by these changes may ask for appointment by email.

Curriculum

Insegnamenti

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

 

Gruppi di ricerca

Logica
Logica in matematica ed informatica.
Competenze
Argomento Descrizione Area di ricerca
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 - -



Organizzazione

Strutture del dipartimento