You’re right, I didn’t think that one through, thanks!
I still think the interesting thing is the potential for writing down a mathematical statement humanity can’t decide, not an English one that we can’t decide even though it is meaningful, but I’ll shut up about the question for now.
You’re right, I didn’t think that one through, thanks!
I still think the interesting thing is the potential for writing down a mathematical statement humanity can’t decide, not an English one that we can’t decide even though it is meaningful, but I’ll shut up about the question for now.