Deutsch English Français Italiano |
<vc96q0$2qm11$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: Re: Rebutting the Sipser Halting Problem Proof Date: Mon, 16 Sep 2024 07:03:12 -0500 Organization: A noiseless patient Spider Lines: 33 Message-ID: <vc96q0$2qm11$2@dont-email.me> References: <vc6qlc$275or$1@dont-email.me> <vc8ot9$2o1f3$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Mon, 16 Sep 2024 14:03:13 +0200 (CEST) Injection-Info: dont-email.me; posting-host="36d0389ed0f85457a25604798effec17"; logging-data="2971681"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/F3Fl3PpuSLsWuxFX5CMzk" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:/N1SBLPanktMa5HUdp3gAN29lZM= In-Reply-To: <vc8ot9$2o1f3$1@dont-email.me> Content-Language: en-US Bytes: 2158 On 9/16/2024 3:06 AM, Mikko wrote: > On 2024-09-15 14:23:38 +0000, olcott said: > >> Rebutting the Sipser Halting Problem Proof >> D(D) correctly reports its own halt status >> >> https://www.researchgate.net/ >> publication/364302709_Rebutting_the_Sipser_Halting_Problem_Proof > > That article does not prove its claim and therefore does not constiture > a refutation of anything. > > The text agreed by Sipser is shown twice: first in the beginnig of > the article and again in the beginnig of the Appendix. > > There are two execution traces: one on pare 3, another in the Appendix. > The relation between them is not explained. More generally, the roloe > or the purpose of the Appendix is not clear. > You have to actually carefully study the words. There are not two execution traces. One shows the execution trace of D emulated by H: The essence of the halt status decision. The other one shows the trace of the whole program including the trace of D emulated by H. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer