Hm, what does this mean for your argument that set theory is uncomputable by a Turing machine, for example?
I had two separate arguments and it only breaks the second argument, not the first one.
Hm, what does this mean for your argument that set theory is uncomputable by a Turing machine, for example?
I had two separate arguments and it only breaks the second argument, not the first one.