Is the Continuum Hypothesis a Definite Mathematical Problem?
نویسندگان
چکیده
[t]he analysis of the phrase " how many " unambiguously leads to a definite meaning for the question [ " How many different sets of integers do their exist? " ]: the problem is to find out which one of the 'אs is the number of points of a straight line… Cantor, after having proved that this number is greater than א 0 , conjectured that it is א 1. An equivalent proposition is this: any infinite subset of the continuum has the power either of the set of integers or of the whole continuum. This is Cantor's continuum hypothesis. … But, although Cantor's set theory has now had a development of more than sixty years and the [continuum] problem is evidently of great importance for it, nothing has been proved so far relative to the question of what the power of the continuum is or whether its subsets satisfy the condition just stated, except that … it is true for a certain infinitesimal fraction of these subsets, [namely] the analytic sets. Not even an upper bound, however high, can be assigned for the power of the continuum. It is undecided whether this number is regular or singular, accessible or inaccessible, and (except for König's negative result) what its character of cofinality is. Throughout the latter part of my discussion, I have been assuming a naïve and uncritical attitude toward CH. While this is in fact my attitude, I by no means wish to dismiss the opposite viewpoint. Those who argue that the concept of set is not sufficiently clear to fix the truth-value of CH have a position which is at present difficult to assail. As long as no new axiom is found which decides CH, their case will continue to grow stronger, and our assertion that the meaning of CH is clear will sound more and more empty. Abstract: The purpose of this article is to explain why I believe that the Continuum Hypothesis (CH) is not a definite mathematical problem. My reason for that is that the concept of arbitrary set essential to its formulation is vague or underdetermined and there is no way to sharpen it without violating what it is supposed to be about. In addition, there is considerable circumstantial evidence to support the view that CH is not definite. In more detail, the status of CH is examined from three directions, first a thought …
منابع مشابه
Is the Continuum Hypothesis a definite mathematical problem? DRAFT 9/18/11 For: Exploring the Frontiers of Incompleteness (EFI) Project, Harvard 2011-2012
[t]he analysis of the phrase “how many” unambiguously leads to a definite meaning for the question [“How many different sets of integers do their exist?”]: the problem is to find out which one of the א ‟s is the number of points of a straight line... Cantor, after having proved that this number is greater than א0, conjectured that it is א1. An equivalent proposition is this: any infinite subset...
متن کاملTOPOLOGICAL OPTIMIZATION OF VIBRATING CONTINUUM STRUCTURES FOR OPTIMAL NATURAL EIGENFREQUENCY
Keeping the eigenfrequencies of a structure away from the external excitation frequencies is one of the main goals in the design of vibrating structures in order to avoid risk of resonance. This paper is devoted to the topological design of freely vibrating continuum structures with the aim of maximizing the fundamental eigenfrequency. Since in the process of topology optimization some areas of...
متن کاملA Grey Transportation Problem in Fuzzy Environment
In classical transport models, it is always assumed that parameters such as the distance from each supply node to each demand node or the cost of transferring goods from one node to another, as well as quantities such as supply and demand are definite and definite amounts. But in real matters, considering these assumptions is not logical. On the other hand, there may be a real problem in mathem...
متن کاملQuantum mechanics without interpretation
It is shown that the independence of the continuum hypothesis points to the unique definite status of the set of intermediate cardinality: the intermediate set exists only as a subset of continuum. This latent status is a consequence of duality of the members of the set. Due to the structural inhomogeneity of the intermediate set, its complete description falls into several “sections” (theories...
متن کاملFeferman on the Indefiniteness of CH
Feferman is arguably the foremost critic of set theory since Weyl. His paper “Is the continuum hypothesis a definite mathematical problem?” provides a useful overview of his negatie answer, drawing on many papers over many years. The main thesis is that the continuum hypothesis (CH) is an “indefinite” statement and that the underlying reason is that the “concept of arbitrary set [which is essen...
متن کامل