Logic of ruler and compass constructions

 Reference 

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 mathematical objects. Unlike arithmetic or algebraic mathematics, geometry does not require the additional step of abstraction into numeral or variable.

Communication through ECG is direct and does not require encoding or decoding messages. Therefore, it is the most appropriate form of communication with ETI. Surprisingly, nearly all SETI messages use pictographic or numeral-based mathematics, which requires translation, abstraction, and decoding processes.


Beeson, M. (2012). Logic of ruler and compass constructions. In How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings 8 (pp. 46-55). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-30870-3_6

>