Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser

Liste des GroupesRevenir à c theory 
Sujet : Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory
Date : 28. Aug 2024, 16:14:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vanetd$3grf3$4@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
User-Agent : Mozilla Thunderbird
Op 28.aug.2024 om 16:53 schreef olcott:
On 8/28/2024 9:38 AM, Fred. Zwarts wrote:
Op 28.aug.2024 om 14:46 schreef olcott:
On 8/28/2024 7:34 AM, Fred. Zwarts wrote:
Op 28.aug.2024 om 14:07 schreef olcott:
On 8/28/2024 4:00 AM, Fred. Zwarts wrote:
Op 27.aug.2024 om 15:32 schreef olcott:
>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D *would never*
     *stop running unless aborted* then
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>
HHH is only required to correctly predict whether or not DDD
*would never stop running unless aborted*
And since DDD is calling an HHH that is programmed to detect the 'special condition', so that it aborts and halts, DDD halts as well and
>
*THIS IS YOUR REASONING*
If you are hungry and never eat you will remain hungry.
You are hungry and eat becoming no longer hungry.
*This proves that you never needed to eat*
>
No, apparently, your understanding of logic English is very poor.
>
HHH simulates DDD until it has inductive evidence that
in the purely hypothetical case where a different HHH
would never abort its emulation of DDD that DDD would
never terminate normally.
>
Apparently you still do not understand that HHH should process its input, not your dreams of a pure hypothetical non-input.
>
 void Infinite_Loop()
{
   HERE: goto HERE;
   return;
}
 In other words you are saying that HHH must report that
infinite loops halt even though halting is reaching a
final halt state and infinite loops cannot possibly reach
a final halt state.
 Your replies have stepped over the line of an honest dialogue.
 
No, you are dishonest by putting words in my mouth that I did not say.
I said HHH should report that a *halting* program halt.
You make it that I said that HHH must report that *infinite loops* halt.
It is clear that you do not understand the difference between  infinite loop and a halting program.
No wonder that you think that a halting program is an infinite loop.
You keep dreaming of infinite loops and infinite recursion even when the finite string does not specify such a thing.
HHH simulating itself looks a bit like:
void Finite_Recursion (int N) {
   if (N > 0) Finite_Recursion (N - 1);
}
But you think that this is the same as Infinite_loop.
There is no infinite loop. There is no infinite recursion. There is only a HHH that after a few recursions sees a 'special condition' after which it stops the simulation.
Although this detection is incorrect, it makes that HHH returns to DDD and DDD halts. No infinite loop. No infinite recursion. That is the semantics of the x86 language of the finite  string.
This is what the conclusion of HHH would be, if it did it correctly.
But HHH cannot do it correctly, because HHH cannot possibly simulate itself up to the end.
We see this error of HHH in:
        int main() {
          return HHH(main);
        }
where HHH halts and reports that it does not halt.

Date Sujet#  Auteur
20 Aug 24 * Anyone that disagrees with this is not telling the truth --- V5326olcott
20 Aug 24 +* Re: Anyone that disagrees with this is not telling the truth --- V5323Richard Damon
20 Aug 24 i`* Re: Anyone that disagrees with this is not telling the truth --- V5322olcott
20 Aug 24 i `* Re: Anyone that disagrees with this is not telling the truth --- V5321Richard Damon
20 Aug 24 i  +* Re: Anyone that disagrees with this is not telling the truth --- V515olcott
20 Aug 24 i  i+* Re: Anyone that disagrees with this is not telling the truth --- V55joes
20 Aug 24 i  ii`* Re: Anyone that disagrees with this is not telling the truth --- V54olcott
21 Aug 24 i  ii +- Re: Anyone that disagrees with this is not telling the truth --- V51Richard Damon
21 Aug 24 i  ii +- Re: Anyone that disagrees with this is not telling the truth --- V51Mikko
27 Aug 24 i  ii `- Re: Anyone that disagrees with this is not telling the truth --- V51Mikko
20 Aug 24 i  i+* Re: Anyone that disagrees with this is not telling the truth --- V58Fred. Zwarts
20 Aug 24 i  ii`* Re: Anyone that disagrees with this is not telling the truth --- V57olcott
20 Aug 24 i  ii +* Re: Anyone that disagrees with this is not telling the truth --- V53joes
20 Aug 24 i  ii i`* Re: Anyone that disagrees with this is not telling the truth --- V52olcott
21 Aug 24 i  ii i `- Re: Anyone that disagrees with this is not telling the truth --- V51Richard Damon
21 Aug 24 i  ii +- Re: Anyone that disagrees with this is not telling the truth --- V51Richard Damon
21 Aug 24 i  ii `* Re: Anyone that disagrees with this is not telling the truth --- V52Fred. Zwarts
27 Aug 24 i  ii  `- Re: Anyone that disagrees with this is not telling the truth --- V51Mikko
27 Aug 24 i  i`- Re: Anyone that disagrees with this is not telling the truth --- V51Mikko
20 Aug 24 i  `* Re: Anyone that disagrees with this is not telling the truth --- V5305olcott
21 Aug 24 i   `* Re: Anyone that disagrees with this is not telling the truth --- V5304Richard Damon
21 Aug 24 i    `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser303olcott
21 Aug 24 i     +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser300Richard Damon
21 Aug 24 i     i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser299olcott
21 Aug 24 i     i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser296Richard Damon
21 Aug 24 i     i i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser295olcott
21 Aug 24 i     i i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser293Richard Damon
21 Aug 24 i     i i i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser292olcott
21 Aug 24 i     i i i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser284Mikko
21 Aug 24 i     i i i i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser283olcott
21 Aug 24 i     i i i i +* Re: V5 --- Professor Sipser3joes
21 Aug 24 i     i i i i i`* Re: V5 --- Professor Sipser2olcott
22 Aug 24 i     i i i i i `- Re: V5 --- Professor Sipser1Richard Damon
21 Aug 24 i     i i i i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser11Fred. Zwarts
21 Aug 24 i     i i i i i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser10olcott
21 Aug 24 i     i i i i i +* Re: V5 --- Professor Sipser3joes
21 Aug 24 i     i i i i i i`* Re: V5 --- Professor Sipser2olcott
27 Aug 24 i     i i i i i i `- Re: V5 --- Professor Sipser1Mikko
22 Aug 24 i     i i i i i +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Richard Damon
22 Aug 24 i     i i i i i `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser5Fred. Zwarts
22 Aug 24 i     i i i i i  `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser4olcott
22 Aug 24 i     i i i i i   +- Re: V5 --- Professor Sipser1joes
23 Aug 24 i     i i i i i   +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Richard Damon
23 Aug 24 i     i i i i i   `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Fred. Zwarts
22 Aug 24 i     i i i i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser267Richard Damon
22 Aug 24 i     i i i i i+* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser3olcott
22 Aug 24 i     i i i i ii+- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Richard Damon
27 Aug 24 i     i i i i ii`- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
22 Aug 24 i     i i i i i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser263olcott
22 Aug 24 i     i i i i i `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser262Richard Damon
22 Aug 24 i     i i i i i  `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser261olcott
22 Aug 24 i     i i i i i   +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser84Richard Damon
22 Aug 24 i     i i i i i   i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser83olcott
22 Aug 24 i     i i i i i   i `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser82Richard Damon
22 Aug 24 i     i i i i i   i  `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser81olcott
22 Aug 24 i     i i i i i   i   +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser29Fred. Zwarts
22 Aug 24 i     i i i i i   i   i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser28olcott
22 Aug 24 i     i i i i i   i   i +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Python
22 Aug 24 i     i i i i i   i   i +* Re: V5 --- Professor Sipser24joes
22 Aug 24 i     i i i i i   i   i i`* Re: V5 --- Professor Sipser23olcott
22 Aug 24 i     i i i i i   i   i i +* Re: V5 --- Professor Sipser5joes
22 Aug 24 i     i i i i i   i   i i i`* Re: V5 --- Professor Sipser4olcott
23 Aug 24 i     i i i i i   i   i i i +- Re: V5 --- Professor Sipser1Richard Damon
23 Aug 24 i     i i i i i   i   i i i +- Re: V5 --- Professor Sipser1joes
23 Aug 24 i     i i i i i   i   i i i `- Re: V5 --- Professor Sipser1Fred. Zwarts
23 Aug 24 i     i i i i i   i   i i +* Re: V5 --- Professor Sipser15Richard Damon
23 Aug 24 i     i i i i i   i   i i i`* Re: V5 --- Professor Sipser14olcott
23 Aug 24 i     i i i i i   i   i i i +* Re: V5 --- Professor Sipser11Richard Damon
23 Aug 24 i     i i i i i   i   i i i i`* Re: V5 --- Professor Sipser10olcott
23 Aug 24 i     i i i i i   i   i i i i +* Re: V5 --- Professor Sipser8Richard Damon
23 Aug 24 i     i i i i i   i   i i i i i`* Re: V5 --- Professor Sipser7olcott
23 Aug 24 i     i i i i i   i   i i i i i `* Re: V5 --- Professor Sipser6Richard Damon
23 Aug 24 i     i i i i i   i   i i i i i  `* Re: V5 --- Professor Sipser5olcott
23 Aug 24 i     i i i i i   i   i i i i i   +* Re: V5 --- Professor Sipser3Richard Damon
23 Aug 24 i     i i i i i   i   i i i i i   i`* Re: V5 --- Professor Sipser2olcott
23 Aug 24 i     i i i i i   i   i i i i i   i `- Re: V5 --- Professor Sipser1Richard Damon
23 Aug 24 i     i i i i i   i   i i i i i   `- Re: V5 --- Professor Sipser1Mikko
27 Aug 24 i     i i i i i   i   i i i i `- Re: V5 --- Professor Sipser1Mikko
23 Aug 24 i     i i i i i   i   i i i +- Re: V5 --- Professor Sipser1Mikko
23 Aug 24 i     i i i i i   i   i i i `- Re: V5 --- Professor Sipser1Fred. Zwarts
23 Aug 24 i     i i i i i   i   i i +- Re: V5 --- Professor Sipser1Fred. Zwarts
27 Aug 24 i     i i i i i   i   i i `- Re: V5 --- Professor Sipser1Mikko
23 Aug 24 i     i i i i i   i   i +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Fred. Zwarts
27 Aug 24 i     i i i i i   i   i `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Fred. Zwarts
22 Aug 24 i     i i i i i   i   +* Re: V5 --- Professor Sipser31joes
22 Aug 24 i     i i i i i   i   i`* Re: V5 --- Professor Sipser30olcott
23 Aug 24 i     i i i i i   i   i +- Re: V5 --- Professor Sipser1Richard Damon
23 Aug 24 i     i i i i i   i   i `* Re: V5 --- Professor Sipser28joes
23 Aug 24 i     i i i i i   i   i  `* Re: V5 --- Professor Sipser27olcott
24 Aug 24 i     i i i i i   i   i   `* Re: V5 --- Professor Sipser26Fred. Zwarts
24 Aug 24 i     i i i i i   i   i    `* Re: V5 --- Professor Sipser --- Execution trace of simulating termination analyzer HHH on DDD input25olcott
24 Aug 24 i     i i i i i   i   i     +* Re: V5 --- Professor Sipser --- trace of HHH on DDD input10joes
24 Aug 24 i     i i i i i   i   i     i`* Re: V5 --- Professor Sipser --- trace of HHH on DDD input9olcott
24 Aug 24 i     i i i i i   i   i     i `* Re: V5 --- Professor Sipser --- trace of HHH on DDD input8Fred. Zwarts
24 Aug 24 i     i i i i i   i   i     i  +* Re: V5 --- Professor Sipser --- trace of HHH on DDD input3olcott
24 Aug 24 i     i i i i i   i   i     i  i+- Re: V5 --- Professor Sipser --- trace of HHH on DDD input1Richard Damon
25 Aug 24 i     i i i i i   i   i     i  i`- Re: V5 --- Professor Sipser --- trace of HHH on DDD input1Fred. Zwarts
25 Aug 24 i     i i i i i   i   i     i  `* Re: V5 --- Professor Sipser --- trace of HHH on DDD input4Mikko
25 Aug 24 i     i i i i i   i   i     i   `* Re: V5 --- Professor Sipser --- trace of HHH on DDD input3olcott
25 Aug 24 i     i i i i i   i   i     i    +- Re: V5 --- Professor Sipser --- trace of HHH on DDD input1Richard Damon
25 Aug 24 i     i i i i i   i   i     i    `- Re: V5 --- Professor Sipser --- trace of HHH on DDD input1Fred. Zwarts
24 Aug 24 i     i i i i i   i   i     +- Re: V5 --- Professor Sipser --- Execution trace of simulating termination analyzer HHH on DDD input1Richard Damon
24 Aug 24 i     i i i i i   i   i     `* Re: V5 --- Professor Sipser --- Execution trace of simulating termination analyzer HHH on DDD input13Fred. Zwarts
23 Aug 24 i     i i i i i   i   +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Richard Damon
27 Aug 24 i     i i i i i   i   `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser19Mikko
22 Aug 24 i     i i i i i   `* Re: V5 --- Professor Sipser176joes
27 Aug 24 i     i i i i `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
21 Aug 24 i     i i i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser6Richard Damon
27 Aug 24 i     i i i `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
27 Aug 24 i     i i `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
21 Aug 24 i     i +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
27 Aug 24 i     i `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
21 Aug 24 i     +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
27 Aug 24 i     `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
20 Aug 24 `* Re: Anyone that disagrees with this is not telling the truth --- V52Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal