Predicative Frege Arithmetic and 'Everyday' Mathematics

DOI10.1093/PHILMAT/NKT045zbMath1311.03015OpenAlexW2313703879MaRDI QIDQ5245989

Richard G. jun. Heck

Publication date: 17 April 2015

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d4ed1950cd4f3e227d02019fb4aafec2f4239c46

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Second- and higher-order arithmetic and fragments (03F35)

Related Items (2)

CONSISTENCY AND THE THEORY OF TRUTH ⋮ STRICT FINITISM, FEASIBILITY, AND THE SORITES

This page was built for publication: Predicative Frege Arithmetic and 'Everyday' Mathematics