To your objection: Again, EN knew that you will object. The thing is EN is very abstract: It’s like two halting machines who think that they are universal halting machines try to understand what it means that they are not unversal halting machines.
They say: Yes but if the halting problem is true, than I will say it’s true. I must be a UTM.
Thanks for being thoughtful
To your objection: Again, EN knew that you will object. The thing is EN is very abstract: It’s like two halting machines who think that they are universal halting machines try to understand what it means that they are not unversal halting machines.
They say: Yes but if the halting problem is true, than I will say it’s true. I must be a UTM.