Speaker:
Sara Negri
- University of Helsinki
Wednesday, May 11, 2016
at
3:30 PM
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
