Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct
Date: Sun, 10 Nov 2024 11:42:39 +0200
Organization: -
Lines: 37
Message-ID: <vgpv6f$aon9$1@dont-email.me>
References: <vfli1h$fj8s$1@dont-email.me> <vg4uem$3o3ca$1@dont-email.me> <vg7f7l$a1jf$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> <8c2cbbe343934d211ad8c820c963702e70351a27@i2pn2.org> <vglk31$3a6hn$1@dont-email.me> <19d0838dd000cc4f67c8c64ac6005d5405cf2bd6@i2pn2.org> <vglv58$3bn2s$3@dont-email.me> <cd6cbe7d70fcc282da94aea2107e48ad4b3f44b5@i2pn2.org> <vgm79v$3d9gu$1@dont-email.me> <4b24331953934da921cb7547b6ee2058ac9e7254@i2pn2.org> <vgmb06$3e37h$1@dont-email.me> <2a5107f331836f388ad259bf310311a393c00602@i2pn2.org> <vgnsho$3qq7s$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 10 Nov 2024 10:42:39 +0100 (CET)
Injection-Info: dont-email.me; posting-host="aa6135c12195030876f9317ea3566320";
	logging-data="353001"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ZGqZ8F95SuMKfH7DhycaG"
User-Agent: Unison/2.2
Cancel-Lock: sha1:UypfPheYqh9jkqoPlgXLB4Hkue0=
Bytes: 3244

On 2024-11-09 14:45:12 +0000, olcott said:

> On 11/9/2024 5:01 AM, joes wrote:
>> Am Fri, 08 Nov 2024 18:39:34 -0600 schrieb olcott:
>>> On 11/8/2024 6:33 PM, Richard Damon wrote:
>>>> On 11/8/24 6:36 PM, olcott wrote:
>>>>> On 11/8/2024 3:59 PM, Richard Damon wrote:
>>>>>> On 11/8/24 4:17 PM, olcott wrote:
>>>>>>> On 11/8/2024 12:31 PM, Richard Damon wrote:
>>>>>>>> On 11/8/24 1:08 PM, olcott wrote:
>>>>>>>>> On 11/8/2024 12:02 PM, Richard Damon wrote:
>>>>>>>>>> On 11/8/24 12:25 PM, olcott 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.
>> Gödel showed otherwise.
> 
> That is counter-factual within my precise specification.
> 
> When truth is only derived by starting with
> truth and applying truth preserving operations
> then unprovable in PA becomes untrue in PA.

What that definition defines is usually not called "truth" but "theorem".
The words "true" and "truth" are usually reserved for interpretations.

> Everyone is so sure that whatever I say must be wrong

Even you would think so if you could understand what your words really
mean.

-- 
Mikko