Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE

Liste des GroupesRevenir à c theory 
Sujet : Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 05. Jul 2025, 20:34:12
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <104bunk$1kcb5$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
On 7/5/2025 2:07 PM, Alan Mackenzie wrote:
 You lie.  You don't have a proof.  Many people in this group have pointed
out lots of errors in various versions of your purported proof, which you
void DDD()
{
   HHH(DDD);
   return;
}
*They disagree with this truism* (that seems dishonest)
DDD simulated by HHH according to the semantics of the
C programming language cannot possibly reach its own
simulated "return" instruction final halt state.

just ignore.  The section in Professor Linz's book you used to be so fond
of citing will contain plenty of details, if only you would take the
trouble to understand it (assuming you're capable of such understanding).
 
I have addressed all of those details that you make sure
to ignore so that you can baselessly claim that I am wrong.
There cannot possibly be *AN ACTUAL INPUT* that does the
opposite of whatever its decider decides. All of the examples
of this have never been *ACTUAL INPUTS*
No Turing machine can possibly take another directly executing
Turing machine as in input, thus removing these from the
domain of every halt decider.
*Thus the requirement that HHH report on the behavior*
*of the directly executed DD has always been bogus*
Turing machine partial halt deciders compute the mapping
from their actual inputs to the actual behavior that these
inputs specify.
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
DD simulated by HHH according to the semantics of the C
programming language cannot possibly halt when halting
is defined as reaching its own simulated "return"
statement final halt state.
Because the directly executed DD() is outside of the
domain of HHH its behavior does not contradict HHH(DD)==0.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
17 Jun 25 * How do simulating termination analyzers work?190olcott
18 Jun 25 +* Re: How do simulating termination analyzers work?185Richard Damon
18 Jun 25 i`* Re: How do simulating termination analyzers work?184olcott
18 Jun 25 i +* Re: How do simulating termination analyzers work?157Fred. Zwarts
18 Jun 25 i i`* Re: How do simulating termination analyzers work?156olcott
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?115Fred. Zwarts
19 Jun 25 i i  `* Re: How do simulating termination analyzers work?114olcott
20 Jun 25 i i   `* Re: How do simulating termination analyzers work?113Fred. Zwarts
20 Jun 25 i i    `* Re: How do simulating termination analyzers work?112olcott
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?110Mikko
21 Jun 25 i i      `* Re: How do simulating termination analyzers work?109olcott
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?102Mikko
22 Jun 25 i i       i`* Re: How do simulating termination analyzers work?101olcott
23 Jun 25 i i       i `* Re: How do simulating termination analyzers work?100Mikko
23 Jun 25 i i       i  `* Re: How do simulating termination analyzers work?99olcott
24 Jun 25 i i       i   `* Re: How do simulating termination analyzers work?98Mikko
24 Jun 25 i i       i    `* Re: How do simulating termination analyzers work?97olcott
25 Jun 25 i i       i     `* Re: How do simulating termination analyzers work?96Mikko
26 Jun 25 i i       i      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism95Mikko
28 Jun 25 i i       i       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism94olcott
28 Jun 25 i i       i        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism93Mikko
28 Jun 25 i i       i         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism92olcott
29 Jun 25 i i       i          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism91Mikko
29 Jun 25 i i       i           `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism90olcott
30 Jun 25 i i       i            `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism89olcott
1 Jul 25 i i       i             `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism88Mikko
1 Jul 25 i i       i              `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism87olcott
2 Jul 25 i i       i               `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism86Mikko
3 Jul 25 i i       i                `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism85olcott
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 Maximalism67Mikko
4 Jul 25 i i       i                 i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism66olcott
4 Jul 25 i i       i                 i +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism61joes
4 Jul 25 i i       i                 i i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE60olcott
5 Jul 25 i i       i                 i i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE59Alan Mackenzie
5 Jul 25 i i       i                 i i  `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE58olcott
5 Jul 25 i i       i                 i i   `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE57Alan Mackenzie
5 Jul 25 i i       i                 i i    `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE56olcott
6 Jul 25 i i       i                 i i     +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Fred. Zwarts
6 Jul 25 i i       i                 i i     `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE54Alan Mackenzie
6 Jul 25 i i       i                 i i      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE53olcott
6 Jul 25 i i       i                 i i       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE52Alan Mackenzie
6 Jul 25 i i       i                 i i        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE51olcott
6 Jul 25 i i       i                 i i         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE50Alan Mackenzie
6 Jul 25 i i       i                 i i          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE49olcott
6 Jul 25 i i       i                 i i           `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE48Alan Mackenzie
7 Jul 25 i i       i                 i i            `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE47olcott
7 Jul 25 i i       i                 i i             +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE44Fred. Zwarts
7 Jul 25 i i       i                 i i             i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE43olcott
7 Jul 25 i i       i                 i i             i +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
8 Jul 25 i i       i                 i i             i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE41Fred. Zwarts
8 Jul 25 i i       i                 i i             i  +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE9olcott
9 Jul 25 i i       i                 i i             i  i+* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE4Mikko
9 Jul 25 i i       i                 i i             i  ii`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE3olcott
10 Jul 25 i i       i                 i i             i  ii +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Mikko
10 Jul 25 i i       i                 i i             i  ii `- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
9 Jul 25 i i       i                 i i             i  i+* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE3Fred. Zwarts
9 Jul 25 i i       i                 i i             i  ii`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE2olcott
10 Jul 25 i i       i                 i i             i  ii `- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Fred. Zwarts
9 Jul 25 i i       i                 i i             i  i`- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
8 Jul 25 i i       i                 i i             i  `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE31olcott
7 Jul 25 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