Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic
Subject: Re: This makes all Analytic(Olcott) truth computable
Date: Sun, 18 Aug 2024 14:17:55 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <1c388fc5e8b064ee667476d259e00f9cf4fc2dd1@i2pn2.org>
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>
 <20b1dea98eda49e74e822c96b37565bb3eb36013@i2pn2.org>
 <v9o4p2$1h5u4$1@dont-email.me> <v9shii$2bmob$1@dont-email.me>
 <v9sog0$2c67u$8@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 18:17:55 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3024473"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v9sog0$2c67u$8@dont-email.me>
Bytes: 3493
Lines: 37

On 8/18/24 8:12 AM, olcott wrote:
> On 8/18/2024 5:14 AM, Mikko wrote:
>> On 2024-08-16 18:11:46 +0000, olcott said:
>>
>>> 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.
>>
>> Zermelo constructed a new formal theory that does not have that paradox.
>> Note that the paradox was not present in Cantor's original theory as
>> Cantor did not promise that Russell's set exists. But Cantor's original
>> presentation was not fully formal so it was not clear that Russell's
>> set does not exist.
>>
> 
> I am redefining the notion of a formal system to get
> rid of undecidability. This requires few changes.
> 

No, it requrires re-proving EVERYTHING that was possibly derived from 
the axioms you are changing to do this, and if that is something 
fundamental like the definiton of how we do implications, that means 
EVERYTHING.

You need to hurry on that, as that is problem many lifetimes of work, 
and it sounds like you don't have much time.