scientific article; zbMATH DE number 5054077

MaRDI QIDQ5488257zbMATH OpenFDO

Authors Matthias Schirn, Karl-Georg Niebergall

Publication date 14 September 2006

zbMATH Keywords

primitive recursive functions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Recommendations

• Wittgenstein and finitism
• On the concept of finitism
• scientific article; zbMATH DE number 1870429
• scientific article; zbMATH DE number 5346399
• scientific article; zbMATH DE number 1354829
• Strict finitism, feasibility, and the sorites
• Two (or three) notions of finitism
• Apophatic finitism and infinitism
• Different senses of finitude: an inquiry into Hilbert's finitism
• On the limit of the finite. The Hilbert programme in the context of formalism and finitism

Cited in

(8)

• scientific article; zbMATH DE number 1870429 (Why is no real title available?)
• Consistency, models, and soundness
• Finitism, imperative programs and primitive recursion
• On Tao's “finitary” infinite pigeonhole principle
• Finitism, imperative programs and primitive recursion
• What Hilbert and Bernays meant by ``finitism
• Conversations with Bill about functionals and terms
• Two (or three) notions of finitism

This page was built for publication:

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