Understanding Girard’s Paradox

Add to your list(s) Download to your calendar using vCal

• Thorsten Altenkirch (Nottingham)
• Tuesday 03 July 2018, 13:15-14:15
• 217, School of Computer Science.

If you have a question about this talk, please contact Benedikt Ahrens.

Girard’s paradox shows that having two levels of impredicativity is inconsistent. I will present a simplified version of Girard’s paradox (based on a paper by Thierry Coquand) and compare it to Russell’s paradox (also in a version proposed by Thierry). I am also going to discuss what needs to be done to unsimplify both paradoxes.

This talk is part of the Theoretical computer science seminar series.

This talk is included in these lists:

• 217, School of Computer Science
• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Theoretical computer science seminar
• computer sience

Note that ex-directory lists are not shown.