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
Date: Mon, 3 Feb 2025 10:54:08 -0600
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <vnqsbh$1c5sq$1@dont-email.me>
References: <vnh0sq$35mcm$1@dont-email.me> <vni4ta$3ek8m$1@dont-email.me>
 <vnikre$3hb19$1@dont-email.me> <vnkov9$1971$1@dont-email.me>
 <vnl9vj$4f8i$1@dont-email.me> <vnndqs$kef3$1@dont-email.me>
 <vnpd96$vl84$1@dont-email.me> <vnqm3p$1apip$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 03 Feb 2025 17:54:10 +0100 (CET)
Injection-Info: dont-email.me; posting-host="acd5597f2faaf24a7b8ac9a26cbba261";
	logging-data="1447834"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/9QhLu8GMqvt/BoCbyHShN"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ofRH8FbjgB8CCBNk19tK0r9pW9k=
X-Antivirus: Norton (VPS 250203-4, 2/3/2025), Outbound message
X-Antivirus-Status: Clean
In-Reply-To: <vnqm3p$1apip$1@dont-email.me>
Content-Language: en-US
Bytes: 3086

On 2/3/2025 9:07 AM, Mikko wrote:
> On 2025-02-03 03:30:46 +0000, olcott said:
> 
>> On 2/2/2025 3:27 AM, Mikko wrote:
>>> On 2025-02-01 14:09:54 +0000, olcott said:
>>>
>>>> On 2/1/2025 3:19 AM, Mikko wrote:
>>>>> On 2025-01-31 13:57:02 +0000, olcott said:
>>>>>
>>>>>> On 1/31/2025 3:24 AM, Mikko wrote:
>>>>>>> On 2025-01-30 23:10:18 +0000, olcott said:
>>>>>>>
>>>>>>>> Within the entire body of analytical truth any expression of 
>>>>>>>> language that has no sequence of formalized semantic deductive 
>>>>>>>> inference steps from the formalized semantic foundational truths 
>>>>>>>> of this system are simply untrue in this system. (Isomorphic to 
>>>>>>>> provable from axioms).
>>>>>>>
>>>>>>> If there is a misconception then you have misconceived something. 
>>>>>>> It is well
>>>>>>> known that it is possible to construct a formal theory where some 
>>>>>>> formulas
>>>>>>> are neither provble nor disprovable.
>>>>>>
>>>>>> This is well known.
>>>>>
>>>>> And well undeerstood. The claim on the subject line is false.
>>>>
>>>> a fact or piece of information that shows that something
>>>> exists or is true:
>>>> https://dictionary.cambridge.org/us/dictionary/english/proof
>>>
>>> We require that terms of art are used with their term-of-art meaning and
>>
>> The fundamental base meaning of Truth[0] itself remains the same
>> no matter what idiomatic meanings say.
> 
> Irrelevant as the subject line does not mention truth.
> Therefore, no need to revise my initial comment.
> 

The notion of truth is entailed by the subject line:
misconception means ~True.

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