Finitism in geometry

DOI10.1023/A:1005655803647MaRDI QIDQ5931312zbMATH OpenOpenAlexFDO

Authors P. Suppes

Publication date 16 October 2001

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005655803647

zbMATH Keywords

finitistic approach to geometryquantifier-free axiom system for affine geometry

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Linear incidence geometric structures with parallelism (51A15) Ordered geometries (ordered incidence structures, etc.) (51G05)

Review text

To exemplify the adequacy of a finitistic approach to geometry, motivated by early Greek an Roman applications to architecture (Agatharcus, Vitruvius, etc.), the author presents a quantifier-free axiom system for affine geometry, similar to his earlier one [Synthese 125, 263-281 (2000; Zbl 0967.03053)].

Recommendations

• Axiom systems implying infinity in the foundations of geometry
• An axiomatic approach to geometry. Geometric trilogy I
• Aristotle's axiom in the foundations of geometry
• The foundations of geometry and the history of geometry
• Axiomatizing geometric constructions

Cited in

(2)

• Quantifier-free axioms for constructive affine plane geometry
• The paradox of classical reasoning

This page was built for publication: Finitism in geometry

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