Logic of ruler and compass constructions

This paper introduces Euclidean Constructive Geometry (ECG). ECG is a field of modern mathematics that is based on the traditions of ruler and compass geometry that emerge from the ancient Greek geometer Euclid. This type of mathematics is unique in that is emerges directly the basic categories of space and time. ECG relates directly with [Read more…]

Logic of ruler and compass constructions