Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.theory
Subject: Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)
Date: Thu, 08 May 2025 16:45:01 -0700
Organization: None to speak of
Lines: 40
Message-ID: <87ecwyekg2.fsf@nosuchdomain.example.com>
References: <vv97ft$3fg66$1@dont-email.me> <vvgpk6$1a47o$4@dont-email.me>
	<vvgpo7$15i5e$26@dont-email.me> <vvgq6o$1acph$1@dont-email.me>
	<vvgqgl$15i5e$27@dont-email.me> <vvgr22$1ag3a$2@dont-email.me>
	<vvgt36$1auqp$2@dont-email.me> <vvgtbe$1b0li$1@dont-email.me>
	<vvguot$1auqp$3@dont-email.me> <vvh0t2$1b939$1@dont-email.me>
	<vvhap5$1hp80$1@dont-email.me> <vvhf20$1ihs9$1@dont-email.me>
	<vvhfnd$1hvei$3@dont-email.me> <vvil99$1ugd5$1@dont-email.me>
	<vvinvp$1vglb$1@dont-email.me> <vviv75$222r6$1@dont-email.me>
	<vvj1fp$22a62$1@dont-email.me> <vvj2j6$23gk7$1@dont-email.me>
	<as9TP.251456$lZjd.93653@fx05.ams4>
	<87msbmeo3b.fsf@nosuchdomain.example.com>
	<vvjc9b$27753$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Fri, 09 May 2025 01:45:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="302a6dd640940106301f9e87fdade96e";
	logging-data="2375298"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/x/L3m2EsKsnT1i1yewO45"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:WLCmXj847p0J16fc/alDMuH9lrQ=
	sha1:/56S73zC9m5mKNcB/Y2LAdfmerI=
Bytes: 3334

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.  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.

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?

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */