Finitism, imperative programs and primitive recursion

DOI10.1093/LOGCOM/EXAA076OpenAlexW4233250478MaRDI QIDQ5028315FDOQ5028315

Daniel M. 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

finitismimperative programmingprimitive recursive functionsprimitive recursive arithmeticfinite 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)

Cited In (1)

• Computably and punctually universal spaces

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 Q5028315)