Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: Re: Mathematical incompleteness has always been a misconception ---
 Ultimate Foundation of Truth
Date: Wed, 26 Feb 2025 22:20:47 -0600
Organization: A noiseless patient Spider
Lines: 57
Message-ID: <vpop70$2vaf3$1@dont-email.me>
References: <vnh0sq$35mcm$1@dont-email.me> <voceuj$14r1q$1@dont-email.me>
 <vocp21$16c4e$1@dont-email.me> <vof6hb$1nh1f$1@dont-email.me>
 <voflif$1q1mh$2@dont-email.me> <vohsmu$29krm$1@dont-email.me>
 <vp10ic$1e7iv$2@dont-email.me> <vp6qjb$2ousc$1@dont-email.me>
 <vpb1le$3jct4$13@dont-email.me>
 <0f7cd503773838ad12f124f23106d53552e277b8@i2pn2.org>
 <vpbknk$3qig2$1@dont-email.me> <vpc560$3sqf7$1@dont-email.me>
 <vpd5r4$2q85$2@dont-email.me>
 <7e3e9d35d880cfcad12f505dfb39c5650cdd249e@i2pn2.org>
 <vpfo75$js1o$1@dont-email.me>
 <f3c8332f4b42f8e085d4d4dac017ccc8a0dc5a5f@i2pn2.org>
 <vpgt6o$tiun$1@dont-email.me>
 <3cf165ef9793e844dc9d5db82aecbc47f9545367@i2pn2.org>
 <vpiubu$1fvqe$1@dont-email.me>
 <080bf2b1c322247548c6ec61c9f054359062ccd4@i2pn2.org>
 <vpj8c9$1hivf$3@dont-email.me>
 <6fc61a762b56308f9919993f29ba3e77f7ba84c7@i2pn2.org>
 <vpl2q5$23vks$6@dont-email.me>
 <6320ec8cdc4ab9fc06e5001c0b4069132ce1af58@i2pn2.org>
 <vpn8q6$2jkdj$2@dont-email.me>
 <fde9d3850bbfcfbea9597d90419a0e0a1d8c5552@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 27 Feb 2025 05:20:48 +0100 (CET)
Injection-Info: dont-email.me; posting-host="f1b30fca70f728e62d75b9f119ac165f";
	logging-data="3123683"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19qfUFuweyHIn6qoiJQEeHn"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:4N68nZHUwPppfxZPxzo6Tz3Va7Y=
In-Reply-To: <fde9d3850bbfcfbea9597d90419a0e0a1d8c5552@i2pn2.org>
X-Antivirus: Norton (VPS 250226-4, 2/26/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean
Bytes: 4453

On 2/26/2025 9:59 PM, Richard Damon wrote:
> On 2/26/25 9:34 AM, olcott wrote:
>> On 2/26/2025 6:18 AM, joes wrote:
>>> Am Tue, 25 Feb 2025 12:40:04 -0600 schrieb olcott:
>>>> On 2/25/2025 12:15 PM, joes wrote:
>>>>> Am Mon, 24 Feb 2025 20:02:49 -0600 schrieb olcott:
>>>>>> On 2/24/2025 6:12 PM, Richard Damon wrote:
>>>>>>> On 2/24/25 6:11 PM, olcott wrote:
>>>>>>>> On 2/24/2025 6:27 AM, Richard Damon wrote:
>>>>>>>>> On 2/23/25 11:39 PM, olcott wrote:
>>>>>>>>>> On 2/23/2025 8:50 PM, Richard Damon wrote:
>>>>>>>>>>> On 2/23/25 1:08 PM, olcott wrote:
>>>
>>>>>>>>> Sure I do.
>>>>>>>>> A Systems is semantically sound if every statement that can be
>>>>>>>>> proven is actually true by the systems semantics,
>>>>>>>> That is very good.
>>>>>>>>
>>>>>>>>> in other words, the system doesn't allow the proving of a false
>>>>>>>>> statement.
>>>>>>>> That is not too bad yet ignores that some expressions might not 
>>>>>>>> have
>>>>>>>> any truth value.
>>>>>>> Which has nothing to do with "soundness".
>>>>>> When any system assumes that every expression is true or false and is
>>>>>> capable of encoding expressions that are neither IT IS STUPIDLY 
>>>>>> WRONG.
>>>>> In honour of Gödel this is usually called "incomplete".
>>>> Where "incomplete" has always been an idiom for stupid wrong.
>>> Your understanding of logic is incomplete.
>>>
>>
>> The screwed up notion of "incomplete" is anchored in the
>> stupid idea that {true in the system} is not required to be
>> {provable in the system}.
>>
>> Any expression of language that can only be verified as true
>> on the basis of other expressions of language either has a
>> semantic connection truthmaker to these other expressions or
>> IT IS SIMPLY NOT TRUE.
>>
>> When math creates the idiomatic meaning of "provable" that
>> diverges from its common meaning math diverges from what
>> actual true really is.
>>
> 
> 
> No, what is "screwed up" is the idea that something can't be true until 
> we know it, 

I didn't actually say anything like that.
Every truth must have a truth-maker.


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