Sciweavers

CIE
2009
Springer

Program Self-reference in Constructive Scott Subdomains

13 years 10 months ago
Program Self-reference in Constructive Scott Subdomains
Abstract. Intuitively, a recursion theorem asserts the existence of selfreferential programs. Two well-known recursion theorems are Kleene’s Recursion Theorem (krt) and Rogers’ Fixpoint Recursion Theorem (fprt). Does one of these two theorems better capture the notion of program self-reference than the other? In the context of the partial computable functions over the natural numbers (PC), fprt is strictly weaker than krt, in that fprt holds in any effective numbering of PC in which krt holds, but not vice versa. It is shown that, in this context, the existence of self-reproducing programs (a.k.a. quines) is assured by krt, but not by fprt. Most would surely agree that a self-reproducing program is self-referential. Thus, this result suggests that krt is better than fprt at capturing the notion of program self-reference in PC. A generalization of krt to arbitrary constructive Scott subdomains is then given. (For fprt, a similar generalization was already known.) Surprisingly, for ...
John Case, Samuel E. Moelius
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CIE
Authors John Case, Samuel E. Moelius
Comments (0)