XPost: comp.theory, comp.lang.c++, comp.ai.philosophy
From: 643-408-1753@kylheku.com

On 2025-09-26, olcott  wrote:
> On 9/26/2025 3:00 PM, André G. Isaak wrote:
>> On 2025-09-26 13:49, olcott wrote:
>>
>>> *The conventional halting problem question is this*
>>> Does there exist a single halt decider that
>>> can correctly report the halt status of the
>>> behavior of a directly executed machine on
>>> the basis of this machine's machine description.
>>>
>>> *The conventional halting problem proof question is this*
>>> What correct halt status value can be returned
>>> when the input to a halt decider actually does
>>> the opposite of whatever value is returned?
>>>
>>> These above conventional views are proven.
>>
>> Those are questions. You can't prove a question. You prove statements.
>> And neither of those are conventional. You can't make up your own
>> formulations and then declare them to be conventional.
>>
>> André
>>
>
> Any statement or question that is semantically
> equivalent to another can be replaced by this
> other expression of language while retaining
> the same essential meaning.

Lofty words there, Aristotle!

Too bad HHH(DD) has a different meaning depending on where it is placed
and who is evaluating it, plus whatever you need it to mean for whatever
you are saying.

--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca

--- SoupGate-Win32 v1.05
 * Origin: you cannot sedate... all the things you hate (1:229/2)