Deutsch   English   Français   Italiano  
<0bb0298bf009b385b99e4b6fb5b60910bb650e33@i2pn2.org>

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

Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DD correctly emulated by HHH --- Totally ignoring invalid
 rebuttals ---PSR---
Date: Mon, 10 Mar 2025 18:45:21 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <0bb0298bf009b385b99e4b6fb5b60910bb650e33@i2pn2.org>
References: <vq5qqc$1j128$2@dont-email.me>
 <920b573567d204a5c792425b09097d79ee098fa5@i2pn2.org>
 <vq9lvn$2ei4j$3@dont-email.me>
 <4453bc0c1141c540852ea2223a7fedefc93f564c@i2pn2.org>
 <vqadoh$2ivg7$2@dont-email.me> <vqae74$2ivcn$1@dont-email.me>
 <vqag6q$2jief$1@dont-email.me> <vqagb7$2ivcn$3@dont-email.me>
 <vqakhi$2jief$3@dont-email.me> <vqalvr$2ivcn$5@dont-email.me>
 <vqaq2s$2lgq7$2@dont-email.me> <vqasm4$2lue4$1@dont-email.me>
 <vqb43k$2mueq$1@dont-email.me> <vqb4ub$2lue4$3@dont-email.me>
 <vqb683$2mueq$2@dont-email.me> <vqb6f4$2lue4$4@dont-email.me>
 <vqb6qr$2mueq$3@dont-email.me>
 <27b6da57f540cd39d2918411d8c94789678e3f45@i2pn2.org>
 <vqcvu3$34c3r$5@dont-email.me>
 <24c66a3611456f6a6969dc132fd8a227b26cbcbd@i2pn2.org>
 <vqdlqp$371bi$6@dont-email.me> <vqeceq$3epcg$1@dont-email.me>
 <vqf2bp$3j68u$4@dont-email.me> <vqh19v$2mh0$1@dont-email.me>
 <vqhj3n$5r7r$3@dont-email.me> <vqjnff$lo7u$1@dont-email.me>
 <vqk4b5$o4oh$2@dont-email.me> <vqm9m3$18vjq$1@dont-email.me>
 <vqmqg3$1c5lp$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 10 Mar 2025 22:45:22 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3793041"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <vqmqg3$1c5lp$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3598
Lines: 54

On 3/10/25 9:46 AM, olcott wrote:
> On 3/10/2025 3:59 AM, Mikko wrote:
>> On 2025-03-09 13:16:20 +0000, olcott said:>>
>>> When we assume that HHH emulates N steps of DD then
>>
>> HHH does not present that assumption, which is therefore irrelevant
>> to the fact that https://github.com/plolcott/x86utm/blob/master/Halt7.c
>> does not prove anything.
>>
> 
> typedef void (*ptr)();
> int HHH(ptr P);
> 
> int DD()
> {
>    int Halt_Status = HHH(DD);
>    if (Halt_Status)
>      HERE: goto HERE;
>    return Halt_Status;
> }
> 
> int main()
> {
>    HHH(DD);
> }
> 
> DD correctly emulated by HHH cannot possibly reach
> its own "retrun" instruction and terminate normally
> because DD calls HHH(DD) in recursive emulation.

But only if HHH actually does the complete emulation.

If HHH aborts and returns, as you otherwhere describe it, then it 
doesn't do a correct emulation, so your statement is null as that isn't 
the behavior of *THE* HHH in the system but a correct emulation of that 
input by an actually correct emulator would.

> 
> If HHH can see the same pattern that every competent
> programmer sees then HHH does not need to emulate DD
> more than twice to know that HHH cannot possibly reach
> its own final state and terminate normally.
> 

But only by lying to itself about what it is itself.

> Perhaps you are not a competent programmer.
> 

The problem is you are not an honest logitian, as you think you are make 
argiuments with lying premises.

You have admitted to the use of FRAUD in your logic, and now you show 
you include unsound logic based on lies.