Re: The key undecidable instance that I know about

On 3/11/2025 6:15 AM, Mikko wrote:

On 2025-03-10 15:36:28 +0000, olcott said:
 

On 3/10/2025 4:48 AM, Mikko wrote:

On 2025-03-09 17:15:13 +0000, olcott said:
>

Is the Liar Paradox True or False?
>
LP := ~True(LP)

>
In typical languages of formal logic that is not a syntactically valid
expression.
>

>
I created Minimal Type Theory such that self-reference
can be expressed concisely and correctly.

 Have you pbulished that "Minimal Type Theory" or put it to a web page?
Without a pointer to it there is no point to mention it. Of course one
can create a language that can express a self reference but why would
one?
 

Apparently this cannot be expressed concisely and correctly in
any formal logic system.

 A self reference cannot be expressed in an uninterpreted formal language.

Bullshit on that
LP := ~True(LP) only requires knowing what the operators mean
this is never referred to as semantics.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniusu
hits a target no one else can see." Arthur Schopenhauer