Finitism, imperative programs and primitive recursion

DOI10.1093/logcom/exaa076OpenAlexW4233250478MaRDI QIDQ5028315

Daniel Leivant

Publication date: 8 February 2022

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exaa076

zbMATH Keywords

primitive recursive arithmeticfinitismimperative programmingprimitive recursive functionsfinite partial functionsloop variantParsons' theorem

Mathematics Subject Classification ID

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

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