Euclid++

Gerard Allwein

Hilbert's Foundations of Geometry was hailed as finally putting geometry on solid formal ground. And so it did. However, has it helped anyone to actually learn or do geometry? One could argue that it helped non-standard forms of geometry, that is not the issue. The issue is, does it help in doing Euclidean geometry?


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.