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

On 09/05/2025 00:53, olcott wrote:

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.

That's tantamount to a claim of a bug in your compiler. Conforming C compilers are /required/ to report syntax errors.

 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.

No, Mike just pointed out that you don't call all the functions you posted. The fact remains that your code is broken.

Those are stub functions intercepted
by x86utm the operating system.

They are nevertheless evidence of your poor grasp of the language.
<snip>
--
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