Re: Any honest person that knows the x86 language can see... predict correctly

Liste des GroupesRevenir à theory 
Sujet : Re: Any honest person that knows the x86 language can see... predict correctly
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 31. Jul 2024, 17:02:26
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8djm3$1kii7$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : Mozilla Thunderbird
On 7/31/2024 9:16 AM, joes wrote:
Am Wed, 31 Jul 2024 05:52:54 -0500 schrieb olcott:
On 7/31/2024 3:54 AM, joes wrote:
Am Tue, 30 Jul 2024 16:13:55 -0500 schrieb olcott:
On 7/30/2024 4:07 PM, joes wrote:
Am Tue, 30 Jul 2024 15:05:54 -0500 schrieb olcott:
On 7/30/2024 1:48 PM, Fred. Zwarts wrote:
Op 30.jul.2024 om 17:14 schreef olcott:
On 7/30/2024 9:51 AM, Fred. Zwarts wrote:
Op 30.jul.2024 om 16:21 schreef olcott:
On 7/30/2024 1:52 AM, Mikko wrote:
On 2024-07-29 14:07:53 +0000, olcott said:
>
I proved otherwise. When the abort code is commented out then it
keeps repeating again and again, thus conclusively proving that is
must be aborted or HHH never halts.
But the abort is not commented out in the running code!
>
I modified the original code by commenting out the abort and it does
endlessly repeat just like HHH correctly predicted.
>
Yes, and that modification makes HHH not call itself
Not at all. It makes HHH stop aborting DDD.
So that HHH and DDD endlessly repeat.

Commenting out a section changes the program.
This conclusively proving that this section was required.

You changed only the inner
HHH's, not the outermost one, thus breaking the recursive simulation.
 
Not at all. I simply disabled the abort and this resulted
in unlimited repetition non-halting behavior.

but a different program. You'd need to also comment out the outermost
abort; then it wouldn't halt, but if you change HHH to abort, you
change all copies of it at the same time (to keep the recursive call
structure).
If your name is Charlie and your leg gets amputated you are still
yourself, you don't get renamed to Bill.
A program's identity changes with its code. It doesn't matter what I label
it in the source. I can define different functions with the same name.
 
To prove that a section of code is required we remove that
section and the resulting endless repetition proves that
the abort section was required to prevent the endless repetition.
To prove that a hot stove will burn your hand you place
your hand firmly on the bright red electric stove burner
and your hand is burned. Renaming yourself to not-burned
Tommy doesn't help.
--
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
29 Jul 24 * Any honest person that knows the x86 language can see...78olcott
29 Jul 24 +* Re: Any honest person that knows the x86 language can see...5Fred. Zwarts
29 Jul 24 i`* Re: Any honest person that knows the x86 language can see...4olcott
29 Jul 24 i `* Re: Any honest person that knows the x86 language can see...3Fred. Zwarts
29 Jul 24 i  `* Re: Any honest person that knows the x86 language can see...2olcott
30 Jul 24 i   `- Re: Any honest person that knows the x86 language can see...1Fred. Zwarts
30 Jul 24 +- Re: Any honest person that knows the x86 language can see... DDD will HALT if HHH answers1Richard Damon
30 Jul 24 `* Re: Any honest person that knows the x86 language can see...71Mikko
30 Jul 24  `* Re: Any honest person that knows the x86 language can see...70olcott
30 Jul 24   +* Re: Any honest person that knows the x86 language can see...57Fred. Zwarts
30 Jul 24   i`* Re: Any honest person that knows the x86 language can see... predict correctly56olcott
30 Jul 24   i `* Re: Any honest person that knows the x86 language can see... predict correctly55Fred. Zwarts
30 Jul 24   i  `* Re: Any honest person that knows the x86 language can see... predict correctly54olcott
30 Jul 24   i   +* Re: Any honest person that knows the x86 language can see... predict correctly51joes
30 Jul 24   i   i`* Re: Any honest person that knows the x86 language can see... predict correctly50olcott
31 Jul 24   i   i +* Re: Any honest person that knows the x86 language can see... predict correctly25Mad Hamish
31 Jul 24   i   i i`* Re: Any honest person that knows the x86 language can see... predict correctly24olcott
1 Aug 24   i   i i `* Re: Any honest person that knows the x86 language can see... predict correctly23wij
1 Aug 24   i   i i  `* Re: Any honest person that knows the x86 language can see... predict correctly22olcott
1 Aug 24   i   i i   +* Re: Any honest person that knows the x86 language can see... predict correctly7wij
1 Aug 24   i   i i   i+* Re: Any honest person that knows the x86 language can see... predict correctly2olcott
1 Aug 24   i   i i   ii`- Re: Any honest person that knows the x86 language can see... predict correctly1wij
1 Aug 24   i   i i   i`* Re: Any honest person that knows the x86 language can see... predict correctly4Mikko
1 Aug 24   i   i i   i `* Re: Any honest person that knows the x86 language can see... predict correctly3olcott
2 Aug 24   i   i i   i  +- Re: Any honest person that knows the x86 language can see... predict *IN*correctly1Richard Damon
2 Aug 24   i   i i   i  `- Re: Any honest person that knows the x86 language can see... predict correctly1Mikko
1 Aug 24   i   i i   +* Re: Any honest person that knows the x86 language can see... predict correctly11Fred. Zwarts
1 Aug 24   i   i i   i`* Re: Any honest person that knows the x86 language can see... predict correctly10olcott
1 Aug 24   i   i i   i +* Re: Any honest person that knows the x86 language can see... predict correctly7Fred. Zwarts
1 Aug 24   i   i i   i i`* Re: Any honest person that knows the x86 language can see... predict correctly6olcott
1 Aug 24   i   i i   i i +- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
1 Aug 24   i   i i   i i `* Re: Any honest person that knows the x86 language can see... predict correctly4joes
1 Aug 24   i   i i   i i  `* Re: Any honest person that knows the x86 language can see... predict correctly3olcott
1 Aug 24   i   i i   i i   `* Re: Any honest person that knows the x86 language can see... predict correctly2joes
1 Aug 24   i   i i   i i    `- Re: Any honest person that knows the x86 language can see... predict correctly1olcott
2 Aug 24   i   i i   i +- Re: Any honest person that knows the x86 language can see... predict INcorrectly1Richard Damon
2 Aug 24   i   i i   i `- Re: Any honest person that knows the x86 language can see... predict correctly1Mikko
1 Aug 24   i   i i   `* Re: Any honest person that knows the x86 language can see... predict correctly is to say Halting,3Richard Damon
1 Aug 24   i   i i    `* Re: Any honest person that knows the x86 language can see... predict correctly is to say Halting,2olcott
2 Aug 24   i   i i     `- Re: Any honest person that knows the x86 language can see... predict correctly is to say Halting,1Richard Damon
31 Jul 24   i   i +- Re: Any honest person that knows the x86 language can see... predict correctly1Richard Damon
31 Jul 24   i   i +* Re: Any honest person that knows the x86 language can see... predict correctly22joes
31 Jul 24   i   i i`* Re: Any honest person that knows the x86 language can see... predict correctly21olcott
31 Jul 24   i   i i +- Re: Any honest person that knows the x86 language can see... predict INcorrectly1Richard Damon
31 Jul 24   i   i i `* Re: Any honest person that knows the x86 language can see... predict correctly19joes
31 Jul 24   i   i i  `* Re: Any honest person that knows the x86 language can see... predict correctly18olcott
31 Jul 24   i   i i   +* Re: Any honest person that knows the x86 language can see... predict correctly16joes
31 Jul 24   i   i i   i`* Re: Any honest person that knows the x86 language can see... predict correctly15olcott
31 Jul 24   i   i i   i `* Re: Any honest person that knows the x86 language can see... predict correctly14Fred. Zwarts
31 Jul 24   i   i i   i  `* Re: Any honest person that knows the x86 language can see... predict correctly13olcott
1 Aug 24   i   i i   i   +* Re: Any honest person that knows the x86 language can see... predict correctly7joes
1 Aug 24   i   i i   i   i`* Re: Any honest person that knows the x86 language can see... predict correctly6olcott
1 Aug 24   i   i i   i   i `* Re: Any honest person that knows the x86 language can see... predict correctly5Fred. Zwarts
1 Aug 24   i   i i   i   i  `* Re: Any honest person that knows the x86 language can see... predict correctly4olcott
1 Aug 24   i   i i   i   i   `* Re: Any honest person that knows the x86 language can see... predict correctly3Fred. Zwarts
1 Aug 24   i   i i   i   i    `* Re: Any honest person that knows the x86 language can see... predict correctly2olcott
1 Aug 24   i   i i   i   i     `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
1 Aug 24   i   i i   i   `* Re: Any honest person that knows the x86 language can see... predict correctly5Fred. Zwarts
1 Aug 24   i   i i   i    `* Re: Any honest person that knows the x86 language can see... predict correctly4olcott
1 Aug 24   i   i i   i     `* Re: Any honest person that knows the x86 language can see... predict correctly3Fred. Zwarts
1 Aug 24   i   i i   i      `* Re: Any honest person that knows the x86 language can see... predict correctly2olcott
1 Aug 24   i   i i   i       `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
1 Aug 24   i   i i   `- Re: Any honest person that knows the x86 language can see... H predicts INcorrectly1Richard Damon
31 Jul 24   i   i `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
31 Jul 24   i   +- Re: Any honest person that knows the x86 language can see... predict INcorrectly1Richard Damon
31 Jul 24   i   `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
31 Jul 24   +- Re: Any honest person that knows the x86 language can see...1Richard Damon
31 Jul 24   `* Re: Any honest person that knows the x86 language can see...11Mikko
31 Jul 24    +* Re: Any honest person that knows the x86 language can see...4Mikko
31 Jul 24    i`* Re: Any honest person that knows the x86 language can see...3olcott
1 Aug 24    i +- Re: Any honest person that knows the x86 language can see... The H incorrectly decides on the input.1Richard Damon
2 Aug 24    i `- Re: Any honest person that knows the x86 language can see...1Mikko
31 Jul 24    `* Re: Any honest person that knows the x86 language can see...6olcott
1 Aug 24     +- Re: Any honest person that knows the x86 language can see... H predicts incorrectly1Richard Damon
2 Aug 24     `* Re: Any honest person that knows the x86 language can see...4Mikko
2 Aug 24      `* Re: Any honest person that knows the x86 language can see...3olcott
2 Aug 24       +- Re: Any honest person that knows the x86 language can see...1Richard Damon
3 Aug 24       `- Re: Any honest person that knows the x86 language can see...1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal