Hostname: page-component-7b7567c8c-wxvwp Total loading time: 0 Render date: 2026-11-15T00:57:10.368Z Has data issue: false hasContentIssue false

Constructibility as a criterion for existence

Published online by Cambridge University Press:  12 March 2014

Barkley Rosser*
Affiliation:
Harvard University

Extract

Problems of construction have engaged the attention of mathematicians from the earliest times. The three famous unsolved problems of the Greeks were problems of construction. Apparently the attitude of the Greeks toward these problems was that, if a geometric entity exists, it must be constructible. For example they believed that given an arbitrary angle, there is another one equal to a third of the first. Hence there must be a way of constructing the second angle, that is, a way of trisecting the first angle. This attitude is very similar in formulation but vastly different in content from the attitude of the modern intuitionists, who say that a mathematical entity does not exist unless it is constructible. Had Brouwer been a Greek, he would probably have declared that, given an angle, it is non-sense to speak of another angle equal to a third of it until such a second angle has been constructed.

However, it seems scarcely necessary to remind the reader that, for the Greeks, constructibility meant a special kind of constructibility, namely, constructibility by ruler and compass. Other methods of constructing geometric entities are known, and by use of them, the problems of the Greeks can be solved. More than that, it is now known that ruler and compass constructions alone do not suffice to solve any one of the three famous problems of the Greeks. Therefore, we see that the Greeks erred in restricting themselves to ruler and compass constructions, even though they may have felt justified in making these restrictions, due to considerations of mathematical elegance, or to ignorance of other methods.

Information

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1936

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable