Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

Liste des GroupesRevenir à c theory 
Sujet : Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 09. May 2025, 15:52:46
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vvl4ru$2rl0l$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla Thunderbird
On 5/8/2025 11:22 PM, Keith Thompson wrote:
Richard Damon <news.x.richarddamon@xoxy.net> writes:
On 5/8/25 10:23 PM, Keith Thompson wrote:
Richard Damon <richard@damon-family.org> writes:
On 5/8/25 7:53 PM, olcott wrote:
[...]
void DDD()
{
     HHH(DDD);
     return;
}
We don't need to look at any of my code for me
to totally prove my point. For example when
the above DDD is correctly simulated by HHH
this simulated DDD cannot possibly reach its own
"return" instruction.
>
And thus not correctly simulatd.
>
Sorry, there is no "OS Exemption" to correct simulaiton;.
Perhaps I've missed something.  I don't see anything in the above
that
implies that HHH does not correctly simulate DDD.  Richard, you've read
far more of olcott's posts than I have, so perhaps you can clarify.
If we assume that HHH correctly simulates DDD, then the above code
is
equivalent to:
      void DDD()
      {
        DDD();
        return;
      }
which is a trivial case of infinite recursion.  As far as I can
tell,
assuming that DDD() is actually called at some point, neither the
outer execution of DDD nor the nested (simulated) execution of DDD
can reach the return statement.  Infinite recursion might either
cause a stack overflow and a probable program crash, or an unending
loop if the compiler implements tail call optimization.
I see no contradiction, just an uninteresting case of infinite
recursion, something that's well understood by anyone with a
reasonable level of programming experience.  (And it has nothing to
do with the halting problem as far as I can tell, though of course
olcott has discussed the halting problem elsewhere.)
Richard, what am I missing?
>
>
You are missing the equivocation he is using on what is "DDD()"
>
First, he tries to define it as just the code of the function, and not
including any of the code that it calls. He does this so all the
various HHH that he talks about are given the "same" input.
>
Then he tries to also say that when those functions look at DDD, they
can follow the memory chain to the functions that it calls, that
weren't actually part of the input.
>
This means the "behavior" of his input isn't actually defined by the input.
 I haven't seen any of that in the posts to which I've recently replied
(and I absolutely do not have the patience to read everything he's
posted here).
 What I've seen in the articles to which I've recently replied has been
just a strangely little C function and some claims about simulation.
Viewed in isolation, I don't think any of that (again, ignoring the vast
majority of what he's posted in this newsgroup) seems contradictory so far.
 
When viewed in isolation (as intended) there is no basis
for rebuttal. Richard refers to extraneous irrelevant
points in an attempt to deflect the conversation away
from the simple truth:
void DDD()
{
   HHH(DDD);
   return;
}
  "..DDD correctly simulated by HHH cannot
   possibly REACH its own "return" instruction."

He has also, to get around other objections about what he is doing,
stipulated that his functions must be pure functions, and thus only
dependent on their direct input, other wise we can add the following
code to the beginning of HHH to make his statement false:
 I've seen no mention of pure functions in the posts to which I've
recently replied.
 [...]
 
Dodging and weaving is Richard's style.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
5 May 25 * Formal systems that cannot possibly be incomplete except for unknowns and unknowable594olcott
5 May 25 +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Mikko
5 May 25 +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable19Alan Mackenzie
5 May 25 i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable18olcott
5 May 25 i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable17Alan Mackenzie
5 May 25 i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable16olcott
5 May 25 i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable15Alan Mackenzie
5 May 25 i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable14olcott
5 May 25 i     `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable13Alan Mackenzie
5 May 25 i      `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable12olcott
5 May 25 i       +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable7Alan Mackenzie
5 May 25 i       i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable6olcott
5 May 25 i       i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable5Alan Mackenzie
5 May 25 i       i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable4olcott
6 May 25 i       i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3Alan Mackenzie
6 May 25 i       i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
7 May 25 i       i     `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
6 May 25 i       `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable4joes
6 May 25 i        `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3olcott
7 May 25 i         +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
7 May 25 i         `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Mikko
5 May 25 `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable573Richard Damon
5 May 25  +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable569olcott
6 May 25  i+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3Richard Damon
6 May 25  ii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
6 May 25  ii `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
6 May 25  i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable565olcott
6 May 25  i +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable561Alan Mackenzie
6 May 25  i i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable560olcott
6 May 25  i i +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable556Alan Mackenzie
6 May 25  i i i+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable552Richard Heathfield
7 May 25  i i ii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable5Ben Bacarisse
7 May 25  i i iii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable4Richard Heathfield
7 May 25  i i iii +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
7 May 25  i i iii +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
9 May 25  i i iii `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
7 May 25  i i ii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable544olcott
7 May 25  i i iii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable532Richard Heathfield
7 May 25  i i iiii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable529olcott
7 May 25  i i iiiii+- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1dbush
7 May 25  i i iiiii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable527Richard Heathfield
7 May 25  i i iiiii `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable526olcott
7 May 25  i i iiiii  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable525Richard Heathfield
7 May 25  i i iiiii   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable524olcott
7 May 25  i i iiiii    +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable511dbush
7 May 25  i i iiiii    i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable510olcott
7 May 25  i i iiiii    i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable509dbush
8 May 25  i i iiiii    i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable508olcott
8 May 25  i i iiiii    i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable507dbush
8 May 25  i i iiiii    i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable506olcott
8 May 25  i i iiiii    i     `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable505dbush
8 May 25  i i iiiii    i      `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable504olcott
8 May 25  i i iiiii    i       `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable503dbush
8 May 25  i i iiiii    i        +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
8 May 25  i i iiiii    i        i`- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1dbush
8 May 25  i i iiiii    i        +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable499olcott
8 May 25  i i iiiii    i        i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable498dbush
8 May 25  i i iiiii    i        i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable497olcott
8 May 25  i i iiiii    i        i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable496dbush
8 May 25  i i iiiii    i        i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable495olcott
8 May 25  i i iiiii    i        i    +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3dbush
8 May 25  i i iiiii    i        i    i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
8 May 25  i i iiiii    i        i    i `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1dbush
8 May 25  i i iiiii    i        i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable491Richard Heathfield
8 May 25  i i iiiii    i        i     `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable490olcott
8 May 25  i i iiiii    i        i      +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable488Richard Heathfield
8 May 25  i i iiiii    i        i      i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable487Mike Terry
8 May 25  i i iiiii    i        i      i +* Incorrect requirements --- Computing the mapping from the input to HHH(DD)485olcott
8 May 25  i i iiiii    i        i      i i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)474Fred. Zwarts
8 May 25  i i iiiii    i        i      i ii`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)473olcott
8 May 25  i i iiiii    i        i      i ii +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)468Richard Heathfield
8 May 25  i i iiiii    i        i      i ii i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)6olcott
8 May 25  i i iiiii    i        i      i ii ii`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)5Richard Heathfield
8 May 25  i i iiiii    i        i      i ii ii `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4olcott
9 May 25  i i iiiii    i        i      i ii ii  `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3Richard Damon
9 May 25  i i iiiii    i        i      i ii ii   `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)2olcott
9 May 25  i i iiiii    i        i      i ii ii    `- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
8 May 25  i i iiiii    i        i      i ii i+- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Heathfield
8 May 25  i i iiiii    i        i      i ii i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)460Keith Thompson
8 May 25  i i iiiii    i        i      i ii i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Keith Thompson
8 May 25  i i iiiii    i        i      i ii i +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)127olcott
9 May 25  i i iiiii    i        i      i ii i i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)126Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)125olcott
9 May 25  i i iiiii    i        i      i ii i i  +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)12Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)11olcott
9 May 25  i i iiiii    i        i      i ii i i  i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  i +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4Richard Heathfield
9 May 25  i i iiiii    i        i      i ii i i  i i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3olcott
9 May 25  i i iiiii    i        i      i ii i i  i i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Heathfield
9 May 25  i i iiiii    i        i      i ii i i  i i `- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  i `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4Fred. Zwarts
9 May 25  i i iiiii    i        i      i ii i i  i  `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3olcott
9 May 25  i i iiiii    i        i      i ii i i  i   +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
10 May 25  i i iiiii    i        i      i ii i i  i   `- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Fred. Zwarts
9 May 25  i i iiiii    i        i      i ii i i  +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)100Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)2olcott
9 May 25  i i iiiii    i        i      i ii i i  ii`- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)10Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  ii`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)9Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  ii +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)2olcott
9 May 25  i i iiiii    i        i      i ii i i  ii +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  ii `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3olcott
9 May 25  i i iiiii    i        i      i ii i i  i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)67Fred. Zwarts
9 May 25  i i iiiii    i        i      i ii i i  i+- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
10 May 25  i i iiiii    i        i      i ii i i  i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)19Mike Terry
9 May 25  i i iiiii    i        i      i ii i i  +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3Richard Heathfield
9 May 25  i i iiiii    i        i      i ii i i  `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)9Fred. Zwarts
8 May 25  i i iiiii    i        i      i ii i `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)331olcott
9 May 25  i i iiiii    i        i      i ii `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4Fred. Zwarts
9 May 25  i i iiiii    i        i      i i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)10olcott
8 May 25  i i iiiii    i        i      i `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
8 May 25  i i iiiii    i        i      `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
8 May 25  i i iiiii    i        `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1olcott
7 May 25  i i iiiii    +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable11Richard Heathfield
8 May 25  i i iiiii    `- Re: faithful simulations [was: Formal systems that cannot possibly be incomplete except for unknowns and unknowable]1joes
7 May 25  i i iiii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2Richard Heathfield
7 May 25  i i iii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable11dbush
7 May 25  i i ii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
6 May 25  i i i+- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1olcott
7 May 25  i i i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2Mikko
7 May 25  i i +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
7 May 25  i i +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Mikko
7 May 25  i i `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
6 May 25  i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3Richard Damon
5 May 25  +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2Richard Heathfield
6 May 25  `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal