Strict finitism and the logic of mathematical applications

DOI10.1007/978-94-007-1347-5zbMath1279.03006OpenAlexW610320434MaRDI QIDQ381241

Feng Ye

Publication date: 15 November 2013

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-1347-5

zbMATH Keywords

calculusnominalismnaturalismapplicability of classical mathematical theories to the world of physical entitieselementary recursive functionselementary recursive mathematicsfragment of quantifier-free primitive recursive arithmeticstrict finitism

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in the philosophy of science (03A10)

Related Items (6)

Fundamental limit on angular measurements and rotations from quantum mechanics and general relativity ⋮ Completely discretized, finite quantum mechanics ⋮ FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS ⋮ A type D breakdown of the Navier Stokes equation ind= 3 spatial dimensions ⋮ Unnamed Item ⋮ The paradox of phase transitions in the light of constructive mathematics

This page was built for publication: Strict finitism and the logic of mathematical applications