The first example of a recursive function which is not primitive recursive

DOI10.1016/0315-0860(79)90024-7zbMath0426.03042OpenAlexW2018078077WikidataQ55887257 ScholiaQ55887257MaRDI QIDQ1135847

Cristian S. Calude, Ionel Ţevy, Solomon Marcus

Publication date: 1979

Published in: Historia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0315-0860(79)90024-7

zbMATH Keywords

recursive functionprimitive-recursive function

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (1)

NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM

Cites Work

• Nested recursion
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The first example of a recursive function which is not primitive recursive