Concrete mathematics. Finitistic approach to foundations

DOI10.1007/978-3-662-55386-2_19zbMath1496.03020OpenAlexW2730578143MaRDI QIDQ1685932

Marek Czarnecki, Marcin Mostowski

Publication date: 20 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55386-2_19

zbMATH Keywords

mathematical truthfoundations of mathematicsactual infinitypotential infinityconcrete mathematicsFM-representability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (1)

FINITIST AXIOMATIC TRUTH

This page was built for publication: Concrete mathematics. Finitistic approach to foundations