Liste des Groupes | Revenir à c theory |
Am Fri, 14 Mar 2025 10:13:41 -0500 schrieb olcott:counter-factualOn 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:Important distinction.Since HHH doesn;t call DDD, the statement is vacuous and shows aint main()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.
{
HHH(DDD); // No DDD can possibly ever return.
}
fundamental ignorance of what is being talked about.
Oh, I thought it was an unconditional simulator.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 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 same code cannot produce different behaviour.
The semantics of the finite string input DDD to HHH specifies that itNo. DDD always specifies the one same thing.
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.
Les messages affichés proviennent d'usenet.