Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Defining a correct halting decidability decider
Date: Thu, 8 Aug 2024 22:52:12 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <7f11802edaa12524fafd6cd3bf18906fb22a61ef@i2pn2.org>
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>
 <v92qhi$37e9$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 9 Aug 2024 02:52:12 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1932052"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v92qhi$37e9$2@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2859
Lines: 48

On 8/8/24 12:08 PM, olcott wrote:
> 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.

Nope. You can stipulate a definition, not a fact.

Yes, you could stipulate that the property "has_not_ate_lunch_yet" means 
that the input halts. You can not stipulate that a given input has that 
property, as either it does or it doesn't, and you stipulation doesn't 
affect that.

Sorry, you just don't understand what the term means.

There is a different meaning in legal context, where a stipulation is an 
agreement to a statement of fact claimed by your opponent, but that 
doesn't apply here.

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