novaBBS - comp.lang.c - Experts would agree that my reviewers are incorrect

Experts would agree that my reviewers are incorrect

<ZsGdnbObotHZcxH_nZ2dnUU7_8zNnZ2d@giganews.com>

https://www.novabbs.com/devel/article-flat.php?id=21727&group=comp.lang.c#21727

copy link Newsgroups: comp.theory comp.software-eng comp.lang.c comp.lang.c++
Followup: comp.theory,comp.ai.philosophy,sci.logic,sci.math

Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Tue, 24 May 2022 09:40:04 -0500
Date: Tue, 24 May 2022 09:40:02 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.9.0
Newsgroups: comp.theory,comp.software-eng,comp.lang.c,comp.lang.c++
Content-Language: en-US
From: NoO...@NoWhere.com (olcott)
Subject: Experts would agree that my reviewers are incorrect
Followup-To: comp.theory,comp.ai.philosophy,sci.logic,sci.math
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <ZsGdnbObotHZcxH_nZ2dnUU7_8zNnZ2d@giganews.com>
Lines: 38
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-pXXTmsov8T9hxmgZL2HTpTQc9fK1xicLFGRUha8R4gddkeukp5FSZ7gO6GpzU7yNlA9I2W+YOc1ZaiG!Sc5orHOPZf1xBL2sbUwPgnzp3zN1GO/WTE9eGrOTRQhbEQQw//W2bEKvRHUSlL9Y5/g9nJbFoog=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2811

by: olcott - Tue, 24 May 2022 14:40 UTC

All of the recent discussions are simply disagreement with an easily
verifiable fact. Any smart software engineer with a sufficient technical
background can easily confirm that H(P,P)==0 is correct:

Where H is a C function that correctly emulates its input pair of finite
strings of the x86 machine code of function P and criterion for
returning 0 is that the simulated P would never reach its "ret" instruction.

(1) Good software engineering proves that H(P,P)==0 is correct.

The only other remaining objection is whether or not a halt decider must
compute the mapping of its input finite strings to an accept or reject
state on the basis of the actual behavior actually specified by its
input OR SOME OTHER MEASURE.

A decider must compute the mapping from its inputs finite strings to an
accept of reject state. A computable function must compute the mapping
of from inputs finite strings to its corresponding output.
https://en.wikipedia.org/wiki/Computable_function

(2) Good computer science shows that a halt decider must
compute the mapping from its input finite strings to an accept or
reject state on the basis of the actual behavior actually specified by
its input. Since P(P) is not an input to H(P,P) it is excluded.

Halting problem undecidability and infinitely nested simulation (V5)

https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Sex, Drugs & Linux Rules -- MaDsen Wikholm, mwikholm@at8.abo.fi

devel / comp.lang.c / Experts would agree that my reviewers are incorrect

Subject	Author
Experts would agree that my reviewers are incorrect	olcott