Constructivity in Geometry

DOI10.1080/01445349950044206MaRDI QIDQ2757990zbMATH OpenOpenAlexWikidataFDO

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

Cites work

• A common axiom set for classical and intuitionistic plane geometry
• Automated development of Tarski's geometry
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Tarski and geometry
• Ternary Operations as Primitive Notions for Constructive Plane Geometry
• TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
• 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
• The axioms of constructive geometry

Cited in

(4)

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

This page was built for publication: Constructivity in Geometry

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