Path: ...!news.mixmin.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:08:35 -0500
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <v9so84$2c67u$7@dont-email.me>
References: <v86olp$5km4$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>
 <20b1dea98eda49e74e822c96b37565bb3eb36013@i2pn2.org>
 <v9o4p2$1h5u4$1@dont-email.me>
 <cd12fb81fcd05d2e112fc8aca2f5b791c521cfc9@i2pn2.org>
 <v9oddf$1i745$2@dont-email.me> <v9shpn$2bno2$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 18 Aug 2024 14:08:36 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="126bd7503554732891ee2e704ffb1b5d";
	logging-data="2496766"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/A2NnvHK4NJDCGMpz3NkAI"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ANYutvMOCTjR8egUN63iG691xA0=
In-Reply-To: <v9shpn$2bno2$1@dont-email.me>
Content-Language: en-US
Bytes: 3850

On 8/18/2024 5:18 AM, Mikko wrote:
> On 2024-08-16 20:39:11 +0000, olcott said:
> 
>> On 8/16/2024 2:42 PM, Richard Damon wrote:
>>> On 8/16/24 2:11 PM, olcott wrote:
>>>> On 8/16/2024 11:32 AM, Richard Damon wrote:
>>>>> On 8/16/24 7:02 AM, olcott wrote:
>>>>>>
>>>>>> *This abolishes the notion of undecidability*
>>>>>> As with all math and logic we have expressions of language
>>>>>> that are true on the basis of their meaning expressed
>>>>>> in this same language. Unless expression x has a connection
>>>>>> (through a sequence of true preserving operations) in system
>>>>>> F to its semantic meanings expressed in language L of F
>>>>>> x is simply untrue in F.
>>>>>
>>>>> But you clearly don't understand the meaning of "undecidability"
>>>>
>>>> Not at all. I am doing the same sort thing that ZFC
>>>> did to conquer Russell's Paradox.
>>>>
>>>>
>>>
>>> If you want to do that, you need to start at the basics are totally 
>>> reformulate logic.
>>>
>>
>> ZFC didn't need to do that. All they had to do is
>> redefine the notion of a set so that it was no longer
>> incoherent.
> 
> As the notion of set is the all what a set theory is about,
> a redefinition of the notion of a set is means Zermelo started
> from square one and built an entirely new formal system.
> 

The key functional difference was the result of few changes
and everything else stayed the same. Besides defeating RP
what was another functional result?

My notion does the same thing. Slight changes to the notion
of a formal system gets rid of undecidability. The biggest
unexplored change is moving from logical operations to truth
preserving operations.

Here is the one case that I know: (P ∧ ~P) ↔ FALSE


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