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

DOI10.1016/0315-0860(79)90024-7MaRDI QIDQ1135847zbMATH OpenOpenAlexWikidataFDO

Authors Cristian S. Calude, Solomon Marcus, Ionel Ţevy

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)

Cites work

• scientific article; zbMATH DE number 3116592 (Why is no real title available?)
• scientific article; zbMATH DE number 3131080 (Why is no real title available?)
• scientific article; zbMATH DE number 3247155 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3335016 (Why is no real title available?)
• Nested recursion

Cited in

(1)

• NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1135847)