No TM exists that can simulate all TM.

Liste des GroupesRevenir à theory 
Sujet : No TM exists that can simulate all TM.
De : wyniijj5 (at) *nospam* gmail.com (wij)
Groupes : comp.theory
Date : 25. Oct 2024, 18:12:00
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <8378f81fb465a4d56d7c65b466790571c71a5c31.camel@gmail.com>
User-Agent : Evolution 3.50.2 (3.50.2-1.fc39)
Proof: Simulating self is not possible (from all real programs, every one can verify).

This also implies UTM does not exist.

Did Turing made a mistake?
https://en.wikipedia.org/wiki/Universal_Turing_machine



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