Re: Everyone on this forum besides Keith has been a damned liar about this point

Liste des GroupesRevenir à theory 
Sujet : Re: Everyone on this forum besides Keith has been a damned liar about this point
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 11. Jun 2025, 04:33:16
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <77e7c334c298fdd937a6b33b066bb55b0dab88be@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Mozilla Thunderbird
On 6/10/25 4:07 PM, olcott wrote:
On 6/10/2025 2:32 PM, joes wrote:
Am Tue, 10 Jun 2025 12:27:48 -0500 schrieb olcott:
On 6/10/2025 4:00 AM, Fred. Zwarts wrote:
Op 09.jun.2025 om 16:43 schreef olcott:
On 6/9/2025 5:31 AM, Fred. Zwarts wrote:
Op 09.jun.2025 om 06:15 schreef olcott:
On 6/8/2025 10:42 PM, dbush wrote:
>
And because your HHH does not work with the description/
specification of an algorithm, by your own admission, you're not
working on the halting problem.
>
HHH(DDD) takes a finite string of x86 instructions that specify that
HHH simulates itself simulating DDD.
>
DDD does not specify that HHH should simulate itself. It could be
simulated by HHH1, which would (as you point out) not simulate itself.
>
And HHH fails to see the specification of the x86 instructions. It
aborts before it can see how the program ends.
>
It is a verified fact that unless the outer HHH aborts its simulation
of DDD that DDD simulated by HHH the directly executed DDD() and the
directly executed HHH() would never stop running.
>
But the abort is coded in the input.
>
I corrected you on this too many times. Stopping running is not halting.
Only reaching a final halt state is halting.
That I had to tell you this several times seems to prove that you are
dishonest.
>
No, the *input* DDD calls HHH, which contains an abort, but the outer
HHH doesn't simulate it up to that point.
>
 Infinite_Loop()
{
   HERE: goto HERE;
   return;
}
 Likewise Infinite_Loop() is never simulated to
completion BECAUSE THERE IS NO COMPLETION.
 
Sure there is, it is just unbounded.
It is just like the Natural Numbers are a complete set.
You don't understand what "complete" means here, because you mind is just too small, and you don't understand the mathematics of infinite sets.

Date Sujet#  Auteur
9 Jun 25 * Everyone on this forum besides Keith has been a damned liar about this point176olcott
9 Jun 25 +* Re: Everyone on this forum besides Keith has been a damned liar about this point123dbush
9 Jun 25 i`* Re: Everyone on this forum besides Keith has been a damned liar about this point122olcott
9 Jun 25 i +* Re: Everyone on this forum besides Keith has been a damned liar about this point119dbush
9 Jun 25 i i`* Re: Everyone on this forum besides Keith has been a damned liar about this point118olcott
9 Jun 25 i i `* Re: Everyone on this forum besides Keith has been a damned liar about this point117dbush
9 Jun 25 i i  `* Re: Everyone on this forum besides Keith has been a damned liar about this point116olcott
9 Jun 25 i i   +* Re: Everyone on this forum besides Keith has been a damned liar about this point53Fred. Zwarts
9 Jun 25 i i   i`* Re: Everyone on this forum besides Keith has been a damned liar about this point52olcott
10 Jun 25 i i   i +* Re: Everyone on this forum besides Keith has been a damned liar about this point43Richard Damon
10 Jun 25 i i   i i+* Re: Everyone on this forum besides Keith has been a damned liar about this point39olcott
10 Jun 25 i i   i ii+* Re: Everyone on this forum besides Keith has been a damned liar about this point3Richard Damon
10 Jun 25 i i   i iii`* Re: Everyone on this forum besides Keith has been a damned liar about this point2olcott
10 Jun 25 i i   i iii `- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
10 Jun 25 i i   i ii`* Re: Everyone on this forum besides Keith has been a damned liar about this point35Mikko
10 Jun 25 i i   i ii +* Re: Everyone on this forum besides Keith has been a damned liar about this point23olcott
10 Jun 25 i i   i ii i+- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
11 Jun 25 i i   i ii i`* Re: Everyone on this forum besides Keith has been a damned liar about this point21Mikko
11 Jun 25 i i   i ii i `* Re: Everyone on this forum besides Keith has been a damned liar about this point20olcott
11 Jun 25 i i   i ii i  +- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
13 Jun 25 i i   i ii i  `* Re: Everyone on this forum besides Keith has been a damned liar about this point18Mikko
14 Jun 25 i i   i ii i   `* The input to HHH(DDD) specifies a non-halting sequence of configurations +++17olcott
15 Jun 25 i i   i ii i    +* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++10Fred. Zwarts
15 Jun 25 i i   i ii i    i+* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++7olcott
15 Jun 25 i i   i ii i    ii+- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Richard Damon
16 Jun 25 i i   i ii i    ii+- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Fred. Zwarts
16 Jun 25 i i   i ii i    ii`* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++4Mikko
16 Jun 25 i i   i ii i    ii `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++3olcott
17 Jun 25 i i   i ii i    ii  +- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Richard Damon
17 Jun 25 i i   i ii i    ii  `- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Mikko
15 Jun 25 i i   i ii i    i`* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++2olcott
16 Jun 25 i i   i ii i    i `- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Fred. Zwarts
15 Jun 25 i i   i ii i    `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++6Mikko
15 Jun 25 i i   i ii i     `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++5olcott
16 Jun 25 i i   i ii i      +- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Fred. Zwarts
16 Jun 25 i i   i ii i      `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++3Mikko
16 Jun 25 i i   i ii i       `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++2olcott
17 Jun 25 i i   i ii i        `- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Richard Damon
10 Jun 25 i i   i ii `* Re: Everyone on this forum besides Keith has been a damned liar about this point11Mike Terry
10 Jun 25 i i   i ii  `* Mike can't even count to eight --- HHH(DDD)10olcott
10 Jun 25 i i   i ii   +* Re: Mike can't even count to eight --- HHH(DDD)8Mike Terry
10 Jun 25 i i   i ii   i+* Re: Mike can't even count to eight --- HHH(DDD)4olcott
10 Jun 25 i i   i ii   ii`* Re: Mike can't even count to eight --- HHH(DDD)3Richard Damon
10 Jun 25 i i   i ii   ii `* Re: Mike can't even count to eight --- HHH(DDD)2olcott
11 Jun 25 i i   i ii   ii  `- Re: Mike can't even count to eight --- HHH(DDD)1Richard Damon
10 Jun 25 i i   i ii   i`* Re: Mike can't even count to eight --- HHH(DDD)3Mike Terry
10 Jun 25 i i   i ii   i `* Re: Mike can't even count to eight --- HHH(DDD)2olcott
11 Jun 25 i i   i ii   i  `- Re: Mike can't even count to eight --- HHH(DDD)1Fred. Zwarts
10 Jun 25 i i   i ii   `- Re: Mike can't even count to eight --- HHH(DDD)1Richard Damon
10 Jun 25 i i   i i`* Re: Everyone on this forum besides Keith has been a damned liar about this point3Richard Heathfield
10 Jun 25 i i   i i `* Re: Everyone on this forum besides Keith has been a damned liar about this point2olcott
10 Jun 25 i i   i i  `- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
10 Jun 25 i i   i `* Re: Everyone on this forum besides Keith has been a damned liar about this point8Fred. Zwarts
10 Jun 25 i i   i  `* Re: Everyone on this forum besides Keith has been a damned liar about this point7olcott
10 Jun 25 i i   i   +* Re: Everyone on this forum besides Keith has been a damned liar about this point3joes
10 Jun 25 i i   i   i`* Re: Everyone on this forum besides Keith has been a damned liar about this point2olcott
11 Jun 25 i i   i   i `- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
11 Jun 25 i i   i   `* Re: Everyone on this forum besides Keith has been a damned liar about this point3Fred. Zwarts
11 Jun 25 i i   i    `* Re: Everyone on this forum besides Keith has been a damned liar about this point2olcott
11 Jun 25 i i   i     `- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
9 Jun 25 i i   `* Re: Everyone on this forum besides Keith has been a damned liar about this point62dbush
9 Jun 25 i i    `* Re: Everyone on this forum besides Keith has been a damned liar about this point61olcott
9 Jun 25 i i     `* Re: Everyone on this forum besides Keith has been a damned liar about this point60dbush
9 Jun 25 i i      `* Re: Everyone on this forum besides Keith has been a damned liar about this point59olcott
9 Jun 25 i i       +* Re: Everyone on this forum besides Keith has been a damned liar about this point55dbush
9 Jun 25 i i       i`* Re: Everyone on this forum besides Keith has been a damned liar about this point54olcott
9 Jun 25 i i       i `* Re: Everyone on this forum besides Keith has been a damned liar about this point53dbush
9 Jun 25 i i       i  +* Re: Everyone on this forum besides Keith has been a damned liar about this point51olcott
9 Jun 25 i i       i  i`* Re: Everyone on this forum besides Keith has been a damned liar about this point50dbush
9 Jun 25 i i       i  i +* Re: Everyone on this forum besides Keith has been a damned liar about this point48olcott
9 Jun 25 i i       i  i i+* Re: Everyone on this forum besides Keith has been a damned liar about this point44dbush
9 Jun 25 i i       i  i ii`* Re: Everyone on this forum besides Keith has been a damned liar about this point43olcott
9 Jun 25 i i       i  i ii +- Re: Everyone on this forum besides Keith has been a damned liar about this point1dbush
9 Jun 25 i i       i  i ii `* Re: Everyone on this forum besides Keith has been a damned liar about this point41dbush
9 Jun 25 i i       i  i ii  `* Re: Everyone on this forum besides Keith has been a damned liar about this point40olcott
9 Jun 25 i i       i  i ii   `* Re: Everyone on this forum besides Keith has been a damned liar about this point39dbush
9 Jun 25 i i       i  i ii    `* Re: Everyone on this forum besides Keith has been a damned liar about this point38olcott
9 Jun 25 i i       i  i ii     `* Re: Everyone on this forum besides Keith has been a damned liar about this point37dbush
9 Jun 25 i i       i  i ii      `* Re: Everyone on this forum besides Keith has been a damned liar about this point36olcott
9 Jun 25 i i       i  i ii       `* Re: Everyone on this forum besides Keith has been a damned liar about this point35dbush
9 Jun 25 i i       i  i ii        `* Re: Everyone on this forum besides Keith has been a damned liar about this point34olcott
9 Jun 25 i i       i  i ii         `* Re: Everyone on this forum besides Keith has been a damned liar about this point33dbush
9 Jun 25 i i       i  i ii          `* Re: Everyone on this forum besides Keith has been a damned liar about this point32olcott
9 Jun 25 i i       i  i ii           `* Re: Everyone on this forum besides Keith has been a damned liar about this point31dbush
9 Jun 25 i i       i  i ii            `* Re: Everyone on this forum besides Keith has been a damned liar about this point30olcott
9 Jun 25 i i       i  i ii             `* Re: Everyone on this forum besides Keith has been a damned liar about this point29dbush
9 Jun 25 i i       i  i ii              `* Re: Everyone on this forum besides Keith has been a damned liar about this point28olcott
9 Jun 25 i i       i  i ii               +* Re: Everyone on this forum besides Keith has been a damned liar about this point14dbush
9 Jun 25 i i       i  i ii               i`* Re: Everyone on this forum besides Keith has been a damned liar about this point13olcott
9 Jun 25 i i       i  i ii               i `* Re: Everyone on this forum besides Keith has been a damned liar about this point12dbush
9 Jun 25 i i       i  i ii               i  `* Re: Everyone on this forum besides Keith has been a damned liar about this point11olcott
9 Jun 25 i i       i  i ii               i   `* Re: Everyone on this forum besides Keith has been a damned liar about this point10dbush
9 Jun 25 i i       i  i ii               i    `* Re: Everyone on this forum besides Keith has been a damned liar about this point9olcott
9 Jun 25 i i       i  i ii               i     `* Re: Everyone on this forum besides Keith has been a damned liar about this point8dbush
9 Jun 25 i i       i  i ii               i      `* Re: Everyone on this forum besides Keith has been a damned liar about this point7olcott
9 Jun 25 i i       i  i ii               i       +* Re: Everyone on this forum besides Keith has been a damned liar about this point4dbush
9 Jun 25 i i       i  i ii               i       i+- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
10 Jun 25 i i       i  i ii               i       i+- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
10 Jun 25 i i       i  i ii               i       i`- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
9 Jun 25 i i       i  i ii               i       `* Re: Everyone on this forum besides Keith has been a damned liar about this point2dbush
9 Jun 25 i i       i  i ii               i        `- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
9 Jun 25 i i       i  i ii               `* Re: Everyone on this forum besides Keith has been a damned liar about this point13dbush
10 Jun 25 i i       i  i i`* Re: Everyone on this forum besides Keith has been a damned liar about this point3Mikko
9 Jun 25 i i       i  i `- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
9 Jun 25 i i       i  `- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
10 Jun 25 i i       `* Re: Everyone on this forum besides Keith has been a damned liar about this point3Mikko
9 Jun 25 i `* Re: Everyone on this forum besides Keith has been a damned liar about this point2Richard Damon
9 Jun 25 +* Re: Everyone on this forum besides Keith has been a damned liar about this point14Keith Thompson
9 Jun 25 +* Re: Everyone on this forum besides Keith has been a damned liar about this point7Mikko
9 Jun 25 `* Re: Everyone on this forum besides Keith has been a damned liar about this point31Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal