Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Formal systems that cannot possibly be incomplete except for
 unknowns and unknowable
Date: Mon, 5 May 2025 13:44:38 -0500
Organization: A noiseless patient Spider
Lines: 55
Message-ID: <vvb0un$vtiu$6@dont-email.me>
References: <vv97ft$3fg66$1@dont-email.me> <vva50q$24vr$1@news.muc.de>
 <vvalp5$o6v5$2@dont-email.me> <vvanjf$1fho$1@news.muc.de>
 <vvaske$vta4$1@dont-email.me> <vvavfg$1fho$2@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 05 May 2025 20:44:39 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0a6320ec149f030cd98ca15e4d2d5e5f";
	logging-data="1046110"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19UEuyaT6mr1RzC1Bc5F90a"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:22wNMaFlE7hQg32/dgsG0Kg4dFQ=
X-Antivirus-Status: Clean
Content-Language: en-US
In-Reply-To: <vvavfg$1fho$2@news.muc.de>
X-Antivirus: Norton (VPS 250505-4, 5/5/2025), Outbound message

On 5/5/2025 1:19 PM, Alan Mackenzie wrote:
> olcott <polcott333@gmail.com> wrote:
>> On 5/5/2025 11:05 AM, Alan Mackenzie wrote:
>>> olcott <polcott333@gmail.com> wrote:
>>>> On 5/5/2025 5:47 AM, Alan Mackenzie wrote:
>>>>> In comp.theory olcott <polcott333@gmail.com> 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.
> 
>>>>> Do you believe in the tooth fairy, too?
> 
>>>> Counter-examples to my claim seem to be categorically impossible.
> 
>>> Arrogantly wrong in the extreme.
> 
>>>> That you could not find one seems to prove my point.
> 
>>> Follow the details of the proof of Gödel's Incompleteness Theorem, and
>>> apply them to your "system".  That will give you your counter example.
> 
> 
>> My system does not do "provable" instead it does "provably true".
> 
> I don't know anything about your "system" and I don't care.  If it's a
> formal system with anything above minimal capabilities, Gödel's Theorem
> applies to it, and the "system" will be incomplete (in Gödel's sense).
> 

I reformulate the entire notion of "formal system"
so that undecidability ceases to be possible.

When True(x) means semantic logical entailment
from basic facts (stipulated to be true) then
there is no place for undecidability to exist.

True("This sentence is true") == FALSE
True("This sentence is not true") == FALSE
True("This sentence can be proven") == FALSE
True("This sentence has five words") == TRUE

> [ Irrelevant nonsense snipped. ]
> 
>> -- 
>> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
>> hits a target no one else can see." Arthur Schopenhauer
> 


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