Deutsch English Français Italiano |
<8378f81fb465a4d56d7c65b466790571c71a5c31.camel@gmail.com> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: wij <wyniijj5@gmail.com> Newsgroups: comp.theory Subject: No TM exists that can simulate all TM. Date: Sat, 26 Oct 2024 01:12:00 +0800 Organization: A noiseless patient Spider Lines: 9 Message-ID: <8378f81fb465a4d56d7c65b466790571c71a5c31.camel@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Date: Fri, 25 Oct 2024 19:12:01 +0200 (CEST) Injection-Info: dont-email.me; posting-host="b5df77ba79fb920862782a9adfd6a0cf"; logging-data="3424973"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/d5X/4em6sf6EB+P3KedHW" User-Agent: Evolution 3.50.2 (3.50.2-1.fc39) Cancel-Lock: sha1:71sA47ks3S03Hsv3+yvMwJnU3A4= Bytes: 1112 Proof: Simulating self is not possible (from all real programs, every one c= an verify). This also implies UTM does not exist. Did Turing made a mistake? https://en.wikipedia.org/wiki/Universal_Turing_machine