Two PhD computer science professors independently (of my work)
affirm my 2004 statement.

*Problems with the Halting Problem* Eric C.R. Hehner (2011)
COMPUTING2011 Symposium on 75 years of Turing Machine and
Lambda-Calculus, Karlsruhe Germany, invited, 2011 October 20-21;
Advances in Computer Science and Engineering v.10 n.1 p.31-60, 2013
https://www.cs.toronto.edu/~hehner/PHP.pdf

E C R Hehner. *Objective and Subjective Specifications*
WST Workshop on Termination, Oxford. 2018 July 18.
See https://www.cs.toronto.edu/~hehner/OSS.pdf

Bill Stoddart. *The Halting Paradox*
20 December 2017
https://arxiv.org/abs/1906.05340
arXiv:1906.05340 [cs.LO]

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.
>
USENET Message-ID:
<kZiBc.103407$Gx4.18142@bgtnsc04-news.ops.worldnet.att.net>

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

On 2/20/24 10:58 AM, olcott wrote:
> Two PhD computer science professors independently (of my work)
> affirm my 2004 statement.
>
> *Problems with the Halting Problem* Eric C.R. Hehner  (2011)
> COMPUTING2011 Symposium on 75 years of Turing Machine and
> Lambda-Calculus, Karlsruhe Germany, invited, 2011 October 20-21;
> Advances in Computer Science and Engineering v.10 n.1 p.31-60, 2013
> https://www.cs.toronto.edu/~hehner/PHP.pdf
>
> E C R Hehner. *Objective and Subjective Specifications*
> WST Workshop on Termination, Oxford.  2018 July 18.
> See https://www.cs.toronto.edu/~hehner/OSS.pdf
>
> Bill Stoddart. *The Halting Paradox*
> 20 December 2017
> https://arxiv.org/abs/1906.05340
> arXiv:1906.05340 [cs.LO]
>
> 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.
> >
> USENET Message-ID:
> <kZiBc.103407$Gx4.18142@bgtnsc04-news.ops.worldnet.att.net>
>

And both of your "Computer Science Professors" prove that they don't
understand what a "Computation" is, and thus are not "Authorities" in
the field, and thus there "support" is worthless.

Finding a couple other people making the same mistake doesn't make it
not a mistake.

On 2/21/2024 4:27 AM, Mikko wrote:
> On 2024-02-20 15:58:59 +0000, olcott said:
>
>> Two PhD computer science professors independently (of my work)
>> affirm my 2004 statement.
>>
>> *Problems with the Halting Problem* Eric C.R. Hehner  (2011)
>> COMPUTING2011 Symposium on 75 years of Turing Machine and
>> Lambda-Calculus, Karlsruhe Germany, invited, 2011 October 20-21;
>> Advances in Computer Science and Engineering v.10 n.1 p.31-60, 2013
>> https://www.cs.toronto.edu/~hehner/PHP.pdf
>>
>> E C R Hehner. *Objective and Subjective Specifications*
>> WST Workshop on Termination, Oxford.  2018 July 18.
>> See https://www.cs.toronto.edu/~hehner/OSS.pdf
>>
>> Bill Stoddart. *The Halting Paradox*
>> 20 December 2017
>> https://arxiv.org/abs/1906.05340
>> arXiv:1906.05340 [cs.LO]
>>
>> 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.
>>  >
>> USENET Message-ID:
>> <kZiBc.103407$Gx4.18142@bgtnsc04-news.ops.worldnet.att.net>
>
> Nothing mentioned above is a disparagement of your "work".

I am referring to Ben's recent posts. Ben is disparaging my
current position on the basis of things that I have said about
my prior position and he is doing this without even looking
at my current position. Ben also uses the ad hominem attack
in one of his rebuttals.

> Nothing mentioned above is related to Ben Bacarisse.
>
> Your "work" is inaccurate disparagement of accomplishments
> of various authors (and, to a lesser extent, those authors
> themselves).
>

This paper of mine shows how the above two authors support
my 2004 position (also included in this paper) by direct
quotes from these two author's supporting this position.
I have a fifty email exchange with one of these authors
ensuring that we do agree.

Does the halting problem place an actual limit on computation?
https://www.researchgate.net/publication/374806722_Does_the_halting_problem_place_an_actual_limit_on_computation

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

On 2024-02-21 14:36:15 +0000, olcott said:

> On 2/21/2024 4:27 AM, Mikko wrote:
>> On 2024-02-20 15:58:59 +0000, olcott said:
>>
>>> Two PhD computer science professors independently (of my work)
>>> affirm my 2004 statement.
>>>
>>> *Problems with the Halting Problem* Eric C.R. Hehner  (2011)
>>> COMPUTING2011 Symposium on 75 years of Turing Machine and
>>> Lambda-Calculus, Karlsruhe Germany, invited, 2011 October 20-21;
>>> Advances in Computer Science and Engineering v.10 n.1 p.31-60, 2013
>>> https://www.cs.toronto.edu/~hehner/PHP.pdf
>>>
>>> E C R Hehner. *Objective and Subjective Specifications*
>>> WST Workshop on Termination, Oxford.  2018 July 18.
>>> See https://www.cs.toronto.edu/~hehner/OSS.pdf
>>>
>>> Bill Stoddart. *The Halting Paradox*
>>> 20 December 2017
>>> https://arxiv.org/abs/1906.05340
>>> arXiv:1906.05340 [cs.LO]
>>>
>>> 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.
>>>  >
>>> USENET Message-ID:
>>> <kZiBc.103407$Gx4.18142@bgtnsc04-news.ops.worldnet.att.net>
>>
>> Nothing mentioned above is a disparagement of your "work".
>
> I am referring to Ben's recent posts.

No such reference in OP.

--
Mikko

On 2/21/2024 12:38 PM, immibis wrote:
> On 21/02/24 19:23, Ben Bacarisse wrote:
>> Mikko <mikko.levanto@iki.fi> writes:
>>
>>> On 2024-02-20 15:58:59 +0000, olcott said:
>> <stuff...>
>>
>>> Nothing mentioned above is a disparagement of your "work".
>>> Nothing mentioned above is related to Ben Bacarisse.
>>
>> PO needs people to reply.  He will try anything to get us to talk to
>> him, and insulting people has worked in the past.
>>
>> Try not replying for a month.  If everyone did this, he would have to go
>> elsewhere.  Replies are his oxygen.  Of course, you must be prepared to
>> ignore the insults and lies he will post about you.  But that's easy.
>> No on believes a word he says anymore.
>>
> So why are you replying?
>
> Perhaps we should all ignore-file you, to fulfil your fantasy.

Ben did verify that my encoding is correct:

// Linz Turing machine H --- H applied to ⟨H⟩
H.q0 ⟨H⟩ ⟨H⟩ ⊢* H.qy // H applied to ⟨H⟩ halts
H.q0 ⟨H⟩ ⟨H⟩ ⊢* H.qn // H applied to ⟨H⟩ does not halt
Do you halt on your own Turing Machine description ?

Of the infinite set of implementations of H every one that
transitions to H.qy derives an answer consistent with the
behavior of H.

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

On 2/21/2024 12:26 PM, Mikko wrote:
> On 2024-02-21 14:36:15 +0000, olcott said:
>
>> On 2/21/2024 4:27 AM, Mikko wrote:
>>> On 2024-02-20 15:58:59 +0000, olcott said:
>>>
>>>> Two PhD computer science professors independently (of my work)
>>>> affirm my 2004 statement.
>>>>
>>>> *Problems with the Halting Problem* Eric C.R. Hehner  (2011)
>>>> COMPUTING2011 Symposium on 75 years of Turing Machine and
>>>> Lambda-Calculus, Karlsruhe Germany, invited, 2011 October 20-21;
>>>> Advances in Computer Science and Engineering v.10 n.1 p.31-60, 2013
>>>> https://www.cs.toronto.edu/~hehner/PHP.pdf
>>>>
>>>> E C R Hehner. *Objective and Subjective Specifications*
>>>> WST Workshop on Termination, Oxford.  2018 July 18.
>>>> See https://www.cs.toronto.edu/~hehner/OSS.pdf
>>>>
>>>> Bill Stoddart. *The Halting Paradox*
>>>> 20 December 2017
>>>> https://arxiv.org/abs/1906.05340
>>>> arXiv:1906.05340 [cs.LO]
>>>>
>>>> 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.
>>>>  >
>>>> USENET Message-ID:
>>>> <kZiBc.103407$Gx4.18142@bgtnsc04-news.ops.worldnet.att.net>
>>>
>>> Nothing mentioned above is a disparagement of your "work".
>>
>> I am referring to Ben's recent posts.
>
> No such reference in OP.
>

Every 2024-02 post where Ben refers to me <is> a
disparagement of my work. Some of them were as vague
as ad hominem attacks.

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