| Deutsch English Français Italiano |
|
<1003aks$2ojhd$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: How the requirements that Professor Sipser agreed to are exactly
met --- WDH
Date: Wed, 14 May 2025 18:57:16 -0500
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <1003aks$2ojhd$2@dont-email.me>
References: <vvte01$14pca$29@dont-email.me>
<fceb852a146ff7238c5be7a0adf420474a8fb5df@i2pn2.org>
<vvuc7a$1deu5$5@dont-email.me>
<c5a47349d8625838f1ee2782c216e0ebf9223bc6@i2pn2.org>
<vvuj6l$1j6s0$3@dont-email.me>
<b78af2e0b52f178683b672b45ba1bc2012023aaf@i2pn2.org>
<1000dlc$21dtc$5@dont-email.me> <1000qdb$24gr3$4@dont-email.me>
<1000rir$24jh0$3@dont-email.me> <1000rqc$24gr3$7@dont-email.me>
<1000son$24sr2$3@dont-email.me>
<7947826fb84c9c8db49c392b305d395c3669907f@i2pn2.org>
<1002dre$2i4bk$14@dont-email.me> <1002vp2$2mbr6$3@dont-email.me>
<10030c3$2mivc$3@dont-email.me> <87h61mang3.fsf@nosuchdomain.example.com>
<100348f$2mtsb$7@dont-email.me> <878qmyahdf.fsf@nosuchdomain.example.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 15 May 2025 01:57:17 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="66a8f7019eb14522c3a913b396c0eecb";
logging-data="2903597"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/SZ64n0nDr0D8SfOnrRUHl"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Pdjkwa9Kun2+bbRe9l9/8KUD0ug=
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250514-4, 5/14/2025), Outbound message
Content-Language: en-US
In-Reply-To: <878qmyahdf.fsf@nosuchdomain.example.com>
On 5/14/2025 6:43 PM, Keith Thompson wrote:
> olcott <polcott333@gmail.com> writes:
> [...]
>> HHH does correctly simulate DDD until
>> HHH correctly determines that its simulated DDD
>> would never stop running unless aborted.
> [...]
>
> And my understanding is that it is mathematically impossible for HHH
> to do what you claim it does,
That is ridiculous as you already acknowledged.
void DDD()
{
HHH(DDD);
return;
}
It is dead obvious to any expert in C to correctly
determine that DDD cannot possibly stop running
when HHH is a pure simulator.
HHH merely needs to see this exact same DEAD OBVIOUS thing.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer