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 <vegh94$lk27$13@dont-email.me>
Deutsch   English   Français   Italiano  
<vegh94$lk27$13@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!news.mixmin.net!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: I am claiming that these exact words are necessarily true
Date: Sun, 13 Oct 2024 08:17:24 -0500
Organization: A noiseless patient Spider
Lines: 55
Message-ID: <vegh94$lk27$13@dont-email.me>
References: <vegf4c$lk27$8@dont-email.me>
 <b736ad53f8783e70e229ff0650d5bc439eaa57ef@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 13 Oct 2024 15:17:24 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4dff4ea9256eef2f131620d81ba94869";
	logging-data="708679"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Q8Bw4g2+zuatkz41u4RvC"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Y2q8DOTZy/pQwmLuBMpDglo5CJA=
In-Reply-To: <b736ad53f8783e70e229ff0650d5bc439eaa57ef@i2pn2.org>
Content-Language: en-US
Bytes: 2840

On 10/13/2024 8:12 AM, Richard Damon wrote:
> On 10/13/24 8:40 AM, olcott wrote:
>> I am not and never have been claiming anything
>> about incorrect paraphrases of these exact words:
>>
>> *HHH rejects DDD as non terminating*
> 
> Which judst makes HHH wrong, since DDD will terminate, since that term 
> applies to the PROGRAM that the input represents., and if HHH rejects 
> it, it returns to its caller, and thus DDD will halt.
> 
>>
>> void DDD()
>> {
>>    HHH(DDD);
>>    return;
>> }
>>
>> When HHH is an x86 emulation based termination analyzer
>> then each DDD emulated by any HHH that it calls never returns.
> 
> The emulation of DDD by HHH never reaches a final state, but it HHH 
> aborts its emulation and return 0, then the PROGRAM DDD will return.
> 

Rebutting an incorrect paraphrase of my exact words
<is> the strawman deception.

>>
>> Each of the directly executed HHH emulator/analyzers that returns
>> 0 correctly reports the above non-terminating behavior of its input.
> 
> No, since termination is a property of the PROGRAM, and not a partial 
> emuation of it, you answer is proven wrong, and you are guilty of using 
> unsound logic.
> 

Rebutting an incorrect paraphrase of my exact words
<is> the strawman deception.

>>
>> *Fully operational code is here*
>> https://github.com/plolcott/x86utm/blob/master/Halt7.c https:// 
>> github.com/plolcott/x86utm
>>
> 
> Which shows that all those DDD do terminate.
> 
> It also proves you have been lying that your decider is a pure function 
> and thus nothing you say has any validity.


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