On 1/21/2024 6:52 PM, immibis wrote:
> On 1/22/24 01:41, olcott wrote:
>> On 1/21/2024 6:33 PM, immibis wrote:
>>> On 1/22/24 01:27, olcott wrote:
>>>>
>>>> He is a computer science professor with a PhD and you are not.
>>>> He is simply saying the same thing that I have been saying since 2004.
>>>>
>>>> Alan Turing's Halting Problem is incorrectly formed (PART-TWO)
>>>> sci.logic
>>>> On 6/20/2004 11:31 AM, Peter Olcott wrote:
>>>>  > PREMISES:
>>>>  > (1) The Halting Problem was specified in such a way that a solution
>>>>  > was defined to be impossible.
>>>>  >
>>>>  > (2) The set of questions that are defined to not have any possible
>>>>  > correct answer(s) forms a proper subset of all possible questions.
>>>>  > …
>>>>  > CONCLUSION:
>>>>  > Therefore the Halting Problem is an ill-formed question.
>>>>  >
>>>>
>>>
>>> So if I ask you how to fly to the sun, it's an ill-formed question
>>> because you can't do it?
>>>
>>
>> Get in a space shuttle and fly to the Sun.
>>
>> An ill-formed question is any question that was defined
>> such that it cannot possibly have a correct answer.
>
> You don't have a space shuttle, so that was an incorrect answer. The
> question was ill-formed.

Basically you are saying that you don't want any
more replies from me.

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

On 1/22/24 01:57, Richard Damon wrote:
> You said we got the square root of a dead rabbit when we followed the
> instruction of the specification of S.
>
> That S was to call H(S) and loop if H said it was halting, else end.
>
> That is a simple S to write, at least if you have a H that meets its API
> specification (doesn't even need to give the right answer, just needs to
> meet the basic API).
>
> Even YOU have done that, at least when you include the code for H when
> you build it as a full program.

Olcott thinks the following:

void D(ptr x) {
if(H(x,x))
HERE: goto HERE;
}

isn't a program.

Since it isn't a program, what is it? I suppose Olcott thinks it is a
dead rabbit. Maybe he can calculate its square root.

On 1/22/24 02:00, olcott wrote:
> On 1/21/2024 6:52 PM, immibis wrote:
>> On 1/22/24 01:41, olcott wrote:
>>> On 1/21/2024 6:33 PM, immibis wrote:
>>>> On 1/22/24 01:27, olcott wrote:
>>>>>
>>>>> He is a computer science professor with a PhD and you are not.
>>>>> He is simply saying the same thing that I have been saying since 2004.
>>>>>
>>>>> Alan Turing's Halting Problem is incorrectly formed (PART-TWO)
>>>>> sci.logic
>>>>> On 6/20/2004 11:31 AM, Peter Olcott wrote:
>>>>>  > PREMISES:
>>>>>  > (1) The Halting Problem was specified in such a way that a solution
>>>>>  > was defined to be impossible.
>>>>>  >
>>>>>  > (2) The set of questions that are defined to not have any possible
>>>>>  > correct answer(s) forms a proper subset of all possible questions.
>>>>>  > …
>>>>>  > CONCLUSION:
>>>>>  > Therefore the Halting Problem is an ill-formed question.
>>>>>  >
>>>>>
>>>>
>>>> So if I ask you how to fly to the sun, it's an ill-formed question
>>>> because you can't do it?
>>>>
>>>
>>> Get in a space shuttle and fly to the Sun.
>>>
>>> An ill-formed question is any question that was defined
>>> such that it cannot possibly have a correct answer.
>>
>> You don't have a space shuttle, so that was an incorrect answer. The
>> question was ill-formed.
>
> Basically you are saying that you don't want any
> more replies from me.
>
Refusal to answer proves you wrong.

On 1/21/2024 7:07 PM, immibis wrote:
> On 1/22/24 01:57, Richard Damon wrote:
>> You said we got the square root of a dead rabbit when we followed the
>> instruction of the specification of S.
>>
>> That S was to call H(S) and loop if H said it was halting, else end.
>>
>> That is a simple S to write, at least if you have a H that meets its
>> API specification (doesn't even need to give the right answer, just
>> needs to meet the basic API).
>>
>> Even YOU have done that, at least when you include the code for H when
>> you build it as a full program.
>
> Olcott thinks the following:
>
> void D(ptr x) {
>     if(H(x,x))
>         HERE: goto HERE;
> }
>

I never said that.
"This sentence is not true." is a sentence.

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

On 1/22/24 02:20, olcott wrote:
> On 1/21/2024 7:07 PM, immibis wrote:
>> On 1/22/24 01:57, Richard Damon wrote:
>>> You said we got the square root of a dead rabbit when we followed the
>>> instruction of the specification of S.
>>>
>>> That S was to call H(S) and loop if H said it was halting, else end.
>>>
>>> That is a simple S to write, at least if you have a H that meets its
>>> API specification (doesn't even need to give the right answer, just
>>> needs to meet the basic API).
>>>
>>> Even YOU have done that, at least when you include the code for H
>>> when you build it as a full program.
>>
>> Olcott thinks the following:
>>
>> void D(ptr x) {
>>      if(H(x,x))
>>          HERE: goto HERE;
>> }
>>
>
> I never said that.
> "This sentence is not true." is a sentence.
>
>
You said it's "Something like the square root of a dead rabbit,
an incoherent concept."
Message-ID: <uokbog$drig$2@dont-email.me>