Liste des Groupes | Revenir à c theory |
You, Peter Olcott, are actually the one showing one's ignorance here.Your ignorance is no excuse.That Prolog construes any expression having the same structure as the>
Liar Paradox as having a cycle in the directed graph of its evaluation
sequence already completely proves my point. In other words Prolog
is saying that there is something wrong with the expression and it must
be rejected.
But Prolog doesn't support powerful enough logic to handle the system like Tarski and Godel are talking about.
>
The fact that Prolog just rejects it shows that.
>
Les messages affichés proviennent d'usenet.