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

On 5/9/2025 3:41 AM, Fred. Zwarts wrote:

Op 09.mei.2025 om 02:14 schreef olcott:

On 5/8/2025 7:00 PM, Keith Thompson wrote:

olcott <polcott333@gmail.com> writes:

On 5/8/2025 6:45 PM, Keith Thompson wrote:

olcott <polcott333@gmail.com> writes:

On 5/8/2025 5:26 PM, Keith Thompson wrote:

[...]

I am more nearly an expert on C than on the Halting Problem.
Watching olcott base his arguments on C *and getting C so badly
wrong* leads me to think that he is largely ignorant of C (which is
fine, most people are) and is unwilling to admit it.  Watching the
reactions of actual experts to his mathematical arguments leads me
to the same conclusion about his knowledge of the relevant fields
of mathematics.
>

>
If Halt7.c is not compiled with the Microsoft
compiler then it will not produce the required
object file type.
>
The rest of the system has compiled under
Linux. I haven't tried this in a few years.

[...]
So you normally compile your code using the 2017 version of
Microsoft
Visual Studio.
I have no particular problem with that, but your failure to correct
a number of C errors in your code is odd.

>
As I already proved Microsoft reported no such errors.

>
Microsoft's compiler did not report certain errors that any conforming C
compiler is required by the standard to report.
>
Microsoft's compiler *can* be invoked in a way that causes it to
diagnose such errors, though it may or may not become fully conforming.
I haven't used it lately, but a web search should tell you how to do
that.
>

  I've pointed out several
syntax errors and constraint violations; at least the syntax errors
would be trivial to fix (even if your compiler is lax enough to
fail to diagnose them).  Richard Heathfield has pointed out code
that dereferences a null pointer.
>

>
Mike corrected Richard on this.
Those are stub functions intercepted
by x86utm the operating system.
>

You are using C, a language in which you appear to have little
apparent expertise or willingness to learn, to demonstrate claims
that, if true, would overturn ideas that have been generally accepted
for decades.  Can you understand why I might decide that analyzing
your claims is not worth my time?
>

>
I learned C back when K & R was the standard.

>
So did I.  I've kept up with the language as it has changed.
>

void DDD()
{
   HHH(DDD);
   return;
}
>
We don't need to look at any of my code for me
to totally prove my point.

>
Great.  Then why do you keep posting code?  Or is the above DDD()
function not included in "any of my code")?
>

                            For example when
the above DDD is correctly simulated by HHH
this simulated DDD cannot possibly reach its own
"return" instruction.

>
That's too vague for me to comment.
>

>
Do you know what a C language interpreter is?
I actually do this at the x86 machine code level
yet most people don't have a clue about that.
>
_DDD()
[00002172] 55         push ebp      ; housekeeping
[00002173] 8bec       mov ebp,esp   ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404     add esp,+04
[00002182] 5d         pop ebp
[00002183] c3         ret
Size in bytes:(0018) [00002183]
>
The above hypothetical HHH emulates the first four
instructions of DDD. This sequence repeats until a
OOM error.
>

  Only in your dream, because HHH has code to abort and after that abort the program halts without OOM error.
Every competent C programmer will understand that.

The above set of hypothetical HHH instances correctly
simulates 1 or more instructions of DDD including
its call to HHH(DDD). This does include HHH emulating
itself emulating DDD.
If you think it is impossible for HHH to emulate itself
emulating DDD then you don't have a clue about cooperative
multi-tasking and differing process contexts.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer