interesting approach to saving naïve set theory from Russell's paradoxthe key idea is to define normalization rules on *proofs*, and then only accept proofs which are normalizable!with this, we can…

Posters: AdeleDeweyLopez. AdeleDeweyLopez

2 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/AdeleDeweyLopez/status/1454572416261259266