Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: Alan Mackenzie <acm@muc.de>
Newsgroups: comp.theory
Subject: Re: Can D simulated by H terminate normally?
Date: Fri, 3 May 2024 14:08:39 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <v12r57$1ubb$1@news.muc.de>
References: <v0k4jc$laej$1@dont-email.me>   <v0m9bt$17k7o$4@dont-email.me> <v0mkrq$2hf3s$3@i2pn2.org> <v0n5tj$1hdqe$1@dont-email.me> <v0o022$2j1tu$1@i2pn2.org> <v0obm0$1q3aq$1@dont-email.me> <v0p9tv$2ki5r$7@i2pn2.org> <v0q13d$29thh$1@dont-email.me> <v0qgoh$2ddfa$1@dont-email.me> <v0r3nn$2hb7o$4@dont-email.me> <v0t41t$33kt6$1@dont-email.me> <v0tovq$3881i$3@dont-email.me> <v0vkmt$3ool4$1@dont-email.me> <v108r3$3tep8$1@dont-email.me> <v12bki$fg7q$1@dont-email.me> <v12kdc$hk7o$1@dont-email.me>
Injection-Date: Fri, 3 May 2024 14:08:39 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="63851"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
Bytes: 3768
Lines: 70

olcott <polcott333@gmail.com> wrote:
> On 5/3/2024 4:43 AM, Mikko wrote:
>> On 2024-05-02 14:43:45 +0000, olcott said:

[ .... ]

>>> This is not computer science it is only software engineering.

>> Therefore not convincing.

> We must have agreement on verified facts before proceeding
> otherwise people leap to the conclusion that I must be wrong
> on the basis of not paying attention to what I am saying.

They say you are wrong on the basis of their superior education and
knowledge, as well as by reading what you write.  You calling your (a)
sentence "a verified fact" is you lying.  You know full well that it is
at best controversial, and likely highly problematic.  If you were to
define things fully, and talk in non-vague language, something like your
(a) might come to be regarded as a fact.  We're some distance away from
that happening.

>>> There is no judgment call here it is all empirical fact.

>> Empirical facts are not proofs. That someting sometimes happened
>> some way does not generalize to other more or less similar things
>> at other times.

> If you are telling the truth that D(D) simulated by H
> is ambiguous to you then you have insufficient skill at C.

It is so vague as to be meaningless.  To give a rough outline of what you
are trying to do would take at least a paragraph.

Talking about C skills, the following lines of C that you have been
spamming this newsgroup with are syntactically incorrect.  This was
pointed out to you several months ago, and you have not fixed the problem
since.  That suggests you have never tried to compile them, and thus
never run the "program" it's supposed to be a fragment of.  It also
suggests a lack of attention to detail, something essential to being a
skilled programmer.

> Can D correctly simulated by H terminate normally?
> 00 int H(ptr x, ptr x)  // ptr is pointer to int function
> 01 int D(ptr x)
> 02 {
> 03   int Halt_Status = H(x, x);
> 04   if (Halt_Status)
> 05     HERE: goto HERE;
> 06   return Halt_Status;
> 07 }
> 08
> 09 void main()
> 10 {
> 11   H(D,D);
> 12 }

And, note, you ARE spamming the newsgroup.  Anybody who wants to read
your invalid C code has already done so, likely many times.  You don't
need to keep posting it time after time after time.  Doing so could
conceivably lead to your being banned from posting.

[ .... ]

> -- 
> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
> hits a target no one else can see." Arthur Schopenhauer

-- 
Alan Mackenzie (Nuremberg, Germany).