Re: DDD specifies recursive emulation to HHH and halting to HHH1

Liste des GroupesRevenir à theory 
Sujet : Re: DDD specifies recursive emulation to HHH and halting to HHH1
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 28. Mar 2025, 20:05:43
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vs6ru7$39556$8@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
User-Agent : Mozilla Thunderbird
On 3/28/2025 1:07 PM, joes wrote:
Am Fri, 28 Mar 2025 12:57:56 -0500 schrieb olcott:
On 3/27/2025 9:33 PM, dbush wrote:
On 3/27/2025 10:10 PM, olcott wrote:
On 3/27/2025 8:24 PM, dbush wrote:
On 3/27/2025 9:21 PM, olcott wrote:
On 3/27/2025 8:09 PM, dbush wrote:
On 3/27/2025 9:07 PM, olcott wrote:
On 3/27/2025 7:38 PM, dbush wrote:
On 3/27/2025 8:34 PM, olcott wrote:
On 3/27/2025 7:12 PM, dbush wrote:
On 3/27/2025 8:11 PM, olcott wrote:
On 3/27/2025 7:02 PM, dbush wrote:
On 3/27/2025 7:36 PM, olcott wrote:
On 3/27/2025 1:27 PM, dbush wrote:
On 3/27/2025 1:50 PM, olcott wrote:
On 3/27/2025 2:18 AM, Fred. Zwarts wrote:
Op 27.mrt.2025 om 04:09 schreef olcott:
On 3/26/2025 8:22 PM, Richard Damon wrote:
 
It is not very interesting to know whether a simulator
reports that it is unable to reach the end of the
simulation of a program that halts in direct execution.
>
That IS NOT what HHH is reporting.
HHH correctly rejects DDD because DDD correctly emulated
by HHH cannot possibly reach its own final halt state.
>
In other words, HHH is not a halt decider because it is not
computing the required mapping:
 
I corrected your error dozens of times and you ignore these
corrections and mindlessly repeat your error like a bot
>
Which is what you've been doing for the last three years.
Projection, as always.  I'll add the above to the list.
 
I did not say that no TM can ever report on behavior that matches
the behavior of a directly executing TM.
>
Good, because that's all that's required for a solution to the
halting problem:
>
There are sometimes when the behavior of TM Description D correctly
simulated by UTM1 does not match the behavior correctly simulated by
UTM2.
>
Irrelevant, because to satisfy the requirements, the behavior of the
described machine when executed directly must be reported.
>
I HAVE PROVED THAT THE REQUIREMENT IS WRONG NITWIT.
A FUNCTION THAT IS REQUIRED TO COMPUTE THE SQUARE OF A BOX OF ROCKS IS
ALSO INCORRECT.

It is wrong to ask for the behaviour of the direct execution? Anyways,
HHH can't do it.
 
Unless and until one TM can take another executing
TM as an input IT IS WRONG TO REQUIRE A TM TO REPORT
ON SOMETHING THAT IT CANNOT SEE.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
20 Mar 25 * DDD correctly emulated by HHH --- Correct Emulation Defined474olcott
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined435Mikko
20 Mar 25 i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined434olcott
21 Mar 25 i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined426Richard Damon
21 Mar 25 i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined425olcott
21 Mar 25 i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined421Mikko
21 Mar 25 i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined420olcott
22 Mar 25 i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined418Richard Damon
22 Mar 25 i i i i`* DDD correctly emulated by HHH --- Correct Emulation Defined 2417olcott
22 Mar 25 i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2412Richard Damon
22 Mar 25 i i i i i+* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 25olcott
22 Mar 25 i i i i ii+* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 23Richard Damon
22 Mar 25 i i i i iii`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 22olcott
22 Mar 25 i i i i iii `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 21Richard Damon
22 Mar 25 i i i i ii`- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 21Mikko
22 Mar 25 i i i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum406olcott
22 Mar 25 i i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum404joes
22 Mar 25 i i i i i i`* III correctly emulated by EEE ---403olcott
22 Mar 25 i i i i i i +* Re: III correctly emulated by EEE ---401Richard Damon
22 Mar 25 i i i i i i i`* Re: III correctly emulated by EEE ---400olcott
23 Mar 25 i i i i i i i +* Re: III correctly emulated by EEE ---398Richard Damon
23 Mar 25 i i i i i i i i`* Re: III correctly emulated by EEE ---397olcott
23 Mar 25 i i i i i i i i `* Re: III correctly emulated by EEE ---396Richard Damon
23 Mar 25 i i i i i i i i  `* Re: III correctly emulated by EEE ---395olcott
23 Mar 25 i i i i i i i i   `* Re: III correctly emulated by EEE ---394Richard Damon
23 Mar 25 i i i i i i i i    `* Re: III correctly emulated by EEE ---393olcott
24 Mar 25 i i i i i i i i     `* Re: III correctly emulated by EEE ---392Richard Damon
24 Mar 25 i i i i i i i i      `* Re: III correctly emulated by EEE ---391olcott
24 Mar 25 i i i i i i i i       `* Re: III correctly emulated by EEE ---390Richard Damon
24 Mar 25 i i i i i i i i        `* Re: III correctly emulated by EEE ---389olcott
25 Mar 25 i i i i i i i i         `* Re: III correctly emulated by EEE ---388Richard Damon
25 Mar 25 i i i i i i i i          +* Re: III correctly emulated by EEE ---374olcott
25 Mar 25 i i i i i i i i          i+* Re: III correctly emulated by EEE ---372joes
25 Mar 25 i i i i i i i i          ii`* Re: III correctly emulated by EEE ---371olcott
25 Mar 25 i i i i i i i i          ii `* Re: III correctly emulated by EEE ---370joes
25 Mar 25 i i i i i i i i          ii  `* Re: III correctly emulated by EEE ---369olcott
26 Mar 25 i i i i i i i i          ii   +* Re: III correctly emulated by EEE ---367Richard Damon
26 Mar 25 i i i i i i i i          ii   i`* Re: III correctly emulated by EEE ---366olcott
26 Mar 25 i i i i i i i i          ii   i `* Re: III correctly emulated by EEE ---365Richard Damon
26 Mar 25 i i i i i i i i          ii   i  `* Re: III correctly emulated by EEE ---364olcott
27 Mar 25 i i i i i i i i          ii   i   `* Re: III correctly emulated by EEE ---363Richard Damon
27 Mar 25 i i i i i i i i          ii   i    `* DDD specifies recursive emulation to HHH and halting to HHH1362olcott
27 Mar 25 i i i i i i i i          ii   i     +* Re: DDD specifies recursive emulation to HHH and halting to HHH139Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i`* Re: DDD specifies recursive emulation to HHH and halting to HHH138olcott
27 Mar 25 i i i i i i i i          ii   i     i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i     i `* Re: DDD specifies recursive emulation to HHH and halting to HHH136Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i  +* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i     i  i`- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH133olcott
27 Mar 25 i i i i i i i i          ii   i     i   +* Re: DDD specifies recursive emulation to HHH and halting to HHH131joes
28 Mar 25 i i i i i i i i          ii   i     i   i+* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i     i   ii`- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i`* Re: DDD specifies recursive emulation to HHH and halting to HHH128olcott
28 Mar 25 i i i i i i i i          ii   i     i   i `* Re: DDD specifies recursive emulation to HHH and halting to HHH127Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH126olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   +* Re: DDD specifies recursive emulation to HHH and halting to HHH122Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i`* Re: DDD specifies recursive emulation to HHH and halting to HHH121olcott
28 Mar14:50 i i i i i i i i          ii   i     i   i   i `* Re: DDD specifies recursive emulation to HHH and halting to HHH120Richard Damon
28 Mar19:13 i i i i i i i i          ii   i     i   i   i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH119olcott
28 Mar22:58 i i i i i i i i          ii   i     i   i   i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH118Richard Damon
28 Mar23:41 i i i i i i i i          ii   i     i   i   i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH117olcott
29 Mar02:05 i i i i i i i i          ii   i     i   i   i     +* Re: DDD specifies recursive emulation to HHH and halting to HHH18Richard Damon
29 Mar03:08 i i i i i i i i          ii   i     i   i   i     i`* Re: DDD specifies recursive emulation to HHH and halting to HHH17olcott
29 Mar03:31 i i i i i i i i          ii   i     i   i   i     i `* Re: DDD specifies recursive emulation to HHH and halting to HHH16Richard Damon
29 Mar04:41 i i i i i i i i          ii   i     i   i   i     i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH15olcott
29 Mar11:55 i i i i i i i i          ii   i     i   i   i     i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH14Richard Damon
29 Mar17:45 i i i i i i i i          ii   i     i   i   i     i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH13olcott
29 Mar19:32 i i i i i i i i          ii   i     i   i   i     i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH12Richard Damon
29 Mar21:32 i i i i i i i i          ii   i     i   i   i     i      `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Fred. Zwarts
29 Mar10:56 i i i i i i i i          ii   i     i   i   i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH18Mikko
29 Mar16:28 i i i i i i i i          ii   i     i   i   i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH17olcott
29 Mar19:34 i i i i i i i i          ii   i     i   i   i       +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
29 Mar21:01 i i i i i i i i          ii   i     i   i   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH14joes
29 Mar22:34 i i i i i i i i          ii   i     i   i   i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH13olcott
29 Mar23:20 i i i i i i i i          ii   i     i   i   i       i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
30 Mar09:29 i i i i i i i i          ii   i     i   i   i       i `- Re: DDD specifies recursive emulation to HHH and halting to HHH11joes
30 Mar10:16 i i i i i i i i          ii   i     i   i   i       `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Mikko
28 Mar 25 i i i i i i i i          ii   i     i   i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH13joes
28 Mar19:21 i i i i i i i i          ii   i     i   i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
29 Mar10:48 i i i i i i i i          ii   i     i   i     `- Re: DDD specifies recursive emulation to HHH and halting to HHH11joes
28 Mar 25 i i i i i i i i          ii   i     i   `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
27 Mar 25 i i i i i i i i          ii   i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH1322Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1321olcott
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH1304dbush
28 Mar 25 i i i i i i i i          ii   i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH1303olcott
28 Mar 25 i i i i i i i i          ii   i       i `* Re: DDD specifies recursive emulation to HHH and halting to HHH1302dbush
28 Mar 25 i i i i i i i i          ii   i       i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH1301olcott
28 Mar 25 i i i i i i i i          ii   i       i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH1300dbush
28 Mar 25 i i i i i i i i          ii   i       i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH1299olcott
28 Mar 25 i i i i i i i i          ii   i       i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH1298dbush
28 Mar 25 i i i i i i i i          ii   i       i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1297olcott
28 Mar 25 i i i i i i i i          ii   i       i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH160dbush
28 Mar 25 i i i i i i i i          ii   i       i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH159olcott
28 Mar 25 i i i i i i i i          ii   i       i       i +* Re: DDD specifies recursive emulation to HHH and halting to HHH142dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH141olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH137dbush
28 Mar18:57 i i i i i i i i          ii   i       i       i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH136olcott
28 Mar19:07 i i i i i i i i          ii   i       i       i i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH111joes
28 Mar20:05 i i i i i i i i          ii   i       i       i i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH110olcott
28 Mar20:17 i i i i i i i i          ii   i       i       i i i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH13dbush
28 Mar20:28 i i i i i i i i          ii   i       i       i i i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar23:03 i i i i i i i i          ii   i       i       i i i i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
29 Mar09:46 i i i i i i i i          ii   i       i       i i i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH15Fred. Zwarts
28 Mar19:09 i i i i i i i i          ii   i       i       i i i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
28 Mar19:12 i i i i i i i i          ii   i       i       i i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH123dbush
28 Mar14:53 i i i i i i i i          ii   i       i       i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH13Richard Damon
28 Mar 25 i i i i i i i i          ii   i       i       i +* Re: DDD specifies recursive emulation to HHH and halting to HHH111Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       i `* Re: DDD specifies recursive emulation to HHH and halting to HHH15Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       `* Re: DDD specifies recursive emulation to HHH and halting to HHH1236Richard Damon
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH17Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH18joes
28 Mar 25 i i i i i i i i          ii   i       `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
26 Mar 25 i i i i i i i i          ii   `- Re: III correctly emulated by EEE ---1joes
25 Mar 25 i i i i i i i i          i`- Re: III correctly emulated by EEE ---1Richard Damon
25 Mar 25 i i i i i i i i          `* Re: III correctly emulated by EEE ---13olcott
23 Mar 25 i i i i i i i `- Re: III correctly emulated by EEE ---1Mikko
23 Mar 25 i i i i i i `- Re: III correctly emulated by EEE ---1Mikko
22 Mar 25 i i i i i `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum1Richard Damon
22 Mar 25 i i i i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 24Mikko
22 Mar 25 i i i `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined1Mikko
21 Mar 25 i i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined3Richard Damon
21 Mar 25 i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined7Mikko
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined3Richard Damon
22 Mar 25 `* DDD correctly emulated by EEE --- Correct Emulation Defined35olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal