Path: ...!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 08:34:47 -0600
Organization: A noiseless patient Spider
Lines: 44
Message-ID: <vpn8q6$2jkdj$2@dont-email.me>
References: <vnh0sq$35mcm$1@dont-email.me> <voa09t$idij$1@dont-email.me>
 <7e532aaf77653daac5ca2b70bf26d0a3bc515abf@i2pn2.org>
 <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 26 Feb 2025 15:34:47 +0100 (CET)
Injection-Info: dont-email.me; posting-host="be1a41fcc27cfa869ea1b51d56f1df7a";
	logging-data="2740659"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ytXfPDlT2z42cy3GEJDyZ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:8wP2CtEBdvaYJiCAOUvTCvNzsHs=
In-Reply-To: <6320ec8cdc4ab9fc06e5001c0b4069132ce1af58@i2pn2.org>
X-Antivirus-Status: Clean
Content-Language: en-US
X-Antivirus: Norton (VPS 250226-2, 2/26/2025), Outbound message
Bytes: 4020

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.

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