Constructivity in Geometry

DOI10.1080/01445349950044206zbMath1051.51500OpenAlexW1995471045WikidataQ58351623 ScholiaQ58351623MaRDI QIDQ2757990

Richard E. Vesley

Publication date: 5 December 2001

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349950044206

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) History of geometry (51-03)

Related Items (4)

Implementing Euclid's straightedge and compass constructions in type theory ⋮ Constructive geometrical reasoning and diagrams ⋮ Axiomatizing geometric constructions ⋮ Constructibility and Geometry

Cites Work

• Unnamed Item
• Unnamed Item
• The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 -- January 4, 1958
• A common axiom set for classical and intuitionistic plane geometry
• Automated development of Tarski's geometry
• The axioms of constructive geometry
• TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
• Tarski and geometry
• Ternary Operations as Primitive Notions for Constructive Plane Geometry

This page was built for publication: Constructivity in Geometry