Peter Michael Schuster

Foto,  January 26, 2015
Associate Professor
Academic sector
Research sector (ERC)
PE1_2 - Algebra

PE1_1 - Logic and foundations

PE1_6 - Topology

Ca' Vignal 2,  Floor 2,  Room 12
+39 045 802 7029
+39 045 8027068
peter|schuster*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

Tuesday, Hours 2:30 PM - 4:30 PM,   Ca' Vignal 2, floor 2, room 12
Nel secondo semestre (ovvero dal 1 febbraio) il ricevimento si svolge su appuntamento da concordare in anticipo mediante e-mail.
In the second semester (that is, from 1st February) office hours will be held by appointment to be agreed in advance by email.



Modules running in the period selected: 15.
Click on the module to see the timetable and course details.


Research groups

Logica in matematica ed informatica.
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 - -