Deutsch English Français Italiano |
<v2f254$3t604$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: immibis <news@immibis.com> Newsgroups: comp.theory,sci.logic Subject: Re: Can D simulated by H terminate normally? --- Message_ID Provided Date: Mon, 20 May 2024 10:37:55 +0200 Organization: A noiseless patient Spider Lines: 28 Message-ID: <v2f254$3t604$1@dont-email.me> References: <v0k4jc$laej$1@dont-email.me> <v0m37e$2gl1e$1@i2pn2.org> <v0m3v5$16k3h$1@dont-email.me> <v0m55t$2gl1f$3@i2pn2.org> <v0m5sn$172p4$1@dont-email.me> <v0m7em$2gl1f$5@i2pn2.org> <v0m7tq$17dpv$1@dont-email.me> <v0m8g9$2gl1e$6@i2pn2.org> <v0m978$17k7o$3@dont-email.me> <v0mko6$2hf3s$2@i2pn2.org> <v0n59h$1h98e$1@dont-email.me> <v0o037$2j1tu$3@i2pn2.org> <v0oc65$1q3aq$3@dont-email.me> <v0p9ts$2ki5r$6@i2pn2.org> <v0q1rk$2a3u1$1@dont-email.me> <v0qkti$2m1nf$1@i2pn2.org> <v0r4a3$2hb7o$6@dont-email.me> <v0rsbr$2m1nf$6@i2pn2.org> <v0segm$2v4oq$1@dont-email.me> <v0t8o9$2p3ri$2@i2pn2.org> <v0tpjf$3881i$5@dont-email.me> <v0ulma$2qov4$1@i2pn2.org> <v2b179$2u8oi$2@dont-email.me> <v2b1g3$1ct7p$17@i2pn2.org> <v2bb0g$308qd$1@dont-email.me> <v2bc8u$1ecj9$4@i2pn2.org> <v2bdaj$30o5r$1@dont-email.me> <v2be6g$1ecja$2@i2pn2.org> <v2btfr$36vvc$3@dont-email.me> <v2cqii$3cek2$2@dont-email.me> <v2cthk$3d018$1@dont-email.me> <v2ek1t$3qnl3$1@dont-email.me> <v2emdh$3r3vn$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Mon, 20 May 2024 10:37:56 +0200 (CEST) Injection-Info: dont-email.me; posting-host="fa921e7d3e9411b357ff99fb26c1b6c6"; logging-data="4102148"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/5AuQeS80/HvjwJ5Hx3P6x" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:A4nD7PiIUtekuRR8dTJplsliO8c= Content-Language: en-US In-Reply-To: <v2emdh$3r3vn$1@dont-email.me> Bytes: 3062 On 20/05/24 07:17, olcott wrote: > On 5/19/2024 11:37 PM, immibis wrote: >> On 19/05/24 15:06, olcott wrote: >>> Show H simulating P and H simulating itself simulating P. >>> >>> The 395 pages of the execution trace of the simulated H are >>> screened out. No one here could ever understand the half page >>> trace so embedding that in 395 more pages would not help. >> >> The fact that you took 395 pages to get to "if(flag) return 0;" does >> not mean that you didn't use "if(flag) return 0;" >> >>> >>> That P is simulated correctly is proven by the fact that the >>> x86 assembly language instructions of P are correctly simulated >>> and they are simulated in the order that the assembly language >>> of P specifies. >> >> This is a lie -> If every assembly instruction that was simulated is >> simulated correctly, the program was simulated correctly. <- This is a >> lie. >> > > *Quoted from page 4 of the paper linked below* Notice that none of what you wrote had any relationship to anything that I wrote.