On the Difficulty of Writing Out formal
β
Ryo Kashima; Takeshi Yamaguchi
π
Article
π
1997
π
John Wiley and Sons
π
English
β 266 KB
## Abstract Let βΈ be the set of GΓΆdel numbers Gn(__f__) of function symbols __f__ such that PRA β’ and let Ξ³ be the function such that We prove: (1) The r. e. set βΈ is mβcomplete; (2) the function Ξ³ is not primitive recursive in any class of functions {__f__~1~, __f__~2~, β} so long as each __f~i~