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

Liste des GroupesRevenir à theory 
Sujet : Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theory
Date : 07. Jul 2025, 15:07:09
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <104gkad$2f8e$1@news.muc.de>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : tin/2.6.4-20241224 ("Helmsdale") (FreeBSD/14.2-RELEASE-p1 (amd64))
olcott <polcott333@gmail.com> wrote:
On 7/6/2025 4:23 PM, Alan Mackenzie wrote:
olcott <polcott333@gmail.com> wrote:
On 7/6/2025 12:52 PM, Alan Mackenzie wrote:
olcott <polcott333@gmail.com> wrote:
On 7/6/2025 11:02 AM, Alan Mackenzie wrote:

[ .... ]

int DD()
{
    int Halt_Status = HHH(DD);
    if (Halt_Status)
      HERE: goto HERE;
    return Halt_Status;
}

Then you should know that DD simulated by HHH
according to the semantics of the C programming
language cannot possibly reach its own "return"
statement final halt state.

An argument like this is at such a low level of abstraction as to be near
valuless.

It is really weird that you are calling a 100% complete
concrete specification "a low level of abstraction".
That HHH(DD) correctly determines that DD simulated by
HHH cannot possibly halt is a proven fact.

A complete concrete specification would necessarily include a description
of what you mean by "simulation".

I specifically mean that this x86 machine code
[ .... ]
Is emulated by an x86 emulator named HHH.

That's no adequate description.  To make it so, you'd have to say what
you mean by an "x86 emulator".  The name you give it is irrelevant

 But my point was that rather than
sticking to the abstract nature of the proof, you're chipping tiny pieces
out of it and dealing with those.  The proof you claim to refute has no
notion of simulation, for example; it doesn't need it.


*Not at all there are two pieces*
(1) HHH(DD) does correctly determine that its input
    specifies non halting behavior.
(2) The directly executed DD() does not contradict this.

The word "correctly" is fully redundant there.

The proof does not state whether the constructed function returns true or
false, i.e. whether it specifies non halting behaviour.  It states
nothing about "directly executed" anything.

You're not dealing with that proof, you're dealing with your own
significantly different construction.  That is much less interesting.

[ .... ]

Thus HHH(DD) does correctly determine that the halting
problem's counter-example input *DOES NOT HALT*
That you say this is "valueless" seems quite disingenuous.

It is a waste of time to discuss things at such an unnecessarily low
level of abstraction.


It is just like you are saying that all huge things
are always very tiny. The high level of abstraction
of C is not any low level of abstraction.

It is when it is used as a proxy for steps of a proof.

  But analysing it a bit further, it is not clear exactly what
you mean by "simulated by HHH".

Do you have any idea what "simulation" means?

Yes.  I'm not sure you do,

This should be something you learn in the first year of CS.
It is like an auto mechanic asking me: What is a spark plug?
The first thing that every programmer learns is that an
C language interpreter is not the same thing as a compiler.

I'm still not sure you understand what "simulation" means.

though, which is why I was prompting you to be
more concrete.  When Alan Turing published his seminal paper, he took a
very great deal of space specifying exactly what he meant by a "machine".

[ .... ]

Whether endless recursion happens depends on whether HHH(DD) returns 0.

Not at all.

It quite plainly does.

*Don't erase this part make sure that you respond to it*
*Don't erase this part make sure that you respond to it*
*Don't erase this part make sure that you respond to it*
HHH simulates DD that calls HHH(DD)
that simulates DD that calls HHH(DD)
that simulates DD that calls HHH(DD)
that simulates DD that calls HHH(DD)
that simulates DD that calls HHH(DD)...

I've said before more than once, I'm not getting into fruitless
discussions about things other people have dealt with adequately.

Others have pointed out problems with your reasoning here over a long
period of time.  I don't want to repeat that.


No one has ever pointed out any actual error
in this reasoning. Others have kept acting
like they have no idea what recursion is.

You are intellectually below the level needed to judge whether the many
errors pointed out to you are "actual" or not.  I think you can be pretty
sure that all of the others know exactly what recursion is.

[ .... ]

The above x86 machine code emulated by HHH according
to the semantics of the x86 language has zero vagueness
and zero ambiguity.

It's boring, though, and you've been over that point many, many times
with other people.

The above code roughly maps to the (TM equivalent)
RASP machine architecture.

Until you understand that DD emulated by HHH
according to the semantics of the x86 language
cannot possibly reach its own final halt state
your understanding will remain woefully deficient.

No sense going over any other points until after
you get this point.

You're not intellectually competent to judge other people's
understanding.  I have no interest in whether or not some function
"emulated" (whatever that might mean) by another reaches its (presumed
unique) final state.  It's all old, dull, dreary stuff which goes nowhere
very slowly.

The fact is, the halting theorem has been proven, amongs other ways, by
the proof you fail to understand.  In previous posts we had come up with
the topic of your misunderstanding of what a proof is and its status in
logic.  That discussion could have become interesting, but you just
snipped it, instead repeating for the hundredth time the old, dull,
dreary stuff.

Unless you come up with some interesting replies to the points I made in
my last post, this post will be my last in the current thread.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).


Date Sujet#  Auteur
17 Jun 25 * How do simulating termination analyzers work?166olcott
18 Jun 25 +* Re: How do simulating termination analyzers work?161Richard Damon
18 Jun 25 i`* Re: How do simulating termination analyzers work?160olcott
18 Jun 25 i +* Re: How do simulating termination analyzers work?133Fred. Zwarts
18 Jun 25 i i`* Re: How do simulating termination analyzers work?132olcott
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?91Fred. Zwarts
19 Jun 25 i i  `* Re: How do simulating termination analyzers work?90olcott
20 Jun 25 i i   `* Re: How do simulating termination analyzers work?89Fred. Zwarts
20 Jun 25 i i    `* Re: How do simulating termination analyzers work?88olcott
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?86Mikko
21 Jun 25 i i      `* Re: How do simulating termination analyzers work?85olcott
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?78Mikko
22 Jun 25 i i       i`* Re: How do simulating termination analyzers work?77olcott
23 Jun 25 i i       i `* Re: How do simulating termination analyzers work?76Mikko
23 Jun 25 i i       i  `* Re: How do simulating termination analyzers work?75olcott
24 Jun 25 i i       i   `* Re: How do simulating termination analyzers work?74Mikko
24 Jun 25 i i       i    `* Re: How do simulating termination analyzers work?73olcott
25 Jun 25 i i       i     `* Re: How do simulating termination analyzers work?72Mikko
26 Jun 25 i i       i      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism71Mikko
28 Jun 25 i i       i       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism70olcott
28 Jun 25 i i       i        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism69Mikko
28 Jun 25 i i       i         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism68olcott
29 Jun 25 i i       i          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism67Mikko
29 Jun 25 i i       i           `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism66olcott
30 Jun 25 i i       i            `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism65olcott
1 Jul 25 i i       i             `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism64Mikko
1 Jul 25 i i       i              `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism63olcott
2 Jul 25 i i       i               `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism62Mikko
3 Jul 25 i i       i                `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism61olcott
3 Jul 25 i i       i                 +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism1Richard Damon
4 Jul08:25 i i       i                 +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism43Mikko
4 Jul13:34 i i       i                 i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism42olcott
4 Jul14:33 i i       i                 i +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism37joes
4 Jul18:19 i i       i                 i i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE36olcott
5 Jul13:26 i i       i                 i i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE35Alan Mackenzie
5 Jul16:00 i i       i                 i i  `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE34olcott
5 Jul20:07 i i       i                 i i   `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE33Alan Mackenzie
5 Jul20:34 i i       i                 i i    `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE32olcott
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_TRACE30Alan Mackenzie
6 Jul15:28 i i       i                 i i      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE29olcott
6 Jul17:02 i i       i                 i i       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE28Alan Mackenzie
6 Jul17:43 i i       i                 i i        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE27olcott
6 Jul18:52 i i       i                 i i         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE26Alan Mackenzie
6 Jul20:14 i i       i                 i i          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE25olcott
6 Jul22:23 i i       i                 i i           `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE24Alan Mackenzie
7 Jul04:07 i i       i                 i i            `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE23olcott
7 Jul08:49 i i       i                 i i             +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE20Fred. Zwarts
7 Jul19:40 i i       i                 i i             i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE19olcott
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_TRACE17Fred. 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_TRACE7olcott
7 Jul15:07 i i       i                 i i             `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE2Alan Mackenzie
5 Jul09:32 i i       i                 i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism4Mikko
4 Jul09:55 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