Re: Defining a correct halting decidability decider

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.

"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.
  

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