Re: How do simulating termination analyzers work?

Liste des GroupesRevenir à c theory 
Sujet : Re: How do simulating termination analyzers work?
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory comp.ai.philosophy sci.logic
Date : 20. Jun 2025, 10:35:27
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1033a10$m26r$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
Op 19.jun.2025 om 17:13 schreef olcott:
On 6/19/2025 4:13 AM, Fred. Zwarts wrote:
Op 19.jun.2025 om 04:11 schreef olcott:
On 6/18/2025 8:20 PM, Richard Damon wrote:
On 6/18/25 9:46 AM, olcott wrote:
On 6/18/2025 5:12 AM, Fred. Zwarts wrote:
Op 18.jun.2025 om 03:54 schreef olcott:
On 6/17/2025 8:19 PM, Richard Damon wrote:
On 6/17/25 4:34 PM, olcott wrote:
void Infinite_Recursion()
{
   Infinite_Recursion();
   return;
}
>
void Infinite_Loop()
{
   HERE: goto HERE;
   return;
}
>
void DDD()
{
   HHH(DDD);
   return;
}
>
When it is understood that HHH does simulate itself
simulating DDD then any first year CS student knows
that when each of the above are correctly simulated
by HHH that none of them ever stop running unless aborted.
>
WHich means that the code for HHH is part of the input, and thus there is just ONE HHH in existance at this time.
>
Since that code aborts its simulation to return the answer that you claim, you are just lying that it did a correct simulation (which in this context means complete)
>
>
*none of them ever stop running unless aborted*
>
All of them do abort and their simulation does not need an abort.
>
>
*It is not given that any of them abort*
>
>
>
>
But it either does or it doesn't, and different HHHs give different DDD so you can't compare their behavior.
>
>
My claim is that DDD correctly simulated by any
termination analyzer HHH that can possibly exist
will never stop running unless aborted.
>
A vacuous statement because no such termination analyser exist.
 The above set of every termination analyzer HHH includes
those that get the wrong answer and those that never stop
running.
That is not the meaning of the words 'correctly simulated'.
None of them does a correct simulation.

 
The candidate you present
 *Is each element of this infinite set*
My claim is that each of the above functions correctly
simulated by any termination analyzer HHH that can possibly
exist will never stop running unless aborted by HHH.
Can you affirm or correctly refute this?
 
The words 'correctly simulated' makes this a vacuous statement. There is no HHH that can correctly simulate itself.
It makes no sense to affirm or refute a vacuous statement.
This has been pointed out to you many times.
Not understanding something does not make you stupid. The resistance against learning from errors, however, does.

Date Sujet#  Auteur
17 Jun 25 * How do simulating termination analyzers work?175olcott
18 Jun 25 +* Re: How do simulating termination analyzers work?170Richard Damon
18 Jun 25 i`* Re: How do simulating termination analyzers work?169olcott
18 Jun 25 i +* Re: How do simulating termination analyzers work?142Fred. Zwarts
18 Jun 25 i i`* Re: How do simulating termination analyzers work?141olcott
18 Jun 25 i i +* Re: How do simulating termination analyzers work?6joes
18 Jun 25 i i i`* Re: How do simulating termination analyzers work?5olcott
18 Jun 25 i i i +* Re: How do simulating termination analyzers work?3joes
18 Jun 25 i i i i`* Re: How do simulating termination analyzers work?2olcott
19 Jun 25 i i i i `- Re: How do simulating termination analyzers work?1Richard Damon
19 Jun 25 i i i `- Re: How do simulating termination analyzers work?1Richard Damon
19 Jun 25 i i +* Re: How do simulating termination analyzers work?15Richard Damon
19 Jun 25 i i i`* Re: How do simulating termination analyzers work?14olcott
19 Jun 25 i i i +* Re: How do simulating termination analyzers work?7Fred. Zwarts
19 Jun 25 i i i i`* Re: How do simulating termination analyzers work?6olcott
20 Jun 25 i i i i +- Re: How do simulating termination analyzers work?1Richard Damon
20 Jun 25 i i i i `* Re: How do simulating termination analyzers work?4Fred. Zwarts
20 Jun 25 i i i i  `* Re: How do simulating termination analyzers work?3olcott
21 Jun 25 i i i i   +- Re: How do simulating termination analyzers work?1Richard Damon
22 Jun 25 i i i i   `- Re: How do simulating termination analyzers work?1Fred. Zwarts
20 Jun 25 i i i `* Re: How do simulating termination analyzers work?6Richard Damon
20 Jun 25 i i i  `* Re: How do simulating termination analyzers work?5olcott
20 Jun 25 i i i   `* Re: How do simulating termination analyzers work?4Fred. Zwarts
20 Jun 25 i i i    `* Re: How do simulating termination analyzers work?3olcott
21 Jun 25 i i i     +- Re: How do simulating termination analyzers work?1Richard Damon
22 Jun 25 i i i     `- Re: How do simulating termination analyzers work?1Fred. Zwarts
19 Jun 25 i i +* Re: How do simulating termination analyzers work?19Mikko
19 Jun 25 i i i`* Re: How do simulating termination analyzers work?18olcott
19 Jun 25 i i i +* Re: How do simulating termination analyzers work?16Fred. Zwarts
19 Jun 25 i i i i+* Re: How do simulating termination analyzers work?2olcott
20 Jun 25 i i i ii`- Re: How do simulating termination analyzers work?1Fred. Zwarts
20 Jun 25 i i i i`* Re: How do simulating termination analyzers work?13Mikko
20 Jun 25 i i i i `* Re: How do simulating termination analyzers work?12olcott
21 Jun 25 i i i i  +- Re: How do simulating termination analyzers work?1Richard Damon
21 Jun 25 i i i i  `* Re: How do simulating termination analyzers work?10Mikko
21 Jun 25 i i i i   `* Re: How do simulating termination analyzers work?9olcott
21 Jun 25 i i i i    +- Re: How do simulating termination analyzers work?1Richard Damon
22 Jun 25 i i i i    `* Re: How do simulating termination analyzers work?7Mikko
22 Jun 25 i i i i     `* Re: How do simulating termination analyzers work?6olcott
23 Jun 25 i i i i      `* Re: How do simulating termination analyzers work?5Mikko
23 Jun 25 i i i i       `* Re: How do simulating termination analyzers work?4olcott
24 Jun 25 i i i i        `* Re: How do simulating termination analyzers work?3Mikko
24 Jun 25 i i i i         `* Re: How do simulating termination analyzers work?2olcott
25 Jun 25 i i i i          `- Re: How do simulating termination analyzers work?1Mikko
20 Jun 25 i i i `- Re: How do simulating termination analyzers work?1Richard Damon
19 Jun 25 i i `* Re: How do simulating termination analyzers work?100Fred. Zwarts
19 Jun 25 i i  `* Re: How do simulating termination analyzers work?99olcott
20 Jun 25 i i   `* Re: How do simulating termination analyzers work?98Fred. Zwarts
20 Jun 25 i i    `* Re: How do simulating termination analyzers work?97olcott
21 Jun 25 i i     +- Re: How do simulating termination analyzers work?1Richard Damon
21 Jun 25 i i     `* Re: How do simulating termination analyzers work?95Mikko
21 Jun 25 i i      `* Re: How do simulating termination analyzers work?94olcott
21 Jun 25 i i       +- Re: How do simulating termination analyzers work?1Richard Damon
22 Jun 25 i i       +* Re: How do simulating termination analyzers work?87Mikko
22 Jun 25 i i       i`* Re: How do simulating termination analyzers work?86olcott
23 Jun 25 i i       i `* Re: How do simulating termination analyzers work?85Mikko
23 Jun 25 i i       i  `* Re: How do simulating termination analyzers work?84olcott
24 Jun 25 i i       i   `* Re: How do simulating termination analyzers work?83Mikko
24 Jun 25 i i       i    `* Re: How do simulating termination analyzers work?82olcott
25 Jun 25 i i       i     `* Re: How do simulating termination analyzers work?81Mikko
26 Jun 25 i i       i      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism80Mikko
28 Jun 25 i i       i       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism79olcott
28 Jun 25 i i       i        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism78Mikko
28 Jun 25 i i       i         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism77olcott
29 Jun 25 i i       i          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism76Mikko
29 Jun 25 i i       i           `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism75olcott
30 Jun 25 i i       i            `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism74olcott
1 Jul 25 i i       i             `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism73Mikko
1 Jul 25 i i       i              `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism72olcott
2 Jul 25 i i       i               `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism71Mikko
3 Jul 25 i i       i                `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism70olcott
3 Jul 25 i i       i                 +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism1Richard Damon
4 Jul 25 i i       i                 +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism52Mikko
4 Jul 25 i i       i                 i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism51olcott
4 Jul 25 i i       i                 i +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism46joes
4 Jul 25 i i       i                 i i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE45olcott
5 Jul 25 i i       i                 i i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE44Alan Mackenzie
5 Jul16:00 i i       i                 i i  `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE43olcott
5 Jul20:07 i i       i                 i i   `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE42Alan Mackenzie
5 Jul20:34 i i       i                 i i    `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE41olcott
6 Jul10:50 i i       i                 i i     +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Fred. Zwarts
6 Jul11:16 i i       i                 i i     `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE39Alan Mackenzie
6 Jul15:28 i i       i                 i i      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE38olcott
6 Jul17:02 i i       i                 i i       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE37Alan Mackenzie
6 Jul17:43 i i       i                 i i        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE36olcott
6 Jul18:52 i i       i                 i i         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE35Alan Mackenzie
6 Jul20:14 i i       i                 i i          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE34olcott
6 Jul22:23 i i       i                 i i           `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE33Alan Mackenzie
7 Jul04:07 i i       i                 i i            `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE32olcott
7 Jul08:49 i i       i                 i i             +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE29Fred. Zwarts
7 Jul19:40 i i       i                 i i             i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE28olcott
7 Jul23:34 i i       i                 i i             i +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
8 Jul09:22 i i       i                 i i             i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE26Fred. Zwarts
8 Jul15:33 i i       i                 i i             i  +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE9olcott
9 Jul09:26 i i       i                 i i             i  i+* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE4Mikko
9 Jul13:26 i i       i                 i i             i  ii`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE3olcott
10 Jul09:48 i i       i                 i i             i  ii +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Mikko
10 Jul12:30 i i       i                 i i             i  ii `- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
9 Jul09:53 i i       i                 i i             i  i+* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE3Fred. Zwarts
9 Jul13:56 i i       i                 i i             i  ii`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE2olcott
10 Jul12:27 i i       i                 i i             i  ii `- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Fred. Zwarts
9 Jul12:20 i i       i                 i i             i  i`- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
8 Jul16:03 i i       i                 i i             i  `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE16olcott
7 Jul15:07 i i       i                 i i             `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE2Alan Mackenzie
5 Jul 25 i i       i                 i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism4Mikko
4 Jul 25 i i       i                 `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism16joes
29 Jun 25 i i       `* Re: How do simulating termination analyzers work?5Mikko
18 Jun 25 i `* Re: How do simulating termination analyzers work?26Richard Damon
18 Jun 25 +- Re: How do simulating termination analyzers work?1Mikko
19 Jun 25 `* Re: How do simulating termination analyzers work?3Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal