Path: ...!feeds.phibee-telecom.net!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: Re: This makes all Analytic(Olcott) truth computable
Date: Sun, 18 Aug 2024 07:21:50 -0500
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <v9sp0u$2c67u$10@dont-email.me>
References: <v86olp$5km4$1@dont-email.me> <v8aqh7$11ivs$1@dont-email.me>
 <v8cr4g$1gk19$1@dont-email.me> <v8dinp$1kii7$1@dont-email.me>
 <v8hv72$2mmsq$1@dont-email.me> <v8iisj$2qetj$1@dont-email.me>
 <v8kuhb$3d5q8$1@dont-email.me> <v8lc7p$3f6vr$2@dont-email.me>
 <v8naa8$3uo7s$1@dont-email.me> <v8nqo7$1n09$1@dont-email.me>
 <v8sm9o$1gk42$1@dont-email.me> <v8t2fl$1ilg6$2@dont-email.me>
 <v8v97m$2cofk$1@dont-email.me> <v8vusp$32fso$16@dont-email.me>
 <v91p95$3ppav$1@dont-email.me> <v92q4f$37e9$1@dont-email.me>
 <v94l1p$ldq7$1@dont-email.me> <v95c2j$p5rb$4@dont-email.me>
 <v95cke$p5rb$5@dont-email.me> <v977fo$gsru$1@dont-email.me>
 <v97goj$ielu$1@dont-email.me> <v9c93e$35sg6$1@dont-email.me>
 <v9d3k1$3ajip$1@dont-email.me> <v9ffpr$3s45o$1@dont-email.me>
 <v9fkd4$3se8c$1@dont-email.me> <v9kg66$tdvb$1@dont-email.me>
 <v9nbjf$1dj8q$1@dont-email.me> <v9ndv6$1dvpg$1@dont-email.me>
 <v9nfl7$1dvef$4@dont-email.me> <v9nl3m$1eu8q$1@dont-email.me>
 <v9nms2$1f34m$2@dont-email.me> <v9sh6h$2bksp$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 18 Aug 2024 14:21:51 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="126bd7503554732891ee2e704ffb1b5d";
	logging-data="2496766"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19077h605p22Y+oU8ilKStx"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:hJm85jCYwp6Kx+q9vXsQrWXenlU=
In-Reply-To: <v9sh6h$2bksp$1@dont-email.me>
Content-Language: en-US
Bytes: 3462

On 8/18/2024 5:08 AM, Mikko wrote:
> On 2024-08-16 14:14:25 +0000, olcott said:
> 
>> On 8/16/2024 8:44 AM, Mikko wrote:
>>> On 2024-08-16 12:11:19 +0000, olcott said:
>>>
>>>>
>>>> Whenever there is no sequence of truth preserving from
>>>> x or ~x to its meaning in L of F then x has no truth-maker
>>>> in F and x not a truth-bearer in F. We never get to x is
>>>> undecidable in F.
>>>
>>> If x is not a truh-bearer it is undecidable. If x is not undecidable
>>> the it is decidable, i.e., either x or its negation is provable.
>>> You have the notion, you only used another vernacuar term.
>>>
>>
>> If you cannot prove or refute that you are going to
>> the store to buy a carton of milk in Boolean algebra
>> that does not mean that Boolean algebra is incomplete.
>> It means that this proof is not in the domain of
>> Boolean algebra.
> 
> Who said I cannot prove or refute that? But I needn't.
> Someone may ask whether or when I am going to buy but
> in that case an answer may suffice or perhaps the milk
> is required but no proof.
> 

When a language is insufficiently expressive to say
certain things that does not mean that the language is
incomplete. The language of Boolean algebra was not
intended to accurately describe your trips to the store.

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