Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: ZFC solution to incorrect questions: reject them
Date: Wed, 13 Mar 2024 16:54:44 -0500
Organization: A noiseless patient Spider
Lines: 84
Message-ID: <ust7b4$15m14$3@dont-email.me>
References: <usq5uq$e4sh$1@dont-email.me> <usq715$ed9g$3@dont-email.me>
 <usq8rh$etp9$1@dont-email.me> <usqb4a$1l201$32@i2pn2.org>
 <usqcts$froc$1@dont-email.me> <usqh4h$1lvbo$3@i2pn2.org>
 <usqhoj$gtih$2@dont-email.me> <usql2f$1m5uu$2@i2pn2.org>
 <usqmdi$hu9o$1@dont-email.me> <usqn3v$i33s$1@dont-email.me>
 <usqo6h$hubd$3@dont-email.me> <usqp0u$ie7v$1@dont-email.me>
 <usqq3p$iit2$1@dont-email.me> <usqqto$ipr7$1@dont-email.me>
 <usqrcq$iit2$3@dont-email.me> <usqu5h$jamh$1@dont-email.me>
 <usr0in$jp1l$2@dont-email.me> <usr2bv$k5kt$1@dont-email.me>
 <usr3ph$kdfp$2@dont-email.me> <usr7oo$1mk0f$5@i2pn2.org>
 <usr83l$on40$5@dont-email.me> <ussl5b$11m35$3@dont-email.me>
 <ussmik$11q5n$6@dont-email.me> <ussp50$1oq7p$7@i2pn2.org>
 <ust3ls$14v0p$1@dont-email.me> <ust6dn$1oq9q$9@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 13 Mar 2024 21:54:44 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="aa13334f329e2006d1dfb90f9960e443";
	logging-data="1234980"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ZQHuMe8qzgvokyyfuwVv6"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:StmKjapGFK8ZFqjUehmEPGpcktY=
Content-Language: en-US
In-Reply-To: <ust6dn$1oq9q$9@i2pn2.org>
Bytes: 4900

On 3/13/2024 4:39 PM, Richard Damon wrote:
> On 3/13/24 1:52 PM, olcott wrote:
>> On 3/13/2024 12:52 PM, Richard Damon wrote:
>>> On 3/13/24 10:08 AM, olcott wrote:
>>>> On 3/13/2024 11:44 AM, immibis wrote:
>>>>> On 13/03/24 04:55, olcott wrote:
>>>>>> On 3/12/2024 10:49 PM, Richard Damon wrote:
>>>>>>>
>>>>>>> Not quite. It always gets the wrong answer, but only one of them 
>>>>>>> for each quesiton.
>>>>>>>
>>>>>>
>>>>>> They all gets the wrong answer on a whole class of questions
>>>>>
>>>>> Wrong. You said. yourself. that H1 gets the right answer for D.
>>>>>
>>>>
>>>> Since it is a logical impossibility to determine the truth
>>>> value of a self-contradictory expression the requirement
>>>> for H to do this is bogus.
>>>
>>> Shows you are just a LIAR, as there IS a truth value to the 
>>> expression that is the requirment for ANY SPECIFIC H.
>>>
>>
>> *Lying about me being a liar may possibly cost your soul*
>> *Lying about me being a liar may possibly cost your soul*
>> *Lying about me being a liar may possibly cost your soul*
>>
>> There is no mapping from H(D,D) to Halts(D,D) that exists.
>> This proves that H(D,D) is being asked an incorrect question.
>>
> 
> Why, because it is NOT a LIE.
> 
> You don't even know the definiton of an incorrect question.
> 
I invented it so I get to stipulate its meaning.
https://groups.google.com/g/sci.lang/c/AO5Vlupeelo/m/nxJy7N2vULwJ

> The fact that there DOES exist a mapping Halt(M,d) that maps all Turing 
> Machines and there input to a result of Halting / Non-Halting for EVERY 
> member of that input set, means tha Halts is a valid mapping to ask a 
> decider to try to decider.
> 
That part is true.
Likewise when you ask a man that has never been married:
Have you stopped beating tour wife?
There are some men that have stopped beating their wife.

> The fact that no machine that exist that computes that mapping, means 
> the mapping is uncomputable.
> 
Likewise the square-root of an actual banana is also uncomputable
for the same logical impossibility reason.

> Perhaps you should actually learn the technical meaning of the terms 
> before you state LIES about them.
> 
Revelations 21:8 NRSV
....all liars, their place will be in the lake that burns
with fire and sulphur, which is the second death.’

I am pointing out and correcting the incoherence of the
meaning of these terms.

> Yes, I guess it would be an incorrect question to ask what a correct 
> halt decider computes for a given input, the best I can interprete your 
> statement, since no H that does that can exist, but that isn't what the 
> question asks.
> 
> You are just stuck in the LIES you have created with your strawmen and 
> ignorance of the subject you are talking about.

*You know that I am not saying anything that I do not believe*

Revelations 21:8 NRSV
....all liars, their place will be in the lake that burns
with fire and sulphur, which is the second death.’

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