arXiv:1109.0949 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords arithmetic, self-reference, representability, non-terminating symbolic expression, conventional systems Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset