Article <vcb8tp$3cvpf$1@dont-email.me>

Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <vcb8tp$3cvpf$1@dont-email.me>

Deutsch English Français Italiano

<vcb8tp$3cvpf$1@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: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Rebutting the Sipser Halting Problem Proof
Date: Tue, 17 Sep 2024 09:51:37 +0300
Organization: -
Lines: 39
Message-ID: <vcb8tp$3cvpf$1@dont-email.me>
References: <vc6qlc$275or$1@dont-email.me> <vc8ot9$2o1f3$1@dont-email.me> <vc96q0$2qm11$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 17 Sep 2024 08:51:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5f858832c21fe79025b1442dcd26ba83";
	logging-data="3571503"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19lP8nsVMIrSdnfC/X+ZJtt"
User-Agent: Unison/2.2
Cancel-Lock: sha1:5KVIjW1MlMUXns/ikEWEwL8HLew=
Bytes: 2101

On 2024-09-16 12:03:12 +0000, olcott said:

> 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.

Which 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.

That is not said in the Appendix.

-- 
Mikko