Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT
Date: Wed, 16 Apr 2025 06:51:51 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <da7e3a426a0b6c46c920ec387daf97544628c039@i2pn2.org>
References: <vsnchj$23nrb$2@dont-email.me> <vthqtc$5g2e$2@dont-email.me>
 <63af93cb608258cc3e12b9bab3a2efa0b7ee7eee@i2pn2.org>
 <vtit6a$15e5s$3@dont-email.me> <vtivmo$19aqd$1@dont-email.me>
 <vtkc4l$2h48g$3@dont-email.me> <vtkdnm$2iqu5$1@dont-email.me>
 <vtkkge$2si58$2@dont-email.me> <vtl56j$3aajg$1@dont-email.me>
 <vtlu0a$3vgp0$1@dont-email.me> <vtm04f$2a90$1@dont-email.me>
 <vtm9q8$aut7$1@dont-email.me> <vtmah8$2a90$2@dont-email.me>
 <vtmgen$gs48$1@dont-email.me> <vtmhdr$sce$1@news.muc.de>
 <vtmu6g$t2fj$1@dont-email.me> <vtmvkc$s2m5$1@dont-email.me>
 <vtn815$19pod$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 16 Apr 2025 10:52:35 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="584566"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <vtn815$19pod$1@dont-email.me>
Bytes: 4228
Lines: 57

On 4/15/25 11:26 PM, olcott wrote:
> On 4/15/2025 8:03 PM, Richard Heathfield wrote:
>> On 16/04/2025 01:38, olcott wrote:
>>> It is moronic that people insist on ignoring
>>> the pathological relationship that DD specifies that changes the
>>> behavior of DD to make this behavior DIFFERENT THAN THE BEHAVIOR
>>> OF THE DIRECT EXECUTION !!!
>>
>> It doesn't matter. It only matters whether it gets the answer right, 
>> which it can't (if you are correctly modelling the problem correctly) 
>> because the Halting Problem is essentially a trick problem for which 
>> there's /no/ right answer. "A strange game", as Joshua said. "The only 
>> winning move is not to play."
>>
>> One other point - the people you're talking to are /not/ morons. They 
>> are intelligent, educated people who are doing their best to help you 
>> around your evident misunderstanding of the Halting Problem. You may 
>> believe them to be mistaken, but to continue to treat them with 
>> disdain is not the best way to retain your audience and suggests to 
>> the world at large that you're a lightweight who never outgrew 
>> adolescence.
>>
>> Please, for your own sake, try growing up. Learn to treat your 
>> interlocutors with a little common decency, and think about what 
>> they're telling you. Truth is not a democracy, but when a lot of very 
>> smart people tell you you're wrong and /no/body has come on board, 
>> it's time to think long and hard about your position.
>>
> 
> YOU ALL ARE ALL VERY STUPIDLY VERY WRONG

N, you are.

> *corresponding output to the input*
> *corresponding output to the input*
> *corresponding output to the input*
> *corresponding output to the input*
> *corresponding output to the input*
> 

Which means according to the mapping defined by the question, which 
means the mapping of the Halt Property, which is the mapping of the 
halting behavior of the program described by the input, which means to 
accept if the program desecribed by the input halts and to rejest if it 
will never halt.

NOTHING in the actual question depend on if the decider can simulate its 
input to a final state, that is just your strawman.

Note, for the input to even HAVE a corresponding output, the input must 
be in the domain of the mapping, which means it needs to be a full 
description, with all the needed details, of the PROGRAM to be decided 
on, which means it needs to include ALL the instructions that will be 
exdcuted when we run that program, and thus MUST include the code for 
the HHH that it calls. Your trying to exclude it just makes your whole 
argument a category error.

Sorry, all you are doing is proving that you don't know what you are doing.