Re: Infinite set of HHH/DDD pairs --- truisms

Liste des GroupesRevenir à theory 
Sujet : Re: Infinite set of HHH/DDD pairs --- truisms
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 23. Jul 2024, 20:17:10
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v7ovjn$1arqj$1@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 28 29 30 31
User-Agent : Mozilla Thunderbird
On 7/23/2024 1:55 PM, Fred. Zwarts wrote:
Op 23.jul.2024 om 20:18 schreef olcott:
On 7/23/2024 1:13 PM, Fred. Zwarts wrote:
Op 23.jul.2024 om 19:54 schreef olcott:
On 7/23/2024 11:46 AM, Fred. Zwarts wrote:
Op 23.jul.2024 om 17:03 schreef olcott:
On 7/23/2024 3:17 AM, Fred. Zwarts wrote:
Op 22.jul.2024 om 21:57 schreef olcott:
On 7/22/2024 2:30 PM, Fred. Zwarts wrote:
Op 22.jul.2024 om 20:31 schreef olcott:
On 7/22/2024 12:45 PM, Fred. Zwarts wrote:
Op 22.jul.2024 om 17:08 schreef olcott:
On 7/22/2024 9:32 AM, joes wrote:
Am Mon, 22 Jul 2024 09:13:33 -0500 schrieb olcott:
On 7/22/2024 3:01 AM, Mikko wrote:
On 2024-07-21 13:50:17 +0000, olcott said:
On 7/21/2024 4:38 AM, Mikko wrote:
On 2024-07-20 13:28:36 +0000, olcott said:
On 7/20/2024 3:54 AM, Mikko wrote:
On 2024-07-19 14:39:25 +0000, olcott said:
On 7/19/2024 3:51 AM, Mikko wrote:
>
Anyway you did not say that some HHHᵢ can simulate the
corresponding DDDᵢ to its termination. And each DDDᵢ does
terminate, whether simulated or not.
>
>
Then DDD correctly simulated by any pure function HHH cannot possibly
reach its own return instruction and halt, therefore every HHH is
correct to reject its DDD as non-halting.
That does not follow. It is never correct to reject a halting
comoputation as non-halting.
In each of the above instances DDD never reaches its return instruction
and halts. This proves that HHH is correct to report that its DDD never
halts.
It can't return if the simulation of it is aborted.
>
Within the hypothetical scenario where DDD is correctly emulated by its
HHH and this HHH never aborts its simulation neither DDD nor HHH ever
stops running.
In actuality HHH DOES abort simulating.
>
This conclusively proves that HHH is required to abort the simulation of
its corresponding DDD as required by the design spec that every partial
halt decider must halt and is otherwise not any kind of decider at all.
Like Fred recognised a while ago, you are arguing as if HHH didn't abort.
>
That HHH is required to abort its simulation of DDD conclusively proves
that this DDD never halts.
You've got it the wrong way around.
>
>
I am talking about hypothetical possible ways that HHH could be encoded.
(a) HHH(DDD) is encoded to abort its simulation.
(b) HHH(DDD) is encoded to never abort its simulation.
>
Therefore (a) is correct and (b) is incorrect according to the
design requirements for HHH that it must halt.
>
Both are incorrect. An HHH, when encoded to abort does not need to be aborted when simulated, because it already halts on its own.
>
You must have attention deficit disorder.
(a) At least one HHH aborts.
(b) No HHH ever aborts.
>
Every X has property Y or not, there is no inbetween.
>
Do you have difficulty reading and writing English?
>
If every X has property Y or not, then it is clear that every HHH abort or not.
>
Sure and when we start a race with a single file line of
people that are 15 feet apart and everyone goes the same
speed then everyone will reach the finish line, eventually.
>
When the first HHH that reaches the finish line stops
simulating its input then no other HHH can possibly reach
the finish line because nothing is simulating them.
>
Exactly! That is the error in HHH. It stops simulating before the other HHH could reach the finish line.
>
So you don't even know how foot races work.
>
The winner of the race is not supposed to wait
so that everyone crosses the finish line at once.
>
But do you know how foot races work? When the winner reaches the finish, the other players do not disappear. They do not halt either. They continue until they also reach the finish line.
>
>
Also with HHH(DDD) there are infinite instances
in the race. Waiting for the last one to finish
waits forever. The first one to cross the finish
line ends the race. Every other instance is
immediately incapacitated
You don't have to wait for the last one of an infinite number. It is sufficient to wait for the first simulated HHH, because that one aborts and halts
>
Since HHH is the exact same machine code then when the first one waits
for the second one the second one waits for the third on and on forever.
>
>
Indeed! Exactly! You are almost at the finish.
>
*THIS SEEMS PERMANENTLY TOO DIFFICULT FOR YOU TO UNDERSTAND*
 Irrelevant nonsense ignores, because olcott seems to have difficulties with reading and writing English.
 
>
Unless the first one aborts none of them ever aborts and HHH
itself never stops running. Therefore is is correct and necessary
for the first HHH to abort.
 But then it fails at another point. When it aborts, it aborts too soon,
*This is just over your head no sense continuing the dialogue*
Unless the first one aborts NONE OF THEM EVER ABORT
Unless the first one aborts NONE OF THEM EVER ABORT
Unless the first one aborts NONE OF THEM EVER ABORT
Unless the first one aborts NONE OF THEM EVER ABORT
Unless the first one aborts NONE OF THEM EVER ABORT
Unless the first one aborts NONE OF THEM EVER ABORT
Unless the first one aborts NONE OF THEM EVER ABORT
Unless the first one aborts NONE OF THEM EVER ABORT
Unless the first one aborts NONE OF THEM EVER ABORT
Unless the first one aborts NONE OF THEM EVER ABORT
Unless the first one aborts NONE OF THEM EVER ABORT
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
3 Jul 24 * Liar detector: Fred, Richard, Joes and Alan253olcott
3 Jul 24 +* Re: Liar detector: Fred, Richard, Joes and Alan232Fred. Zwarts
3 Jul 24 i`* Re: Liar detector: Fred, Richard, Joes and Alan231olcott
3 Jul 24 i +* Re: Liar detector: Fred, Richard, Joes and Alan209Fred. Zwarts
3 Jul 24 i i`* Re: Liar detector: Fred, Richard, Joes and Alan208olcott
3 Jul 24 i i `* Re: Liar detector: Fred, Richard, Joes and Alan207Fred. Zwarts
3 Jul 24 i i  `* Re: Liar detector: Fred, Richard, Joes and Alan206olcott
3 Jul 24 i i   `* Re: Liar detector: Fred, Richard, Joes and Alan205Fred. Zwarts
3 Jul 24 i i    `* Re: Liar detector: Fred, Richard, Joes and Alan204olcott
4 Jul 24 i i     `* Re: Liar detector: Fred, Richard, Joes and Alan203Fred. Zwarts
4 Jul 24 i i      `* Re: Liar detector: Fred, Richard, Joes and Alan202olcott
4 Jul 24 i i       +- Re: Liar detector: Peter Olcott (self-admitted)1Richard Damon
4 Jul 24 i i       `* Re: Liar detector: Fred, Richard, Joes and Alan200Fred. Zwarts
4 Jul 24 i i        `* Re: Liar detector: Fred, Richard, Joes and Alan199olcott
4 Jul 24 i i         `* Re: Liar detector: Fred, Richard, Joes and Alan198Fred. Zwarts
4 Jul 24 i i          `* Re: Liar detector: Fred, Richard, Joes and Alan197olcott
4 Jul 24 i i           `* Re: Liar detector: Fred, Richard, Joes and Alan196Fred. Zwarts
4 Jul 24 i i            `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement195olcott
5 Jul 24 i i             +- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
5 Jul 24 i i             +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement3Mikko
5 Jul 24 i i             i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement2olcott
5 Jul 24 i i             i `- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
5 Jul 24 i i             +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement188Fred. Zwarts
5 Jul 24 i i             i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement187olcott
5 Jul 24 i i             i +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement185Fred. Zwarts
5 Jul 24 i i             i i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement184olcott
5 Jul 24 i i             i i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement183Fred. Zwarts
5 Jul 24 i i             i i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement182olcott
5 Jul 24 i i             i i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement181Fred. Zwarts
5 Jul 24 i i             i i    `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement180olcott
5 Jul 24 i i             i i     +- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
6 Jul 24 i i             i i     `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement178Fred. Zwarts
6 Jul 24 i i             i i      `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement177olcott
6 Jul 24 i i             i i       +- Re: Liar detector: Peter Olcott who doesn't under stand Ben's agreement1Richard Damon
6 Jul 24 i i             i i       `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement175Fred. Zwarts
6 Jul 24 i i             i i        +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement3olcott
6 Jul 24 i i             i i        i+- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
6 Jul 24 i i             i i        i`- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Fred. Zwarts
6 Jul 24 i i             i i        `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement171olcott
6 Jul 24 i i             i i         +- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
6 Jul 24 i i             i i         +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement3joes
6 Jul 24 i i             i i         i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement2olcott
6 Jul 24 i i             i i         i `- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
6 Jul 24 i i             i i         `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement166Fred. Zwarts
6 Jul 24 i i             i i          `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement165olcott
6 Jul 24 i i             i i           +- Re: Liar detector: Peter Olcott1Richard Damon
6 Jul 24 i i             i i           `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement163Fred. Zwarts
6 Jul 24 i i             i i            `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement162olcott
6 Jul 24 i i             i i             +- Re: Liar detector: Peter Olcott1Richard Damon
6 Jul 24 i i             i i             +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement42Richard Damon
6 Jul 24 i i             i i             i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar41olcott
6 Jul 24 i i             i i             i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar40Richard Damon
6 Jul 24 i i             i i             i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?39olcott
6 Jul 24 i i             i i             i   +* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?37Richard Damon
6 Jul 24 i i             i i             i   i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?36olcott
6 Jul 24 i i             i i             i   i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?35Richard Damon
6 Jul 24 i i             i i             i   i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?34olcott
7 Jul 24 i i             i i             i   i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?33Richard Damon
7 Jul 24 i i             i i             i   i    `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?32olcott
7 Jul 24 i i             i i             i   i     `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?31Richard Damon
7 Jul 24 i i             i i             i   i      `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?30olcott
7 Jul 24 i i             i i             i   i       `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?29Richard Damon
7 Jul 24 i i             i i             i   i        `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?28olcott
7 Jul 24 i i             i i             i   i         +* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?24Richard Damon
7 Jul 24 i i             i i             i   i         i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?23olcott
7 Jul 24 i i             i i             i   i         i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?22Richard Damon
7 Jul 24 i i             i i             i   i         i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?21olcott
7 Jul 24 i i             i i             i   i         i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?20Richard Damon
7 Jul 24 i i             i i             i   i         i    +* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?8olcott
7 Jul 24 i i             i i             i   i         i    i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?7Richard Damon
7 Jul 24 i i             i i             i   i         i    i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar!6olcott
7 Jul 24 i i             i i             i   i         i    i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar!5Richard Damon
7 Jul 24 i i             i i             i   i         i    i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!4olcott
7 Jul 24 i i             i i             i   i         i    i    `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!3Richard Damon
7 Jul 24 i i             i i             i   i         i    i     `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!2olcott
7 Jul 24 i i             i i             i   i         i    i      `- Re: Liar detector: Olcott is a Liar !!!1Richard Damon
7 Jul 24 i i             i i             i   i         i    `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!11olcott
7 Jul 24 i i             i i             i   i         i     `* Re: Liar detector: Peter Olcott is a Liar !!!10Richard Damon
7 Jul 24 i i             i i             i   i         i      `* Richard is a Liar9olcott
7 Jul 24 i i             i i             i   i         i       `* Re: Richard is a Liar8Richard Damon
7 Jul 24 i i             i i             i   i         i        `* Re: Richard is a Liar7olcott
7 Jul 24 i i             i i             i   i         i         +* Re: Olcott is a Liar5Richard Damon
7 Jul 24 i i             i i             i   i         i         i`* Is Richard a Liar?4olcott
7 Jul 24 i i             i i             i   i         i         i +* Re: Is Richard a Liar?2joes
7 Jul 24 i i             i i             i   i         i         i i`- Re: Is Richard a Liar?1olcott
7 Jul 24 i i             i i             i   i         i         i `- Re: Olcott IS a Liar!1Richard Damon
8 Jul 24 i i             i i             i   i         i         `- Re: Richard is a Liar1Mikko
7 Jul 24 i i             i i             i   i         `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?3joes
7 Jul 24 i i             i i             i   i          `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?2olcott
7 Jul 24 i i             i i             i   i           `- Re: Liar detector: Olcott is a LIAR.1Richard Damon
8 Jul 24 i i             i i             i   `- Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?1Mikko
7 Jul 24 i i             i i             `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement118Fred. Zwarts
7 Jul 24 i i             i i              `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement117olcott
7 Jul 24 i i             i i               +- Re: Liar detector: Peter Olcott1Richard Damon
8 Jul 24 i i             i i               `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement115Fred. Zwarts
8 Jul 24 i i             i i                `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement114olcott
8 Jul 24 i i             i i                 +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement5joes
8 Jul 24 i i             i i                 i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement4olcott
8 Jul 24 i i             i i                 i +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement2joes
8 Jul 24 i i             i i                 i i`- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1olcott
9 Jul 24 i i             i i                 i `- Re: Liar detector: Peter Olcott lies1Richard Damon
8 Jul 24 i i             i i                 +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement107Fred. Zwarts
9 Jul 24 i i             i i                 `- Re: Liar detector: Peter Olcott found lying.1Richard Damon
5 Jul 24 i i             i `- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
5 Jul 24 i i             `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement2joes
5 Jul 24 i `* Re: Liar detector: Fred, Richard, Joes and Alan21joes
4 Jul 24 +* Re: Liar detector: Peter OLCOTT YES!19Richard Damon
4 Jul 24 `- Re: Liar detector: Fred, Richard, Joes and Alan1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal