[FOM] Query: references on intuitionistic Euclidean geometry

freek freek at cs.ru.nl
Fri Nov 20 16:23:31 EST 2009


Michael Beeson has written two papers on the subject of constructive
Euclidean geometry.  Here are links to the papers and to slides of talks
about these papers.

60. Constructive geometry, to appear in Arai, T. (ed.) *Proceedings of the
Tenth Asian Logic Colloquium, Kobe, Japan, 2008, *World Scientific,
Singapore, 2009. Projected publication date is June fall, 2009. This is the
final preprint version (i.e., does not use the publisher's style file but is
otherwise final). Slides of a talk on this subject are available
here <http://www.michaelbeeson.com/research/talks/ConstructiveGeometrySlides.pdf>

pdf (384kb, 44 pages)
<http://www.michaelbeeson.com/research/papers/ConstructiveGeometryFinalPreprintVersion.pdf>

61. The parallel postulate in constructive geometry. This is a draft, but it
does contain complete proofs. Comments welcome! Slides of a talk on this
subject are available
here <http://www.michaelbeeson.com/research/talks/ParallelIndependenceSlides.pdf>

pdf (227kb, 22 pages)
<http://www.michaelbeeson.com/research/papers/ParallelIndependence.pdf>


More information about the FOM mailing list