Intuitionistic Logic and Intuitionistic Set Theories
- Date: Monday 13 February 2017, 14:00 – 15:30
- Location: Mathematics Level 8, MALL 1 & 2, School of Mathematics
- Type: Pure Mathematics seminars, Postgraduate logic seminars, Seminar series
- Cost: Free
Cesare Gallozzi, University of Leeds. Part of the postgraduate logic seminar series.
In this talk I will provide a short introduction to intuitionistic logic, trying to convince the audience that it makes (more) sense (than classical logic). I will explain what happens when we start from ZFC and change the underlying logic from classical to intuitionistic, then I will present Myhill's Intuitionistic ZF (IZF) and Aczel's Constructive Set Theory (CZF).
Cesare Gallozzi, University of Leeds