We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Relatively acceptable notation

Abstract: Shapiro's notations for natural numbers, and the associated desideratum of acceptability - the property of a notation that all recursive functions are computable in it - is well-known in philosophy of computing. Computable structure theory, however, although capable of fully reconstructing Shapiro's approach, seems to be off philosophers' radar. Based on the case study of natural numbers with standard order, we make initial steps to reconcile these two perspectives. First, we lay the elementary conceptual groundwork for the reconstruction of Shapiro's approach in terms of computable structures and show, on a few examples, how results pertinent to the former can inform our understanding of the latter. Secondly, we prove a new result, inspired by Shapiro's notion of acceptability, but also relevant for computable structure theory. The result explores the relationship between the classical notion of degree spectrum of a computable function on the structure in question - specifically, having all c.e. degrees as a spectrum - and our ability to compute the (image of the) successor from the (image of the) function in any computable copy of the structure. The latter property may be otherwise seen as relativized acceptability of every notation for the structure.
Comments: 15 pages, 0 figures
Subjects: Logic (math.LO); Other Computer Science (cs.OH)
MSC classes: 03D45, 03A99
Cite as: arXiv:2205.00791 [math.LO]
  (or arXiv:2205.00791v1 [math.LO] for this version)

Submission history

From: Dariusz Kalociński [view email]
[v1] Mon, 2 May 2022 10:23:34 GMT (24kb,D)

Link back to: arXiv, form interface, contact.