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 14:22:58 -0500
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <vvb36j$15u5b$2@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>
 <vvb0un$vtiu$6@dont-email.me> <vvb1dd$1fho$3@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 21:22:59 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0a6320ec149f030cd98ca15e4d2d5e5f";
	logging-data="1243307"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+eD64XPtBAwosQIkH3bDLl"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:leOi+hhwY32FPoAekiFz8cYu+6c=
X-Antivirus: Norton (VPS 250505-4, 5/5/2025), Outbound message
In-Reply-To: <vvb1dd$1fho$3@news.muc.de>
X-Antivirus-Status: Clean
Content-Language: en-US

On 5/5/2025 1:52 PM, Alan Mackenzie wrote:
> olcott <polcott333@gmail.com> wrote:
>> 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:
> 
> [ .... ]
> 
>>>>> 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.
> 
> Liar.  That is impossible.
> 
> [ Irrelevant nonsense snipped. ]
> 

When you start with truth and only apply truth preserving
operations then you necessarily end up with truth.
Is that too difficult for you?

>> -- 
>> 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