alt Hacker NewsThis sounds close to Russell's "class of all classes" paradox. Is it?
Replies
hackandthink • today at 2:33 AM
It is Burali-Forti 1897, predating Russel's paradox.
This sounds close to Russell's "class of all classes" paradox. Is it?
It is Burali-Forti 1897, predating Russel's paradox.
Yes the type theoretic analog to Russel's (set theoretic) paradox is Girard's (as mentioned in the abstract) paradox.