Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake or Liars

Liste des GroupesRevenir à theory 
Sujet : Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake or Liars
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 14. Mar 2025, 16:13:41
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vr1h36$1ev1a$8@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
On 3/14/2025 9:10 AM, Richard Damon wrote:
On 3/13/25 11:53 PM, olcott wrote:
On 3/13/2025 10:03 PM, Richard Damon wrote:
On 3/13/25 10:07 PM, olcott wrote:
On 3/13/2025 6:09 PM, Richard Damon wrote:
On 3/13/25 9:41 AM, olcott wrote:
On 3/13/2025 6:18 AM, Dan Cross wrote:
In article <vqud4e$36e14$3@dont-email.me>,
Fred. Zwarts <F.Zwarts@HetNet.nl> wrote:
Op 12.mrt.2025 om 16:31 schreef olcott:
[snip]
When N steps of DDD are correctly emulated by every element
of the set of C functions named HHH that do x86 emulation and
>
N is each element of the set of natural numbers
>
then no DDD of the set of HHH/DDD pairs ever reaches its
"return" instruction and terminates normally.
>
In other words no HHH of the set of HHH/DDD pairs ever succeeds to
complete the simulation of a halting program. Failure to reach the end
of a halting program is not a great success. If all HHH in this set
fail, it would be better to change your mind and start working on
something more useful.
>
He seems to think that he's written a program that detects that
his thing hasn't 'reached its "return" instruction and
terminate[d] normally', given some number of steps, where that
number is ... the cardinality of the natural numbers.
>
I wonder if he knows that the set of natural numbers is
infintite, though I suspect he'd say something like, "but it's
countable!"  To which I'd surmise that he has no idea what that
means.
>
>
void DDD()
{
   HHH(DDD);
   return;
}
>
Everyone here knows that when N steps of DDD are correctly
simulated by HHH that DDD never reaches its own "return"
instruction and terminates normally thus never halts.
*AND THEY LIE ABOUT IT BY ENDLESSLY CHANGING THE SUBJECT*
>
>
No, the PARTIAL EMULATION done by HHH can't reach that point,
>
But a complete emulation can?
>
>
Yes, but an HHH that gives an answer doesn't do one, due to the pathological design of the template used to build DD to the HHH it calls (which is the only HHH that can exist, or you have violated the basic rules of programing and logic).
>
We have two basic cases,
>
1) if HHH does the partial emulation you describe, then the complete emulation of DD will see that DD call HHH, and it will emulate its input for a while, then abort and theu return 0 to DD which will then halt.
>
>
int main()
{
   HHH(DDD); // No DDD can possibly ever return.
}
>
 Since HHH doesn;t call DDD, the statement is vacuous and shows a fundamental ignorance of what is being talked about.
 Yes, No HHH can emulated DDD to the end, but since halting is DEFINED by the behavior of the program, and for every HHH that aborts and returns, the program of DDD, as tested with:
 int main()
{
    DDD()
}
 will return to main, that shows that every HHH that returns 0 fails to be a Halt Decider or Termination Analyzer. PERIOD.
 The fact that it may meet your defintion of POOP says maybe you have solvec the POOP problem, but it seems you can't even properly define it in the nornal field of Computation Theory.
void DDD()
{
   HHH(DDD);
   return;
}
The only difference between HHH and HHH1 is that they are
at different locations in memory. DDD simulated by HHH1
has identical behavior to DDD() executed in main().
The semantics of the finite string input DDD to HHH specifies
that it will continue to call HHH(DDD) in recursive simulation.
The semantics of the finite string input DDD to HHH1 specifies
to simulate to DDD exactly once.
--
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
11 Mar 25 * Every sufficiently competent C programmer knows343olcott
11 Mar 25 +* Re: Every sufficiently competent C programmer knows25Richard Damon
11 Mar 25 i`* Re: Every sufficiently competent C programmer knows24olcott
11 Mar 25 i +- Re: Every sufficiently competent C programmer knows1dbush
11 Mar 25 i +* Re: Every sufficiently competent C programmer knows21Mikko
11 Mar 25 i i`* Re: Every sufficiently competent C programmer knows20olcott
11 Mar 25 i i +- Re: Every sufficiently competent C programmer knows1Richard Heathfield
11 Mar 25 i i +* Re: Every sufficiently competent C programmer knows4Mikko
11 Mar 25 i i i`* Re: Every sufficiently competent C programmer knows3olcott
11 Mar 25 i i i +- Re: Every sufficiently competent C programmer knows1Richard Damon
12 Mar 25 i i i `- Re: Every sufficiently competent C programmer knows1Mikko
11 Mar 25 i i +- Re: Every sufficiently competent C programmer knows1Richard Damon
16 Mar 25 i i `* Re: Every sufficiently competent C programmer knows13Mikko
16 Mar 25 i i  +* Re: Every sufficiently competent C programmer knows11Richard Heathfield
16 Mar 25 i i  i+* Re: Every sufficiently competent C programmer knows2Mikko
16 Mar 25 i i  ii`- Re: Every sufficiently competent C programmer knows1Richard Heathfield
16 Mar 25 i i  i`* Re: Every sufficiently competent C programmer knows8Keith Thompson
16 Mar 25 i i  i +* Every sufficiently competent C programmer knows --- original post appended at end6olcott
16 Mar 25 i i  i i+* Re: Every sufficiently competent C programmer knows --- original post appended at end4joes
17 Mar 25 i i  i ii`* Re: Every sufficiently competent C programmer knows --- Correct Emulation Specifies Behavior3olcott
17 Mar 25 i i  i ii +- Re: Every sufficiently competent C programmer knows --- Correct Emulation Specifies Behavior1joes
17 Mar 25 i i  i ii `- Re: Every sufficiently competent C programmer knows --- Correct Emulation Specifies Behavior1Richard Damon
17 Mar 25 i i  i i`- Re: Every sufficiently competent C programmer knows --- original post appended at end1Mikko
16 Mar 25 i i  i `- Re: Every sufficiently competent C programmer knows1Richard Heathfield
16 Mar 25 i i  `- Re: Every sufficiently competent C programmer knows1olcott
11 Mar 25 i `- Re: Every sufficiently competent C programmer knows1Richard Damon
11 Mar 25 +- Re: Every sufficiently competent C programmer knows1Richard Heathfield
11 Mar 25 +* Re: Every sufficiently competent C programmer knows16Fred. Zwarts
11 Mar 25 i+* Re: Every sufficiently competent C programmer knows12Richard Heathfield
11 Mar 25 ii`* Re: Every sufficiently competent C programmer knows11olcott
11 Mar 25 ii +* Re: Every sufficiently competent C programmer knows5Richard Heathfield
11 Mar 25 ii i`* Re: Every sufficiently competent C programmer knows4olcott
11 Mar 25 ii i `* Re: Every sufficiently competent C programmer knows3Richard Heathfield
11 Mar 25 ii i  `* Re: Every sufficiently competent C programmer knows2olcott
11 Mar 25 ii i   `- Re: Every sufficiently competent C programmer knows1Richard Heathfield
11 Mar 25 ii +* Re: Every sufficiently competent C programmer knows4Mikko
11 Mar 25 ii i+- Re: Every sufficiently competent C programmer knows1Richard Heathfield
11 Mar 25 ii i`* Re: Every sufficiently competent C programmer knows2olcott
12 Mar 25 ii i `- Re: Every sufficiently competent C programmer knows1Mikko
11 Mar 25 ii `- Re: Every sufficiently competent C programmer knows1Richard Damon
11 Mar 25 i`* Re: Every sufficiently competent C programmer knows3Mikko
11 Mar 25 i `* Re: Every sufficiently competent C programmer knows2olcott
11 Mar 25 i  `- Re: Every sufficiently competent C programmer knows1Mikko
11 Mar 25 `* Re: Every sufficiently competent C programmer knows300Mikko
11 Mar 25  `* Re: Every sufficiently competent C programmer knows299olcott
11 Mar 25   +* Re: Every sufficiently competent C programmer knows290Richard Heathfield
11 Mar 25   i+* Re: Every sufficiently competent C programmer knows5olcott
11 Mar 25   ii+- Re: Every sufficiently competent C programmer knows1Richard Heathfield
12 Mar 25   ii`* Re: Every sufficiently competent C programmer knows3Mikko
12 Mar 25   ii `* Re: Every sufficiently competent C programmer knows2Richard Heathfield
13 Mar 25   ii  `- Re: Every sufficiently competent C programmer knows1Mikko
11 Mar 25   i`* Re: Every sufficiently competent C programmer knows284Mike Terry
11 Mar 25   i +- Re: Every sufficiently competent C programmer knows1wij
11 Mar 25   i +* Re: Every sufficiently competent C programmer knows82Richard Heathfield
11 Mar 25   i i+* Re: Every sufficiently competent C programmer knows7wij
11 Mar 25   i ii+* Re: Every sufficiently competent C programmer knows5Richard Heathfield
11 Mar 25   i iii+- Re: Every sufficiently competent C programmer knows1wij
11 Mar 25   i iii`* Re: Every sufficiently competent C programmer knows3wij
11 Mar 25   i iii `* Re: Every sufficiently competent C programmer knows2Richard Heathfield
11 Mar 25   i iii  `- Re: Every sufficiently competent C programmer knows1dbush
12 Mar 25   i ii`- Re: Every sufficiently competent C programmer knows1Mikko
11 Mar 25   i i+* Re: Every sufficiently competent C programmer knows71Mike Terry
11 Mar 25   i ii+* Re: Every sufficiently competent C programmer knows3Richard Heathfield
12 Mar 25   i iii`* Re: Every sufficiently competent C programmer knows2Mike Terry
12 Mar 25   i iii `- Re: Every sufficiently competent C programmer knows1Richard Heathfield
12 Mar 25   i ii+* Re: Every sufficiently competent C programmer knows44Fred. Zwarts
12 Mar 25   i iii`* Re: Every sufficiently competent C programmer knows43Mike Terry
12 Mar 25   i iii `* Re: Every sufficiently competent C programmer knows --- posthumous reviewers42olcott
12 Mar 25   i iii  +* Re: Every sufficiently competent C programmer knows --- posthumous reviewers40Richard Damon
13 Mar 25   i iii  i`* Re: Every sufficiently competent C programmer knows --- posthumous reviewers39olcott
13 Mar 25   i iii  i +* Re: Every sufficiently competent C programmer knows --- posthumous reviewers3Richard Damon
13 Mar 25   i iii  i i`* Re: Every sufficiently competent C programmer knows --- posthumous reviewers2olcott
13 Mar 25   i iii  i i `- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Richard Damon
13 Mar 25   i iii  i +* Re: Every sufficiently competent C programmer knows --- posthumous reviewers34Mikko
13 Mar 25   i iii  i i`* Re: Every sufficiently competent C programmer knows --- posthumous reviewers33olcott
13 Mar 25   i iii  i i +* Re: Every sufficiently competent C programmer knows --- posthumous reviewers3joes
14 Mar 25   i iii  i i i`* Re: Every sufficiently competent C programmer knows --- posthumous reviewers2olcott
14 Mar 25   i iii  i i i `- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Richard Damon
14 Mar 25   i iii  i i +- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Richard Damon
14 Mar 25   i iii  i i +- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Fred. Zwarts
14 Mar 25   i iii  i i +* Re: Every sufficiently competent C programmer knows --- posthumous reviewers23Mikko
14 Mar 25   i iii  i i i`* Re: Every sufficiently competent C programmer knows --- posthumous reviewers22olcott
14 Mar 25   i iii  i i i +- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Richard Damon
15 Mar 25   i iii  i i i `* Re: Every sufficiently competent C programmer knows --- posthumous reviewers20Mikko
15 Mar 25   i iii  i i i  `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement19olcott
15 Mar 25   i iii  i i i   +* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement6dbush
16 Mar 25   i iii  i i i   i`* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement5olcott
16 Mar 25   i iii  i i i   i +* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement3dbush
16 Mar 25   i iii  i i i   i i`* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement2olcott
16 Mar 25   i iii  i i i   i i `- Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement1dbush
16 Mar 25   i iii  i i i   i `- Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement1Mikko
16 Mar 25   i iii  i i i   +- Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement1Mikko
16 Mar 25   i iii  i i i   +* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement5Richard Damon
16 Mar 25   i iii  i i i   i`* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement4olcott
16 Mar 25   i iii  i i i   i `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement3Richard Damon
17 Mar 25   i iii  i i i   i  `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement2olcott
17 Mar 25   i iii  i i i   i   `- Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement1Richard Damon
16 Mar 25   i iii  i i i   `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement6joes
16 Mar 25   i iii  i i i    `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement5olcott
16 Mar 25   i iii  i i i     `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement4dbush
16 Mar 25   i iii  i i i      `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement3olcott
15 Mar 25   i iii  i i `* Re: Every sufficiently competent C programmer knows --- posthumous reviewers4Mikko
13 Mar 25   i iii  i `- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Fred. Zwarts
13 Mar 25   i iii  `- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Fred. Zwarts
13 Mar 25   i ii`* Re: Every sufficiently competent C programmer knows23Ben Bacarisse
12 Mar 25   i i`* Re: Every sufficiently competent C programmer knows3Mikko
11 Mar 25   i +* Re: Every sufficiently competent C programmer knows --- Stupid Mistake?2olcott
11 Mar 25   i +* Re: Every sufficiently competent C programmer knows --- Counter-Factual ERROR4olcott
12 Mar 25   i +* Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake101olcott
12 Mar 25   i `* Re: Every sufficiently competent C programmer knows --- Mike's very stupid mistake93olcott
11 Mar 25   +* Re: Every sufficiently competent C programmer knows3Mikko
11 Mar 25   `* Re: Every sufficiently competent C programmer knows5Fred. Zwarts

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal