Thanks for the pointer. I was saying that my guess is that Russell’s paradox reduces to something like the Kleene-Rosser paradox, which is resolved when you spell out the order of execution; and that we shouldn’t worry about paradoxes that are resolved when you spell out the order of execution, because a “formal logic” without the details for performing computations spelled out is not sufficiently formal.
It looks like you’re using a computational model to understand Russell’s paradox. Should you be thinking of Kleene-Rosser?
Thanks for the pointer. I was saying that my guess is that Russell’s paradox reduces to something like the Kleene-Rosser paradox, which is resolved when you spell out the order of execution; and that we shouldn’t worry about paradoxes that are resolved when you spell out the order of execution, because a “formal logic” without the details for performing computations spelled out is not sufficiently formal.