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,sci.logic
Subject: Re: H(D,D) cannot even be asked about the behavior of D(D)
Date: Thu, 13 Jun 2024 23:44:11 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v4geab$3tn6r$8@i2pn2.org>
References: <v45tec$4q15$1@dont-email.me> <v48gh6$3kcoe$4@i2pn2.org>
 <v48jv2$se9c$1@dont-email.me> <v49dge$3kcoe$5@i2pn2.org>
 <v4a0hs$157ic$3@dont-email.me> <v4ak5o$3kcoe$6@i2pn2.org>
 <v4am8r$19edk$1@dont-email.me> <v4apjs$19rnv$1@dont-email.me>
 <v4arp0$1a7uo$1@dont-email.me> <v4b1c3$3nf9n$3@i2pn2.org>
 <v4b50m$1f89t$5@dont-email.me> <v4c12r$3oop0$3@i2pn2.org>
 <v4cjl7$1o4b4$1@dont-email.me> <v4d991$3qbnc$1@i2pn2.org>
 <v4da12$1sioe$1@dont-email.me> <v4dbmf$3qbnc$3@i2pn2.org>
 <v4dcd6$1sioe$3@dont-email.me> <v4df0h$3qbnd$1@i2pn2.org>
 <v4dhf5$1tsdf$2@dont-email.me> <v4dja1$3qbnd$5@i2pn2.org>
 <v4djhf$1tsdf$6@dont-email.me> <v4dk7b$3qbnc$8@i2pn2.org>
 <v4dl3b$225kb$1@dont-email.me> <v4dn5u$3qbnd$8@i2pn2.org>
 <v4dop4$22o4a$2@dont-email.me> <v4dq07$3qbnc$12@i2pn2.org>
 <v4dqq0$2353n$1@dont-email.me> <v4el9m$3rsd6$3@i2pn2.org>
 <v4f3ec$2akmh$2@dont-email.me> <v4g65a$3tn6q$1@i2pn2.org>
 <v4g6vr$2ic0g$1@dont-email.me> <v4gc0b$3tn6r$6@i2pn2.org>
 <v4gcjc$2msea$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 14 Jun 2024 03:44:11 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="4119771"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v4gcjc$2msea$1@dont-email.me>
Bytes: 4301
Lines: 69

On 6/13/24 11:14 PM, olcott wrote:
> On 6/13/2024 10:04 PM, Richard Damon wrote:
>> On 6/13/24 9:39 PM, olcott wrote:
>>> On 6/13/2024 8:24 PM, Richard Damon wrote:
>>>> On 6/13/24 11:32 AM, olcott wrote:
>>>>>
>>>>> It is contingent upon you to show the exact steps of how H computes
>>>>> the mapping from the x86 machine language finite string input to
>>>>> H(D,D) using the finite string transformation rules specified by
>>>>> the semantics of the x86 programming language that reaches the
>>>>> behavior of the directly executed D(D)
>>>>>
>>>>
>>>> Why? I don't claim it can.
>>>>
>>>
>>> That means that H cannot even be asked the question:
>>> "Does D halt on its input?"
>>
>> WHy not? After all, H does what it does, the PERSON we ask is the 
>> programmer.
>>
> 
> *When H and D have a pathological relationship to each other*
> There is no way to encode any H such that it can be asked:
> Does D(D) halt?

Which just pproves that Halting is non-computable.

You keep on doing that, Making claims that show the truth of the 
statement you are trying to disprove.
The fact you don't undrstand that, just show how little you understand 
what you are saying.

> 
> You must see this from the POV of H or you won't get it.
> H cannot read your theory of computation textbooks, it
> only knows what it directly sees, its actual input.

But H doesn't HAVE a "poimt of view".

H is just a "mechanical" computation. It is a rote algorithm that does 
what it has been told to do.

It really seems likem you just don't understand the concept of 
deterministic automatons, and Willful beings as being different.

Which just shows how ignorant you are about what you talk about.

> 
> If there is no possible way for H to transform its input
> into the behavior of D(D) then H cannot be asked about
> the behavior of D(D).
> 

No, it says it can't do it, not that it can't be asked to do it.

We are allowed to ask questions, that have answers, that are too hard to 
compute.

THe input to H(D,D) DOES have a behaivor when run, so there IS a correct 
answer, so the question is valid.

It just turns out to hard to be computed.

You just don't understand the rules of the game, because it seems you 
never never even tried to learn them.

This has cause you to show your utter ignoracnce of the topic, and your 
reckless disregard for the turth.