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

On 09/05/2025 00:41, olcott wrote:
<snip>

When HHH <is> a correct simulator then DDD emulated
by HHH cannot possibly reach its own "return" instruction.

<https://en.wikipedia.org/wiki/Proof_by_assertion>
Proof by assertion, sometimes informally referred to as proof by repeated assertion, is an informal fallacy in which a proposition is repeatedly restated regardless of contradiction and refutation.[1] The proposition can sometimes be repeated until any challenges or opposition cease, letting the proponent assert it as fact, and solely due to a lack of challengers (argumentum ad nauseam).
Refutations abound.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within