Deutsch   English   Français   Italiano  
<vpcu8s$irt$4@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!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DD specifies non-terminating behavior to HHH --- ONE POINT AT A
 TIME !!!
Date: Sat, 22 Feb 2025 10:33:31 -0600
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <vpcu8s$irt$4@dont-email.me>
References: <vo6420$3mpmf$1@dont-email.me> <vofnj2$1qh2r$2@dont-email.me>
 <vohrmi$29f46$1@dont-email.me> <vojs0e$2oikq$4@dont-email.me>
 <vokdha$2rcqi$1@dont-email.me> <vom1fr$34osr$1@dont-email.me>
 <von0iq$3d619$1@dont-email.me> <vondj5$3ffar$1@dont-email.me>
 <vopke4$3v10c$1@dont-email.me> <vosn00$jd5m$1@dont-email.me>
 <f9a0a18d52ac35171173e0c60c9062e03343ad68@i2pn2.org>
 <vote0u$nf28$1@dont-email.me>
 <3b8a5f4be53047b2a6c03f9678d0253e137d3c40@i2pn2.org>
 <votn1l$pb7c$1@dont-email.me>
 <5cd9bc55c484f10efd7818ecadf169a11fcc58e1@i2pn2.org>
 <votq5o$ppgs$1@dont-email.me> <vouu57$12hqt$3@dont-email.me>
 <vp1jkg$1kstl$1@dont-email.me> <vp1qp1$1m05h$2@dont-email.me>
 <442891e4193f52206ec1b8481f5c2688de58b305@i2pn2.org>
 <vp22fi$1n991$3@dont-email.me> <vp24ev$1namo$1@dont-email.me>
 <vp2dlj$1p9f5$3@dont-email.me> <vp4dbk$27ck7$1@dont-email.me>
 <vp5ta6$2gt2s$2@dont-email.me>
 <dc8b1669827ba53dbafff13488e25ba98af0609e@i2pn2.org>
 <vpbhuc$3mfi7$2@dont-email.me> <vpc5u7$3slgq$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 22 Feb 2025 17:33:32 +0100 (CET)
Injection-Info: dont-email.me; posting-host="ef107bbb25b24353ee4244c5f8345170";
	logging-data="19325"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/lpFylS0hu3gL9BPUO42u8"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:u3lkAuXcrtal6JmkAqbn8E5PnlY=
X-Antivirus-Status: Clean
Content-Language: en-US
X-Antivirus: Norton (VPS 250222-4, 2/22/2025), Outbound message
In-Reply-To: <vpc5u7$3slgq$2@dont-email.me>
Bytes: 3273

On 2/22/2025 3:38 AM, Fred. Zwarts wrote:
> Op 22.feb.2025 om 04:57 schreef olcott:
>> On 2/20/2025 3:52 AM, joes wrote:

>>>>
>>>> It fails In the same way that every CAD system will never correctly
>>>> represent a geometric circle that has four equal length sides in the
>>>> same two dimensional plane.
>>> Yes, no program will ever decide the halting status of every program.
>>>
>>
>> In the exact same way that the square root of
>> a basket of rotten eggs is not computable.
>>
> Exactly, both are logically impossible. So, stop the attempt to do what 
> is logically impossible. Stop working on a halting decider. And stop 
> trying to program a correct simulation of HHH by itself. It is logically 
> impossible. It as promising as working on the computation of the square 
> root of a basket of rotten eggs.

HHH does correctly determine the non terminating status of DD.
The relationship between HHH and DD <is> isomorphic to the
relationship between the decider and its input in the standard
HP proofs.

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