Constructivity in Geometry
From MaRDI portal
Publication:2757990
DOI10.1080/01445349950044206zbMath1051.51500OpenAlexW1995471045WikidataQ58351623 ScholiaQ58351623MaRDI QIDQ2757990
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
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