| Deutsch English Français Italiano |
|
<ttScnahk68Gsa6X1nZ2dnZfqn_GdnZ2d@giganews.com> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!border-4.nntp.ord.giganews.com!nntp.giganews.com!Xl.tags.giganews.com!local-3.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 30 May 2025 00:05:05 +0000
Subject: Re: Disagreeing with tautologies is always incorrect
Newsgroups: comp.theory
References: <1019v06$3u8nj$1@dont-email.me>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Thu, 29 May 2025 17:05:08 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <1019v06$3u8nj$1@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <ttScnahk68Gsa6X1nZ2dnZfqn_GdnZ2d@giganews.com>
Lines: 50
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-JfD+i3e9+mxpQ+4vF7JX0yF4DDYpIuhxTvAfm2NEI5I9GAC40lsbww5FnHmr+M8esZCASgxWH2Pu0Fb!B/1rm29HLow0b2A26K9+W1Xh3eom5rlwVqp289XeIugtAIcT3Ml18V9UT1a8vOyZNdMDrDdPWss=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
On 05/29/2025 08:37 AM, olcott wrote:
> 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
>
>
No it's not.
(Was, "disagreeing with tautologies is always incorrect".)
It's the _deductive_ analysis that makes for the
"analytical bridges" to escape an "inductive impasse".