What exactly is the relationship between G�del's fixed point lemma and any of the two recursion theorems? Thanks. -- X.Y. Newberry If Jack says �What I am saying at this very moment is not true�, we can successfully and truly assert that he did not utter a truth: �What Jack said is not true�. But it is hardly conceivable that Jack�s utterance is true by virtue of its success in attributing non-truth to itself. Haim Gaifman
![]() |
0 |
![]() |