Two (or three) notions of finitism

DOI10.1017/S1755020309990323MaRDI QIDQ3550708zbMATH OpenOpenAlexFDO

Authors Mihai Ganea

Publication date 1 April 2010

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020309990323

zbMATH Keywords

equational theoryfinitismKalmar elementary functionsalgebra of lower elementary functionsequational arithmeticfinitistic arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Finitistic arithmetic and classical logic
• scientific article; zbMATH DE number 5054077
• scientific article; zbMATH DE number 1870429
• scientific article; zbMATH DE number 1254487
• Finitism, imperative programs and primitive recursion

Cites work

• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 1150714 (Why is no real title available?)
• A Formalization of Recursive Arithmetic
• Combinatorial principles in elementary number theory
• Functional interpretations of feasibly constructive arithmetic
• Hilbert's Programs: 1917–1922
• Hilbert's program and the omega-rule
• Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
• Logic-free formalisations of recursive arithmetic
• On Grzegorczyk induction
• Partial realizations of Hilbert's program
• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• Ternary Recursive Arithmetic.
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(9)

• scientific article; zbMATH DE number 5054077 (Why is no real title available?)
• Finitistic arithmetic and classical logic
• Strict finitism and the happy sorites
• Finiteness and choice
• On the concept of finitism
• Explicit finitism
• Strict finitism, feasibility, and the sorites
• What Hilbert and Bernays meant by ``finitism
• scientific article; zbMATH DE number 1870429 (Why is no real title available?)

This page was built for publication: Two (or three) notions of finitism

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