Re: No TM exists that can simulate all TM.

Liste des GroupesRevenir à theory 
Sujet : Re: No TM exists that can simulate all TM.
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 26. Oct 2024, 08:56:55
Autres entêtes
Organisation : -
Message-ID : <vfi7c7$3ksd0$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2024-10-25 17:12:00 +0000, wij said:

Proof: Simulating self is not possible (from all real programs, every one can verify).
The starting point of that proof is false. An universal Turing machine
that can simulate any Turing machine, including itself, can be and has
been constructed.

This also implies UTM does not exist.
Existence of an UTM prooves otherwise.

Did Turing made a mistake?
Somebody did.
--
Mikko

Date Sujet#  Auteur
25 Oct 24 * No TM exists that can simulate all TM.11wij
25 Oct 24 +* Re: No TM exists that can simulate all TM.2joes
25 Oct 24 i`- Re: No TM exists that can simulate all TM.1wij
26 Oct 24 +* Re: No TM exists that can simulate all TM.7Richard Damon
26 Oct 24 i`* Re: No TM exists that can simulate all TM.6wij
26 Oct 24 i +* Re: No TM exists that can simulate all TM.4Richard Damon
27 Oct 24 i i`* Re: No TM exists that can simulate all TM.3wij
27 Oct 24 i i +- Re: No TM exists that can simulate all TM.1joes
27 Oct 24 i i `- Re: No TM exists that can simulate all TM.1Richard Damon
26 Oct 24 i `- Re: No TM exists that can simulate all TM.1joes
26 Oct 24 `- Re: No TM exists that can simulate all TM.1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal