![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Understanding Girard’s Paradox
Understanding Girard’s ParadoxAdd 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. |
Other listsComputer Security Seminars Mathematics Colloquium Dinner Table Terrorism - Achieving Food SecurityOther talksTBA Quantum Sensing in Space Horizontal Mean Curvature Flow and stochastic optimal controls TBC TBA The tragic destiny of Mileva Marić Einstein |