Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: The philosophy of logic reformulates existing ideas on a new
 basis ---
Date: Fri, 8 Nov 2024 12:15:08 -0600
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <vglkfc$3a6hn$2@dont-email.me>
References: <vfli1h$fj8s$1@dont-email.me> <vg8ulh$9stc$1@dont-email.me>
 <vgakbd$vlda$1@dont-email.me> <vgbm5r$sgg9$1@dont-email.me>
 <vgg6fh$2s61$1@news.muc.de> <vgg7tk$26klj$1@dont-email.me>
 <vggjtb$1f3u$1@news.muc.de> <vggund$2am72$1@dont-email.me>
 <vgkudf$1lrm$1@news.muc.de> <vgl78d$37h38$2@dont-email.me>
 <vgl9cm$6e3$1@news.muc.de> <vgl9uh$37h38$9@dont-email.me>
 <vglcnh$agb$1@news.muc.de> <vgldr3$38uph$1@dont-email.me>
 <vglfui$agb$2@news.muc.de> <vglhij$39mg2$1@dont-email.me>
 <vgljtm$1mlg$1@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 08 Nov 2024 19:15:08 +0100 (CET)
Injection-Info: dont-email.me; posting-host="c2fa6bf0e4c95fa4383978e96b35b7f1";
	logging-data="3480119"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/iAcTeV/Rj2VJmuTs+WmXq"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:5kPz8T34GHvH7AVD5PMh4CV6zWY=
X-Antivirus-Status: Clean
In-Reply-To: <vgljtm$1mlg$1@news.muc.de>
Content-Language: en-US
X-Antivirus: Norton (VPS 241108-10, 11/8/2024), Outbound message
Bytes: 3450

On 11/8/2024 12:05 PM, Alan Mackenzie wrote:
> olcott <polcott333@gmail.com> wrote:
> 
> [ .... ]
> 
>> That formal systems that only apply truth preserving
>> operations to expressions of their formal language
>> that have been stipulated to be true cannot possibly
>> be undecidable is proven to be over-your-head on the
>> basis that you have no actual reasoning as a rebuttal.
> 
> So it's uncalled for insults now, is it?  The above paragraph is
> incoherent. 

Have you every heard of axioms and axiom schemas?
https://www.liarparadox.org/Haskell_Curry_45.pdf
These are very similar to Haskell Curry
"an elementary theorem is an elementary statement which is true."
AKA Olcott expressions of language that are stipulated to be true.

Have you every heard of the much more generic term for
inference rules called "truth preserving operations"?

None of what I say is all that difficult unless one's
primary purpose is to be disagreeable.

>  Formal systems are not "undecidable".  Propositions in them
> may or may not be.
> 
> But in any formal system that is powerful enough to do anything with,
> there are undecidable propositions.  That is a fact on a par with 2 + 2 =
> 4.  It is a fact that any non-specialist with a decent amount of humility
> would accept from an expert.
> 
> It is high time that you recognised that you are not an expert in this
> field, your level of understanding is low, and that you could perhaps
> learn things from others who know and understand more.
> 
>> -- 
>> 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