f



Fixed point lemma vs. recursion theorem

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
X
11/15/2016 9:42:41 PM
comp.theory 5139 articles. 1 followers. marty.musatov (1143) is leader. Post Follow

0 Replies
250 Views

Similar Articles

[PageSpeed] 50

Reply: