Sujet : Re: No TM exists that can simulate all TM.
De : wyniijj5 (at) *nospam* gmail.com (wij)
Groupes : comp.theoryDate : 25. Oct 2024, 18:22:29
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <b7863ee4a50dc6f4d6042364498713702d6e4037.camel@gmail.com>
References : 1 2
User-Agent : Evolution 3.50.2 (3.50.2-1.fc39)
On Fri, 2024-10-25 at 17:15 +0000, joes wrote:
Am Sat, 26 Oct 2024 01:12:00 +0800 schrieb wij:
Proof: Simulating self is not possible (from all real programs, every
one can verify).
It is possible for a UTM to simulate itself simulating another program.
This also implies UTM does not exist.
Since they do, your premise or deduction must be wrong.
Did Turing made a mistake?
Probably not.
As said in the 'proof'. It seems you cannot verify (what you say) but reciting
things you don't really understand?
No TM exists that can simulate all TM.
Re: No TM exists that can simulate all TM.