scientific article; zbMATH DE number 1550360

MaRDI QIDQ4523480zbMATH OpenFDO

Authors George Boolos

Publication date 11 January 2001

Mathematics Subject Classification ID

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

Cited in

(2)

• Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
• Justification by infinite loops

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 Q4523480)