Abstract
The traditional description of the theory of geometric constructions starts out by listing the different so-called constructional methods: ruler, compass, dividers, parallel ruler, permitted curves and the like, and aims to set down theorems on the possibility of applying these tools and their limitations. The best known are theorems of the impossible kind (trisection of the angle, doubling of the cube, etc.) and theorems about the substitutability or removability of constructional methods (construction with the compass alone). The first apply algebraic methods (Galois theory), the second, clever geometric constructions. The description of the theory of geometric constructions in algebra texts is certainly adequate from the algebraic viewpoint, but the basic concepts must be sharpened for foundational investigations. To this end the circle of ideas from programming languages — which I may here presume — can nowadays give useful service.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Further Reading
Engeler, E.: Remarks on the Theory of Geometrical Constructions, in: C. Karp: The Syntax and Semantics of Infinitary Languages, pp. 64–76, Lecture Notes in Mathematics, vol. 72, Berlin, Springer-Verlag, 1967
Engeler, E.: On the Solvability of Algorithmic Problems, Rose k Sheperdson: Logic Colloquium ’73, pp. 231–251, Amsterdam, North-Holland, 1975
Seeland, H.: Algorithmische Theorien und konstruktive Geometrie, Stuttgart, Hochschul-Verlag, 1978
Schreiber, P.: Grundlagen der konstruktiven Geometrie, VEB Deutscher Verlag der Wissenschaften, 1984
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Engeler, E. (1993). Geometric Constructions. In: Foundations of Mathematics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78052-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-78052-3_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-78054-7
Online ISBN: 978-3-642-78052-3
eBook Packages: Springer Book Archive