Finitism, imperative programs and primitive recursion

DOI10.1007/978-3-030-36755-8_7MaRDI QIDQ2177582zbMATH OpenOpenAlexFDO

Authors Daniel M. Leivant

Publication date 6 May 2020

Full work available at URL https://doi.org/10.1007/978-3-030-36755-8_7

zbMATH Keywords

finite partial functionsfinitismimperative programmingloop variantParson's theoremprimitive recursive arithmeticprimitive recursive functions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20) First-order arithmetic and fragments (03F30)

Recommendations

• Finitism, imperative programs and primitive recursion
• scientific article; zbMATH DE number 5054077
• scientific article; zbMATH DE number 1254487
• scientific article; zbMATH DE number 1870429
• Intrinsic reasoning about functional programs. I: First order theories

Cited in

(3)

• scientific article; zbMATH DE number 1254487 (Why is no real title available?)
• Finitism, imperative programs and primitive recursion
• Strict finitism and feasibility

This page was built for publication: Finitism, imperative programs and primitive recursion

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