Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth
Date: Mon, 24 Feb 2025 10:58:23 +0200
Organization: -
Lines: 41
Message-ID: <vphcbf$10k3h$1@dont-email.me>
References: <vnh0sq$35mcm$1@dont-email.me> <vnl9vj$4f8i$1@dont-email.me> <vnndqs$kef3$1@dont-email.me> <vnpd96$vl84$1@dont-email.me> <vnqm3p$1apip$1@dont-email.me> <vnqsbh$1c5sq$1@dont-email.me> <vnsm90$1pr86$1@dont-email.me> <vnte6s$1tra8$1@dont-email.me> <vnv4tf$2a43e$1@dont-email.me> <vo0249$2eqdl$1@dont-email.me> <vo1qae$2s4cr$1@dont-email.me> <vo2i10$302f0$1@dont-email.me> <vo4nj4$3f6so$1@dont-email.me> <vo5btf$3ipo2$1@dont-email.me> <vo7ckh$q2p$1@dont-email.me> <vo7tdg$36ra$6@dont-email.me> <voa09t$idij$1@dont-email.me> <7e532aaf77653daac5ca2b70bf26d0a3bc515abf@i2pn2.org> <voceuj$14r1q$1@dont-email.me> <vocp21$16c4e$1@dont-email.me> <vof6hb$1nh1f$1@dont-email.me> <voflif$1q1mh$2@dont-email.me> <vohsmu$29krm$1@dont-email.me> <vp10ic$1e7iv$2@dont-email.me> <vp6qjb$2ousc$1@dont-email.me> <vpb1le$3jct4$13@dont-email.me> <0f7cd503773838ad12f124f23106d53552e277b8@i2pn2.org> <vpbknk$3qig2$1@dont-email.me> <vpc560$3sqf7$1@dont-email.me> <vpd5r4$2q85$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 24 Feb 2025 09:58:24 +0100 (CET)
Injection-Info: dont-email.me; posting-host="b8f19db9a2f6094dff4fec67edf03810";
	logging-data="1069169"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/vPhPgrqFa31kaQoUAfWaQ"
User-Agent: Unison/2.2
Cancel-Lock: sha1:Q1RjEZRFV3YVErPDE30cAh27sVM=
Bytes: 3170

On 2025-02-22 18:42:44 +0000, olcott said:

> On 2/22/2025 3:25 AM, Mikko wrote:
>> On 2025-02-22 04:44:35 +0000, olcott said:
>> 
>>> On 2/21/2025 7:05 PM, Richard Damon wrote:
>>>> On 2/21/25 6:19 PM, olcott wrote:
>>>>> On 2/20/2025 2:54 AM, Mikko wrote:
>>>>>> On 2025-02-18 03:59:08 +0000, olcott said:
> 
> 
>>>>> Tarski anchored his whole proof in the Liar Paradox.
>>>>> 
>>>> 
>>>> By showing that given the necessary prerequisites, The equivalent of 
>>>> the Liar Paradox was a statement that the Truth Predicate had to be 
>>>> able to handle, which it can't.
>>>> 
>>> 
>>> It can be easily handled as ~True(LP) & ~True(~LP), Tarski just
>>> didn't think it through.
>> 
>> No, it can't. Tarski requires that True be a predicate, i.e, a truth
>> valued function of one term.
> 
> It does not matter a whit what the Hell his misconceptions
> required.

It is not required by any misconception. It is required by the
meanings of the words and symbols, in particular "predicare"
and "~".

> We simply toss his whole mess out the window and
> reformulate a computable Truth predicate that works correctly.

You have not formulated a computable predicate and apparently
never will, even if we don't care whther it works correctly.

-- 
Mikko