Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Defining a correct halting decidability decider
Date: Thu, 8 Aug 2024 11:08:17 -0500
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <v92qhi$37e9$2@dont-email.me>
References: <v8o47a$3ml4$1@dont-email.me>
 <0ec454016dab6f6d6dd5580f5d0eea49569293d8@i2pn2.org>
 <v8oigl$6kik$1@dont-email.me>
 <6ec9812649b0f4a042edd1e9a1c14b93e7b9a16b@i2pn2.org>
 <v8ol2g$74lk$1@dont-email.me> <v8v61f$29aqq$1@dont-email.me>
 <v8vrsb$32fso$5@dont-email.me> <v91r57$3qct4$1@dont-email.me>
 <v92gpl$p1$4@dont-email.me> <v92h4i$3srn5$23@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 08 Aug 2024 18:08:18 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7c97dfd2b0fa781dfb9291aeaceb4463";
	logging-data="105929"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19JC1YfBQtJQ/XPqBnavUEl"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:CKyyj0toPG8fx0sfqyc6g0lTPJM=
Content-Language: en-US
In-Reply-To: <v92h4i$3srn5$23@dont-email.me>
Bytes: 2436

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