Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.lang.c
Subject: Re: Disagreeing with tautologies is always incorrect
Date: Fri, 30 May 2025 10:39:24 +0300
Organization: -
Lines: 48
Message-ID: <101bnbc$cjr2$1@dont-email.me>
References: <1019v06$3u8nj$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 30 May 2025 09:39:24 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8ba5fab209dfc12ce6341e9dad8117d4";
	logging-data="413538"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+vCtfV/famk2YpF6ajBOX9"
User-Agent: Unison/2.2
Cancel-Lock: sha1:bOTcSKnv1t8cHFIS23flfCMln5s=

On 2025-05-29 15:37:42 +0000, olcott said:

> HHH is a simulating termination analyzer that uses
> an x86 emulator to emulate its input. HHH is capable
> of emulating itself emulating DDD.
> 
> HHH is executed within the x86utm operating system
> that enables any C function to execute another C
> function in debug step mode.
> 
> *Here is the fully operational code*
> https://github.com/plolcott/x86utm/blob/master/Halt7.c
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> _DDD()
> [00002192] 55             push ebp
> [00002193] 8bec           mov ebp,esp
> [00002195] 6892210000     push 00002192
> [0000219a] e833f4ffff     call 000015d2  // call HHH
> [0000219f] 83c404         add esp,+04
> [000021a2] 5d             pop ebp
> [000021a3] c3             ret
> Size in bytes:(0018) [000021a3]
> 
> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>      If simulating halt decider H correctly simulates its
>      input D until H correctly determines that its simulated D
>      would never stop running unless aborted then
> 
> It is a tautology that any input D to termination
> analyzer H that *would never stop running unless aborted*
> DOES SPECIFY NON-TERMINATING BEHAVIOR.
> 
> Simulating Termination Analyzer H is Not Fooled by Pathological Input D
> https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D 
> 

DIsagreeing with a false claim justified by a fallacy from a tautology
is always correct.

-- 
Mikko