Sujet : Re: Defining a correct halting decidability decider
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 08. Aug 2024, 18:08:17
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v92qhi$37e9$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla Thunderbird
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_definitionI 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; Geniushits a target no one else can see." Arthur Schopenhauer
…