The first example of a recursive function which is not primitive recursive
From MaRDI portal
Publication:1135847
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
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)
Cites Work
This page was built for publication: The first example of a recursive function which is not primitive recursive