Euclid++

Contents

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?