Re: This function proves that only the outermost HHH examines the execution trace

Liste des GroupesRevenir à c theory 
Sujet : Re: This function proves that only the outermost HHH examines the execution trace
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theory
Date : 27. Jul 2024, 22:20:03
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <v83kpj$2nhr$2@news.muc.de>
References : 1 2 3 4 5 6 7
User-Agent : tin/2.6.3-20231224 ("Banff") (FreeBSD/14.1-RELEASE (amd64))
olcott <polcott333@gmail.com> wrote:
On 7/27/2024 1:14 PM, Alan Mackenzie wrote:
olcott <polcott333@gmail.com> wrote:

Stopping running is not the same as halting.
DDD emulated by HHH stops running when its emulation has been aborted.
This is not the same as reaching its ret instruction and terminating
normally (AKA halting).

I think you're wrong, here.  All your C programs are a stand in for
turing machines.  A turing machine is either running or halted.  There is
no third state "aborted".

Until you take the conventional ideas of
(a) UTM
(b) TM Description
(c) Decider
and combine them together to become a simulating partial halt decider.

Where does the notion of "aborted", as being distinct from halted, come
from?

The key difference between a partial decider and a decider is that
the former case only needs to get at least one input correctly.

That doesn't seem to have anything to do with my point.

An aborted C program certainly doesn't correspond with a running
turing machine - so it must be a halted turing machine.


If you take the view all all new ideas are inherently incorrect
then you would be right within this false assumption.

I don't take that view.  What is "this false assumption" meant to mean?
You haven't spelled it out explicitly.

So aborted programs are halted programs.  If you disagree, perhaps you
could point out where in my arguments above I'm wrong.

You seem to have the above false assumption.

Again, what is that?  You haven't said.

--
Copyright 2024 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
26 Jul 24 * This function proves that only the outermost HHH examines the execution trace112olcott
26 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace3joes
26 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace2Mike Terry
26 Jul 24 i `- Re: This function proves that only the outermost HHH examines the execution trace1olcott
26 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace50Mike Terry
26 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace49olcott
27 Jul 24 i +* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
27 Jul 24 i i`* Re: This function proves that only the outermost HHH examines the execution trace3olcott
27 Jul 24 i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
28 Jul 24 i i `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
27 Jul 24 i +* Re: This function proves that only the outermost HHH examines the execution trace6Fred. Zwarts
27 Jul 24 i i`* Re: This function proves that only the outermost HHH examines the execution trace5olcott
27 Jul 24 i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
27 Jul 24 i i +* Re: This function proves that only the outermost HHH examines the execution trace2joes
27 Jul 24 i i i`- Re: This function proves that only the outermost HHH examines the execution trace1olcott
28 Jul 24 i i `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 i `* Re: This function proves that only the outermost HHH examines the execution trace37Fred. Zwarts
27 Jul 24 i  `* Re: This function proves that only the outermost HHH examines the execution trace36olcott
27 Jul 24 i   +* Re: This function proves that only the outermost HHH examines the execution trace31Fred. Zwarts
27 Jul 24 i   i`* Re: This function proves that only the outermost HHH examines the execution trace30olcott
28 Jul 24 i   i +* Re: This function proves that only the outermost HHH examines the execution trace5Fred. Zwarts
28 Jul 24 i   i i`* Re: This function proves that only the outermost HHH examines the execution trace4olcott
28 Jul 24 i   i i +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
28 Jul 24 i   i i `- Re: This function proves that only the outermost HHH examines the execution trace1joes
28 Jul 24 i   i `* Re: This function proves that only the outermost HHH examines the execution trace24Mikko
29 Jul 24 i   i  `* Re: This function proves that only the outermost HHH examines the execution trace23olcott
29 Jul 24 i   i   +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
30 Jul 24 i   i   +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
30 Jul 24 i   i   `* Re: This function proves that only the outermost HHH examines the execution trace20Mikko
31 Jul 24 i   i    `* Re: This function proves that only the outermost HHH examines the execution trace19olcott
31 Jul 24 i   i     +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
31 Jul 24 i   i     `* Re: This function proves that only the outermost HHH examines the execution trace17Mikko
31 Jul 24 i   i      +* Re: This function proves that only the outermost HHH examines the execution trace14olcott
1 Aug 24 i   i      i`* Re: This function proves that only the outermost HHH examines the execution trace13Mikko
1 Aug 24 i   i      i `* Re: This function proves that only the outermost HHH examines the execution trace12olcott
1 Aug 24 i   i      i  +* Re: This function proves that only the outermost HHH examines the execution trace10Fred. Zwarts
1 Aug 24 i   i      i  i`* Re: This function proves that only the outermost HHH examines the execution trace9olcott
1 Aug 24 i   i      i  i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
1 Aug 24 i   i      i  i `* Re: This function proves that only the outermost HHH examines the execution trace7joes
1 Aug 24 i   i      i  i  `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
1 Aug 24 i   i      i  i   +* Re: This function proves that only the outermost HHH examines the execution trace3Fred. Zwarts
1 Aug 24 i   i      i  i   i`* Re: This function proves that only the outermost HHH examines the execution trace2olcott
2 Aug 24 i   i      i  i   i `- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
1 Aug 24 i   i      i  i   `* Re: This function proves that only the outermost HHH examines the execution trace2joes
1 Aug 24 i   i      i  i    `- Re: This function proves that only the outermost HHH examines the execution trace1olcott
2 Aug 24 i   i      i  `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
31 Jul 24 i   i      `* Re: This function proves that only the outermost HHH examines the execution trace2olcott
1 Aug 24 i   i       `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
28 Jul 24 i   `* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
29 Jul 24 i    `* HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace3olcott
29 Jul 24 i     +- Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace1Fred. Zwarts
30 Jul 24 i     `- Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace1Mikko
27 Jul 24 +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace56Fred. Zwarts
27 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace55olcott
27 Jul 24 i `* Re: This function proves that only the outermost HHH examines the execution trace54Fred. Zwarts
27 Jul 24 i  `* Re: This function proves that only the outermost HHH examines the execution trace53olcott
27 Jul 24 i   +* Re: This function proves that only the outermost HHH examines the execution trace50Alan Mackenzie
27 Jul 24 i   i+* Re: This function proves that only the outermost HHH examines the execution trace17olcott
27 Jul 24 i   ii+* Re: This function proves that only the outermost HHH examines the execution trace9Alan Mackenzie
27 Jul 24 i   iii`* Re: This function proves that only the outermost HHH examines the execution trace8olcott
27 Jul 24 i   iii `* Re: This function proves that only the outermost HHH examines the execution trace7Alan Mackenzie
27 Jul 24 i   iii  `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
27 Jul 24 i   iii   `* Re: This function proves that only the outermost HHH examines the execution trace5Alan Mackenzie
28 Jul 24 i   iii    `* Re: This function proves that only the outermost HHH examines the execution trace4olcott
28 Jul 24 i   iii     `* Re: This function proves that only the outermost HHH examines the execution trace3Alan Mackenzie
28 Jul 24 i   iii      `* Re: This function proves that only the outermost HHH examines the execution trace2olcott
28 Jul 24 i   iii       `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   ii`* Re: This function proves that only the outermost HHH examines the execution trace7Mikko
29 Jul 24 i   ii `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
29 Jul 24 i   ii  +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
29 Jul 24 i   ii  `* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
29 Jul 24 i   ii   `* Re: This function proves that only the outermost HHH examines the execution trace3olcott
29 Jul 24 i   ii    +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
30 Jul 24 i   ii    `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
28 Jul 24 i   i+* Re: This function proves that only the outermost HHH examines the execution trace27Mike Terry
28 Jul 24 i   ii+- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   ii+* Re: This function proves that only the outermost HHH examines the execution trace21olcott
28 Jul 24 i   iii+- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   iii`* Re: This function proves that only the outermost HHH examines the execution trace19Fred. Zwarts
28 Jul 24 i   iii `* HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)18olcott
28 Jul 24 i   iii  +- Re: HHH(DDD) does not see the exact same behavior pattern as HHH(Infinite_Recursion)1Richard Damon
28 Jul 24 i   iii  `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)16Fred. Zwarts
28 Jul 24 i   iii   `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)15olcott
28 Jul 24 i   iii    +- Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) unless it can abort.1Richard Damon
29 Jul 24 i   iii    `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)13Fred. Zwarts
29 Jul 24 i   iii     `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)12olcott
29 Jul 24 i   iii      `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)11Fred. Zwarts
30 Jul 24 i   iii       `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)10Mike Terry
30 Jul 24 i   iii        `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)9olcott
30 Jul 24 i   iii         +- Re: HHH(DDD) does not see the exact same behavior pattern as HHH(Infinite_Recursion) OLCOTTS ERROR1Richard Damon
30 Jul 24 i   iii         +* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)6joes
31 Jul 24 i   iii         i`* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)5Mike Terry
31 Jul 24 i   iii         i `* Linz proof is essentially isomorphic4olcott
31 Jul 24 i   iii         i  `* Re: Linz proof is essentially isomorphic3Richard Damon
31 Jul 24 i   iii         i   `* Re: Linz proof is essentially isomorphic2olcott
31 Jul 24 i   iii         i    `- Re: Linz proof is essentially isomorphic1Richard Damon
30 Jul 24 i   iii         `- Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)1Fred. Zwarts
28 Jul 24 i   ii`* Re: This function proves that only the outermost HHH examines the execution trace4Alan Mackenzie
28 Jul 24 i   i`* Re: This function proves that only the outermost HHH examines the execution trace5Mikko
27 Jul 24 i   `* Re: This function proves that only the outermost HHH examines the execution trace2Fred. Zwarts
3 Aug 24 `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal