3 ms·

I have no authority to write on this topic, but I think it's most definitely possible. After all, untyped Lambda Calculus is Turing Complete, so it clearly can

by arjvik 5y ago

I have no authority to write on this topic, but I think it's most definitely possible. After all, untyped Lambda Calculus is Turing Complete, so it clearly can represent sets somehow.

carnitine 5y ago
Pull this thread far enough and it turns out the Y-combinator is a lambda encoding of Russell’s paradox.