Re: Mathematical incompleteness has always been a misconception --- Tarski

On 3/7/2025 6:32 AM, Richard Damon wrote:

On 3/6/25 9:26 PM, olcott wrote:

On 3/6/2025 6:36 AM, Richard Damon wrote:

On 3/5/25 7:36 PM, olcott wrote:

 

>
?- LP = not(true(LP)).
LP = not(true(LP)).
>
?- unify_with_occurs_check(LP, not(true(LP))).
false.
>

 Of course, since you have admitted that your logic system is based on the FRAUD that you are allowed to change the fundamental meaning of core terms of the system,

How the Hell does that have anything to do with the above Prolog?
Rambling incoherently DOES NOT COUNT AS REASONING and makes you
look very foolish.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer