Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: Mathematical incompleteness has always been a misconception
Date: Mon, 3 Feb 2025 17:07:37 +0200
Organization: -
Lines: 39
Message-ID: <vnqm3p$1apip$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 03 Feb 2025 16:07:39 +0100 (CET)
Injection-Info: dont-email.me; posting-host="10035dde07594b3873789b646ea8c592";
	logging-data="1402457"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+vuc78EPibRlGtph5Cqg3H"
User-Agent: Unison/2.2
Cancel-Lock: sha1:pdZGrWAJ9t/gXeKugsUkh/eFP34=
Bytes: 2547

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.

-- 
Mikko