Understanding Girard’s Paradox
Add to your list(s)
Download to your calendar using vCal
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:
Note that ex-directory lists are not shown.
|