[FOM] Query: references on intuitionistic Euclidean geometry
urquhart at cs.toronto.edu
Fri Nov 20 14:50:19 EST 2009
Arend Heyting published a paper entitled
Axioms for intuitionistic plane affine geometry.
in the collection "The axiomatic method.
With special reference to geometry and physics.", Proceedings of an
International Symposium held at the Univ. of Calif., Berkeley, Dec. 26,
1957-Jan 4, 1958 (edited by L. Henkin, P. Suppes and A. Tarski) pp.
160--173 Studies in Logic and the Foundations of Mathematics North-Holland
Publishing Co., Amsterdam.
More information about the FOM