Constructive geometry

MaRDI QIDQ3567843zbMATH OpenFDO

Authors Michael Beeson

Publication date 17 June 2010

zbMATH Keywords

Euclidean geometrygeometric constructionsintuitionistic logic

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Intuitionistic mathematics (03F55) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05)

Recommendations

• Logic of Ruler and Compass Constructions
• A common axiom set for classical and intuitionistic plane geometry
• Another Constructive Axiomatization of Euclidean Planes
• Constructive geometry and the parallel postulate
• A constructive version of Tarski's geometry

Cited in

(19)

• A common axiom set for classical and intuitionistic plane geometry
• Brouwer and Euclid
• Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
• The axioms of constructive geometry
• `Outside' as a primitive notion in constructive projective geometry
• Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI
• Axiomatizing geometric constructions
• Implementing Euclid's straightedge and compass constructions in type theory
• A constructive real projective plane
• Constructive methods in spatial geometry
• Towards understanding triangle construction problems
• Constructibility classes for triangle location problems
• scientific article; zbMATH DE number 3841845 (Why is no real title available?)
• Constructive geometrical reasoning and diagrams
• scientific article; zbMATH DE number 9972 (Why is no real title available?)
• A constructive version of Tarski's geometry
• Another Constructive Axiomatization of Euclidean Planes
• Constructibility and Geometry
• Constructive geometry and the parallel postulate

This page was built for publication: Constructive geometry

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