You are not logged in.
Pages: 1
My question is still open. Can someone please verify or deny these:
universal Turing machine is needed in proof of Cook's theorem - incorrect?
Church-Turing thesis can be proven using universal Turing machine - correct?
Thanks. Universal Turing machine is needed in proof of Cook's theorem - correct? - No. Because deterministic Turing machine is needed, not universal. I was wrong.
Church-Turing thesis can be proven using universal Turing machine - correct? I still think that this is true.
Hi
I think that universal Turing machine is needed in proof of Cook's theorem - correct?
Church-Turing thesis can be proven using universal Turing machine - correct?
I believe that both are correct.
Pages: 1