[FOM] Query: references on intuitionistic Euclidean geometry
aa at tau.ac.il
Sun Nov 22 07:34:05 EST 2009
Another work that should perhaps be mentioned is a series
of papers by Victor Pambuccian about constructive geometry.
The last published one is:
Constructive Axiomatizations of Plane Absolute, Euclidean and
Hyperbolic Geometry. Math. Log. Q. 47(1): 129-136 (2001)
(see there for references to other papers on the subject by the same author).
>> Quoting "Giovanni Sambin" <sambin at math.unipd.it>:
>>> Dear FOMers,
>>> a student of mine plans to write a thesis on Euclidean geometry
>>> developed over intuitionistic logic. I would appreciate any reference to
>>> books, papers, or any other source on this topic.
>>> Thank you very much in advance for collaboration
>>> Giovanni Sambin
More information about the FOM