Skip to Main content Skip to Navigation
Journal articles

Axiomatic approach to the theory of algorithms and relativized computability

Alexander Shen 1
1 ESCAPE - Systèmes complexes, automates et pavages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : It is well known that many theorems in recursion theory can be "relativized". This means that they remain true if partial recursive functions are replaced by functions that are partial recursive relative to some fixed oracle set. Uspensky in [1] formulates three "axioms" called "axiom of computation records", "axiom of programs" and "arithmeticity axiom". Then, using these axioms (more precisely, two first ones) he proves basic results of the recursion theory. These two axioms are true also for the class of functions that are partial recursive relative to some fixed oracle set. Also this class is closed under substitution, primitive recursion and minimization (í µí¼‡-operator); these (intuitively obvious) closure properties are also used in the proofs. This observation made by Uspensky explains why many theorems of recursion theory can be relativized. It turns out that the reverse statement is also true: all relativizable results follow from the first two axioms and closure properties. Indeed, every class of partial functions that is closed under substitution, primitive recursion and minimization that satisfies the first two axioms is the class of functions that are partial recursive relative to some oracle set í µí°´. This is the main result of the present article. Let í µí°¾ be a class of partial functions with natural arguments and values. It may contain functions of different arity. Consider the following requirements for the class í µí°¾: 1. (Closure properties) The class í µí°¾ contains all partial recursive functions and is closed under substitution, primitive recursion and í µí¼‡-operator. 2. (Computation records) For every unary function ∈ í µí°¾ there exists a set í µí±€ of natural numbers and functions í µí»¼, í µí¼” ∈ í µí°¾ whose domains contain í µí±€ such that (a) The indicator function of the set í µí±€ that is equal to 1 on í µí±€ and is equal to 0 outside í µí±€, belongs to í µí°¾; (b) the value of í µí±“ on some í µí±¥ is defined and equal to some í µí±¦ if and only if there exists some í µí±š ∈ í µí±€ such that í µí»¼(í µí±š) = í µí±¥ and í µí¼”(í µí±š) = í µí±¦. (Using the terminology from [1], one may say that í µí±€ is the set of all computation records for the function í µí±“ and all possible inputs; the functions í µí»¼ and í µí¼” are defined on all computation records and extract the input and output respectively.) 3. (Programs axiom) There exist a binary function í µí°¹ ∈ í µí°¾ that is universal for the unary functions in í µí°¾. This means that for every unary function í µí±“ ∈ í µí°¾ there exists some í µí±› such that the function í µí°¹(í µí±›, ⋅) coincides with í µí±“.
Document type :
Journal articles
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01923123
Contributor : Alexander Shen <>
Submitted on : Thursday, November 15, 2018 - 7:15:16 AM
Last modification on : Friday, November 16, 2018 - 1:18:03 AM
Long-term archiving on: : Saturday, February 16, 2019 - 12:41:14 PM

Files

1980eng.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01923123, version 1
  • ARXIV : 1811.06259

Collections

Citation

Alexander Shen. Axiomatic approach to the theory of algorithms and relativized computability. Vestnik Moskovskogo universiteta. Seriya 1, Mathematics, mechanics, Izd-vo Moskovskogo universiteta, 1960-, 1980, pp.27-29. ⟨lirmm-01923123⟩

Share

Metrics

Record views

107

Files downloads

21