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 <utopik$89n1$1@dont-email.me>
Deutsch   English   Français   Italiano  
<utopik$89n1$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: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory,sci.logic
Subject: Re: Can an abort decider be defined that cannot be fooled by any
 pathological input?
Date: Sun, 24 Mar 2024 09:51:33 +0100
Organization: A noiseless patient Spider
Lines: 39
Message-ID: <utopik$89n1$1@dont-email.me>
References: <utoboa$5f03$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 24 Mar 2024 08:51:32 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="c5a488b50ff28b55ac0fa20e54d4f32b";
	logging-data="272097"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/xLH1qMD3f7bP/cOMVAFKd"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:RcJnOx8GHZ9eOhKygh3kU8s4q2w=
Content-Language: en-GB
In-Reply-To: <utoboa$5f03$1@dont-email.me>
Bytes: 2422

Op 24.mrt.2024 om 05:55 schreef olcott:
> Can an abort decider be defined that cannot be fooled by any 
> pathological input?
> 
> 01 int D(ptr x)  // ptr is pointer to int function
> 02 {
> 03   int Halt_Status = H(x, x);
> 04   if (Halt_Status)
> 05     HERE: goto HERE;
> 06   return Halt_Status;
> 07 }
> 08
> 09 void main()
> 10 {
> 11   H(D,D);
> 12 }
> 
> Of all of the elements of the set of H(D,D) where H simulates its
> input there are matched pairs of otherwise identical elements that
> only differ by whether they abort their simulation or not.
> 
> The half of these that don't abort are incorrect because all deciders
> must halt. This makes the other half correct about the abort/no abort
> decision.

No. The other, aborting, half is just wrong, because it aborts when it 
is not needed. So, the half that aborts is wrong and it may be argued 
that it is better to not abort something that halts on its own and that 
therefore not responding is better than responding with a wrong answer. 
So, both halves are wrong, but the half that aborts is more wrong. It 
gives the wrong answer. The other half is also wrong, but it does not 
give a wrong answer, but does not respond.

> 
> I don't think an abort decider can be fooled by a pathological input.
> 
I am very sorry to hear that.