Re: Defining a correct halting decidability decider

Le 08/08/2024 à 18:08, Peter Olcott a écrit :

On 8/8/2024 8:27 AM, Python wrote:

Le 08/08/2024 à 15:21, Peter Olcott a écrit :
...

*Semantic property of well-behaved is decided for input*
It the program well behaved thus halts?
else The program is not well behaved.

>
"well behaved" is not a property of programes or Turing Machines.
>

 *It is a Stipulative definition*
https://en.wikipedia.org/wiki/Stipulative_definition
 I can stipulate that an input has the semantic property
of has_not_ate_lunch_yet where has_not_ate_lunch_yet means
that the input halts and ~has_not_ate_lunch_yet means the
input cannot be determined to halt.

This is Humpty Dumpism:
    When I use a word, it means just what I choose it to mean — neither more nor less.” These are the famous words of Humpty Dumpty, a character in Lewis Carroll’s Through the Looking Glass (1871). His conversation partner, Alice, is rather sceptical:
     “When I use a word,” Humpty Dumpty said, in rather a scornful tone, “it means just what I choose it to mean – neither more nor less.”
     “The question is,” said Alice, “whether you can make words mean so many different things.”
     “The question is,” said Humpty Dumpty, “which is to be master——that’s all.”
https://blog.oup.com/2022/11/the-return-of-humpty-dumpty-who-is-the-ultimate-arbiter-of-meaning/

"well behaved" is a property of human beings that YOU do not have.
>
You lie, you deceive, you abuse, you commit blasphemy in courts and
collect child pornography [this is documented].
>
As a bigot you believe that this can bring you to Hell.
>
Fortunately there is no God, no Hell, so you'll just vanished into
oblivion.