Liste des Groupes | Revenir à s logic |
On 3/7/25 9:36 PM, olcott wrote:Prolog proves that the Liar Paradox is infinitely recursive.On 3/7/2025 6:32 AM, Richard Damon wrote:Because your Prolog has nothing to do with the subject of the thread.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.
>
Les messages affichés proviennent d'usenet.