discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
All self-referential theorems (Gödel, Turing, Russell, Cantor, Tarski, Curry, Rice) are manifestations of one single lemma.
https://arxiv.org/pdf/math/0305282.pdf
27 comments
11/5/2019
math