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 <utlbi0$38h14$2@dont-email.me>
Deutsch   English   Français   Italiano  
<utlbi0$38h14$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 <polcott2@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Can any pathological input thwart a simulating abort decider?
Date: Fri, 22 Mar 2024 20:33:52 -0500
Organization: A noiseless patient Spider
Lines: 50
Message-ID: <utlbi0$38h14$2@dont-email.me>
References: <utkjd0$335kr$1@dont-email.me> <utkn38$342d0$1@dont-email.me>
 <utkn97$33vs9$1@dont-email.me> <utkpvr$34og8$3@dont-email.me>
 <utkr4e$34uks$3@dont-email.me> <utkskb$35a99$3@dont-email.me>
 <utksu7$35bo2$3@dont-email.me> <utl9k2$387i9$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 23 Mar 2024 01:33:53 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="c59f7dfe69f4a5279bf8dd8742d31ecc";
	logging-data="3425316"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18E9oqerWAuv95PK0sLJGF+"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:fq9aoPEm04tX3npVko/lRV19jNU=
Content-Language: en-US
In-Reply-To: <utl9k2$387i9$1@dont-email.me>
Bytes: 2919

On 3/22/2024 8:00 PM, immibis wrote:
> On 22/03/24 22:24, olcott wrote:
>> On 3/22/2024 4:19 PM, immibis wrote:
>>> On 22/03/24 21:53, olcott wrote:
>>>> On 3/22/2024 3:34 PM, immibis wrote:
>>>>> On 22/03/24 20:47, olcott wrote:
>>>>>> On 3/22/2024 2:44 PM, immibis wrote:
>>>>>>> On 22/03/24 19:41, olcott wrote:
>>>>>>>> 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 }
>>>>>>>
>>>>>>> Incomplete program. When you run it, it prints "Error: Undefined 
>>>>>>> function H" and then halts.
>>>>>>>
>>>>>>
>>>>>> That you ignore what I say seems far too Trollish
>>>>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>>>
>>>>> That's a different program that cannot be translated to a Turing 
>>>>> machine.
>>>>
>>>> If a counter-example exists for abort decider H in C then it
>>>> exists for TM H. Only the C version can show every single detail.
>>>>
>>> Only the Turing machine version can show every single detail of the 
>>> Turing machine...
>>
>> In other words you agree that abort deciders cannot possibly be
>> thwarted.
> 
> In other words I agree that C half-programs are not Turing machines 
> unless they can be proven to be.

If a C program can compute a function that a TM can't then
that refutes Church-Turing.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer