A Primer in Proof Theory

Relatore:  Sara Negri - University of Helsinki
  mercoledì 11 maggio 2016 alle ore 15.30 Aula L
The aim of the course is to give to the student basic knowledge about the logical structure of proofs in mathematics and how proofs can be analyzed. We introduce first the system of natural deduction, show its basic properties, and treat as an example theories of order. The word problem for freely generated lattices is solved in a pure proof-theoretic way. Secondly, the much stronger methods of sequent calculus are presented, with application of proof analysis to geometric theories. This minicourse is intended for students with a mathematical background, and does not require any particular logical prerequisite. It will be sufficient to have the normal mathematics student's working knowledge of the propositional connectives "and", "or", "if ... then ..." and "not ...".

11 May 2016, 15:30-18:30, Aula L
12 May 2016, 11:30-14:30, Laboratorio Alfa
13 May 2016, 11:30-13:30, Aula E

Referente
Peter Michael Schuster

Referente esterno
Data pubblicazione
21 aprile 2016

Offerta formativa

Condividi