Primitive recursive functions

DOI10.1090/S0002-9904-1947-08911-4zbMath0034.29102MaRDI QIDQ5792036

Raphael M. Robinson

Publication date: 1947

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items

Definitional schemes for primitive recursive and computable functions ⋮ A system of implicit quantification ⋮ On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions ⋮ Primitive iteration and unary functions ⋮ Recursive Functions of One Variable ⋮ Arithmetical representation of recursively enumerable sets ⋮ In Memoriam: Raphael Mitchel Robinson ⋮ Simplifications of the recursion scheme ⋮ General iteration and unary functions ⋮ Iteration on notation and unary functions ⋮ Succinct iterative characterizations of primitive computable unary functions ⋮ Another simplification of the recursion scheme ⋮ A classification of the one-argument primitive recursive functions ⋮ Bases for algebras of recursive functions ⋮ Bases in algebras of partially recursive functions ⋮ Subrecursive programming languages. II. On program size ⋮ A problem in recursive function theory ⋮ Recursive functions of large scope ⋮ List Objects with Algebraic Structure ⋮ Unary primitive recursive functions ⋮ Wittgenstein and finitism ⋮ Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections ⋮ Closure functions and general iterates as reflectors ⋮ A flow diagram composition of Markov's normal algorithms without concluding formulas ⋮ A reduction of the recursion scheme