Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic,comp.theory
Subject: Re: Formal systems that cannot possibly be incomplete except for
 unknowns and unknowable
Date: Mon, 5 May 2025 23:27:29 -0500
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <vvc33h$25atc$1@dont-email.me>
References: <vv97ft$3fg66$1@dont-email.me>
 <b47c9e70d415c1e5e469aaab846f0bd05e4bcc51@i2pn2.org>
 <vvall0$o6v5$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 06 May 2025 06:27:29 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4d3877b25e07ae675aebb853b858fd37";
	logging-data="2272172"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+0zeFJFSWQJ5FdrunxgR82"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:CQkXw1k+/aZV+ySqYwLutzoaETs=
Content-Language: en-US
In-Reply-To: <vvall0$o6v5$1@dont-email.me>
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250505-6, 5/5/2025), Outbound message

On 5/5/2025 10:31 AM, olcott wrote:
> On 5/5/2025 6:04 AM, Richard Damon wrote:
>> On 5/4/25 10:23 PM, olcott wrote:
>>> When we define formal systems as a finite list of basic facts and 
>>> allow semantic logical entailment as the only rule of inference we 
>>> have systems that can express any truth that can be expressed in 
>>> language.
>>>
>>> Also with such systems Undecidability is impossible. The only 
>>> incompleteness are things that are unknown or unknowable.
>>
>> Can such a system include the mathematics of the natural numbers?
>>
>> If so, your claim is false, as that is enough to create that 
>> undeciability.
>>
> 
> It seems to me that the inferences steps that could
> otherwise create undecidability cannot exist in the
> system that I propose.
> 

The mathematics of natural numbers (as I have already explained)
begins with basic facts about natural numbers and only applies
truth preserving operations to these basic facts.

When we begin with truth and only apply truth preserving
operations then WE NECESSARILY MUST END UP WITH TRUTH.

When we ALWAYS end up with TRUTH then we NEVER end up with UNDECIDABILITY.

Its not that hard, iff you pay enough attention.

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