Namespaces
Variants
Actions

Difference between revisions of "Hilbert 2nd problem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m
Line 32: Line 32:
 
As a first example, consider the work of Galileo. His concerns about the “paradoxical” property of infinite sets are often mentioned in published discussions of the potentially infinite and the actually infinite. Yet, even today, doubts are expressed about whether or not Galileo had influence either on Cantor, the mathematician whose name is most often and most closely associated with the notion of infinite sets, or on any other mathematician.<ref>Renfro</ref>
 
As a first example, consider the work of Galileo. His concerns about the “paradoxical” property of infinite sets are often mentioned in published discussions of the potentially infinite and the actually infinite. Yet, even today, doubts are expressed about whether or not Galileo had influence either on Cantor, the mathematician whose name is most often and most closely associated with the notion of infinite sets, or on any other mathematician.<ref>Renfro</ref>
  
Further, consider Gauss’ well-known comment about actual infinites in the work of Cantor and the latter’s response:
+
Further, consider Gauss’ well-known comment about actual infinities in the work of Cantor and the latter’s response:
 
::Gauss: I protest against the use of infinite magnitude as something completed, which in mathematics is never permissible. Infinity is merely a facon de parler, the real meaning being a limit which certain ratios approach indefinitely near, while others are permitted to increase without restriction.
 
::Gauss: I protest against the use of infinite magnitude as something completed, which in mathematics is never permissible. Infinity is merely a facon de parler, the real meaning being a limit which certain ratios approach indefinitely near, while others are permitted to increase without restriction.
 
::Cantor: I answered [Gauss] thoroughly, and on this point did not accept the authority of Gauss, which I respect so highly in all other areas ...
 
::Cantor: I answered [Gauss] thoroughly, and on this point did not accept the authority of Gauss, which I respect so highly in all other areas ...
Line 57: Line 57:
 
Hence, a discussion of these philosophical positions is not included in this article.
 
Hence, a discussion of these philosophical positions is not included in this article.
  
==Historical roots of Hilbert’s program==
+
==Background to Hilbert’s program==
  
 
By about 1820, mathematicians had developed deductively a large part of analysis using the real numbers and their properties as a starting point.
 
By about 1820, mathematicians had developed deductively a large part of analysis using the real numbers and their properties as a starting point.
Line 143: Line 143:
 
# the development of the predicate calculus
 
# the development of the predicate calculus
  
====Algebraization of syllogistic logic====
+
====The algebra of logic====
  
 
The beginning of mathematical logic has been dated from the years in which Boole and De Morgan published their works on the algebraization of Aristotelian logic.<ref>Boyer p. 633</ref>
 
The beginning of mathematical logic has been dated from the years in which Boole and De Morgan published their works on the algebraization of Aristotelian logic.<ref>Boyer p. 633</ref>
Line 221: Line 221:
 
Peirce's work on (binary) relations was continued and extended in a very thorough and systematic way by Schroeder, whose published work of 1895 “is so far the only exhaustive account of the calculus of relations.”<ref>Tarski pp. 73-74</ref>
 
Peirce's work on (binary) relations was continued and extended in a very thorough and systematic way by Schroeder, whose published work of 1895 “is so far the only exhaustive account of the calculus of relations.”<ref>Tarski pp. 73-74</ref>
  
====Development of the predicate calculus====
+
====Cantor’s early theory of sets====
  
===Axiomatization of arithmetic===
+
Set theory is the study sets, their properties, and the operations tha can be performed on them. It has been especially concerned with sets that have infinitly many elements.<ref>[[Set theory]]</ref>
  
===Developments in set theory===
+
Broadly defined, the term naive set theory connotes an informal set theory developed in a natural language in which such words as  and, or, if ... then, not, for some, and for every are not rigorously defined. The term includes these various versions of set theory:<ref>Wikipedia “Naive set theory”</ref><ref>Porubsky notes that the term naive set theory came into broad use in the 1960s following its use as the title of Halmos’ text.</ref>
 +
# Cantor’s early (pre-1883 Grundlagen) theory of sets
 +
# Cantor’s later general theory of sets, the basis of the theory of transfinite numbers
 +
# informally developed set theories (axiomatic or otherwise) developed by Dedekind, Peano, and Frege
 +
# modern, informally developed versions of an axiomatic set theory, as in Naive Set Theory by Paul Halmos.
  
===Axiomatization of geometry===
+
This section examines the first of these, namely, Cantor’s early theory of sets.
  
==Development of Hilbert’s program==
+
=====Bolzano’s contribution=====
  
==Subsequent variants and reinterpretations of Hilbert’s program==
+
In spite of Cantor’s pre-eminence in the area of set theory, the first to work with sets was Bolzano, as was noted above in [[#Introduction of infinite sets]]. It is from him that we have the following early definitions:
 +
::... an embodiment of the idea or concept which we conceive when we regard the arrangement of its parts as a matter of indifference (1847)<ref>Bolzano cited in Porubsky</ref>
 +
::... an aggregate so conceived that it is indifferent to the arrangement of its parts (1851)<ref>Bolzano §4 cited in Tait p. 2</ref>
 +
It was also Bolzano who first used the German word ''Menge'' for set, a usage that Cantor himself continued in his theory.<ref>Porubsky</ref>
 +
 
 +
Despite this, Bolzano’s understanding of the notion of set was incomplete, especially with respect to the important distinction between the element/set relation and the part/whole relation. Consider, as evidence, his use of the word “parts” (Teile) to refer to the elements of a set in his description given above.”<ref>Tait p. 2</ref>
 +
 
 +
Further, Bolzano thought absurd consideration of a set with only one element, while he failed entirely to consider the null set.<ref>Bolzano §3 cited in Tait p. 3. Tait tempers this criticism of Bolzano’s understanding, noting that both Cantor and Dedekind also avoided the null set -- “no whole has zero parts” -- and that “as late as 1930, Zermelo chose in his important paper [1930] on the foundations of set theory to axiomatize set theory without the null set.”</ref>
 +
Nevertheless, it was Bolzano who identified sets as “the carriers of the property finite or infinite in mathematics.”<ref>Bolzano §11 cited in Tait p. 3</ref>
 +
 
 +
=====Cantor’s discoveries=====
 +
 
 +
Traditional views give to Cantor (not entirely undeservedly) all or most of the credit for having developed set theory:
 +
::naive set theory is primarily due to Cantor<ref>Brown (2007)</ref>
 +
::the first development of set theory was a naive set theory … created at the end of the 19th century by Georg Cantor.<ref>Wikipedia “Naive set theory”</ref>
 +
::“For most areas [of mathematics] a long process can usually be traced in which ideas evolve until an ultimate flash of inspiration, often by a number of mathematicians almost simultaneously, produces a discovery of major importance. Set theory however is rather different. It is the creation of one person, Georg Cantor.”<ref>O’Connor and Robertson “A history of set theory”</ref>
 +
::Set theory, as a separate mathematical discipline, was born in late 1873 in the work of Georg Cantor.<ref>Bagaria §1</ref>
 +
 
 +
To this needs to be added a nuanced caveat, such as these:
 +
::Cantor’s work should be considered as a completion of a long historical process<ref>Ebbinghaus p. 298 cited in Porubsky</ref>
 +
::The concept of set is no Athena: school children understand it now; but its development was long drawn out, beginning with the earliest counting and reckoning and extending into the late nineteenth century.<ref>Tait p. 3</ref>
 +
 
 +
Even today, it is known that early study of naive set theory and early work with naive sets are useful in mathematics education:<ref>Wikipedia “Naive set theory”</ref>
 +
* they aid in developing a facility for working more formally with sets
 +
* they aid in understanding the motivation for axiomatic set theory
 +
 
 +
Cantor’s first ideas on set theory were contaied in papers on trigonometric series, but for the most part he developed the set concept and its theory as a consistent basis for his work with infinite sets.<ref>O’Connor and Robertson “A history of set theory”</ref><ref>Ebbinghaus p. 298 cited in Porubsky</ref>
 +
 
 +
In 1873, he discovered that the linear continuum is not countable, which he treated as an invitation to investigate the “different sizes of infinity” and the domain of the transfinite.<ref>Bagaria (2014) §1</ref><ref>Ferreirós (2011) §1</ref> The following is a brief account of how his discovery came about:<ref>Ferreirós (2011) §1 citing Ewald (1996) Vol. 2</ref>
 +
::* Cantor, in correspondence with Dedekind, asked the question whether the infinite sets N of the natural numbers and R of real numbers can be placed in one-to-one correspondence.
 +
::* Dedekind, in reply, offered a proof of the following:
 +
::::the set A of all algebraic numbers, the set of all real roots of equations of the form an xn + an-1 xn-1 + an-2 xn-2 + . . . + a1 x + a0 = 0, where ai is an integer, is denumerable (i.e., there is a one-to-one correspondence with $\mathbb{N}$).
 +
::* Cantor, a few days later, proved that the assumption that $\mathbb{R}$ is denumerable leads to a contradiction, using the Bolzano-Weierstrass principle of completeness.
 +
Thus, Cantor showed that “there are more elements in $\mathbb{R}$ than in $\mathbb{N}$ or $\mathbb{Q}$ or $\mathbb{A}$,” in this precise sense:
 +
::::the cardinality of $\mathbb{R}$ is strictly greater than that of $\mathbb{N}$.
 +
A consequence of all this, Cantor noted, was proving anew an old (1844) result of Liouville's, namely, the existence (in every interval) of (uncountably many) transcendental numbers. In effect, there are in any real interval, more transcendental numbers than algebraic numbers.<ref>Burris (1997)</ref><ref>O’Connor and Robertson “A history of set theory”</ref>
 +
 
 +
In 1874, Crelle’s Journal published Cantor’s paper reporting this remarkable result and, in doing so, marked the birth of set theory. Previously, all infinite collections were assumed to be of "the same size." Cantor invoked the concept of a 1-to-1 correspondence to show that “there was more than one kind of infinity.”<ref>El Naschie (2015)</ref><ref>O’Connor and Robertson “A history of set theory”</ref><ref>Burris (1997)</ref>
 +
 
 +
Here is a summary of Cantor’s published results involving the early version of his naive set theory:<ref>Tait p. 2</ref><ref>El Naschie, M S. (2015)</ref>
 +
# in 1874, a proof that the set of real numbers is not denumerable, i.e. is not in one-to-one correspondence with (is not equipollent to) the set of natural numbers.
 +
# in 1878, a definition of what it means for two sets M and N to have the same power or cardinal number; namely that they be equipollent.
 +
# also in 1878, a proof that the set of real numbers and the set of points in n-dimensional Euclidean space have the same power, using a precisely developed notion of a one-to-one correspondence.
 +
 
 +
Cantor actually achieved this last result -- at the time quite paradoxical -- in 1877, after which he wrote to Dedekind to report it, saying “I see it, but I don't believe it!”<ref>Burris (1997)</ref> There were others who really didn’t believe it! Cantor submitted a paper reporting the result to Crelle's Journal. Kronecker, who had significant influence over what was published in the journal,  disliked much of Cantor's set theory and fundamentally disagreed with Cantor's work with infinite sets. The paper was published only after Dedekind intervened on Cantor's behalf.<ref>El Naschie, M S. (2015)</ref>
 +
 
 +
In 1878, Cantor stated his [[Continuum hypothesis|Continuum Hypothesis]], asserting that every infinite set of real numbers is either countable, i.e., it has the same cardinality as $\mathbb{N}$, or has the same cardinality as $\mathbb{R}$. From that point until 1883, these were the only two infinite powers or cardinal numbers.<ref>Bagaria (2014)</ref>
 +
 
 +
In all of these early papers, up to his development of the theory of transfinite numbers in 1883, Cantor’s notion of a set was essentially as follows:<ref>Tait p. 5-6</ref>
 +
::a set is a collection of elements that constitute the extension of a (mathematical) concept
 +
with the further important understanding that
 +
::the concept involved is defined only for objects of some given (mathematical) domain.
 +
With the proviso noted, we can make these further points about this:<ref>Tait pp. 5-6</ref>
 +
* Cantor’s early notion is the notion of set as it is most often applied in mathematics
 +
* the proviso noted ensures that the paradoxes of set theory simply do not arise
 +
 
 +
Finally, in an 1882 paper, Cantor made the following point with respect to what were termed “undecidable” concepts:<ref>Tait p. 4</ref>
 +
::an algorithm for deciding whether or not the concept determining a set applies to any particular object in the given domain is not needed for the concept to be the basis of a well-defined set.
 +
He gives, as an example, the set of algebraic numbers, which (as mentioned above) he himself had determined was countable. This set, Cantor insisted, is well-defined, even though determining whether or not a particular real number is algebraic “may or may not be possible at a given time with the available techiniques.”
 +
 
 +
=====A presentation of naive set theory=====
 +
 
 +
Set theory begins with two fundamental notions, objects and sets of those objects.
 +
 
 +
Membership is a fundamental binary relation between an objects o and sets A. If o is a member (or element) of A, write o ∈ A.
 +
 
 +
Set inclusion is a derived binary relation between two sets. If all the members of set A are also members of set B, then A is a subset of B, denoted A ⊆ B. A is called a proper subset of B if and only if A is a subset of B, but B is not a subset of A.
 +
 
 +
Set theory features binary operations on sets, such as these:
 +
* Union of the sets A and B, denoted A ∪ B, is the set of all objects that are a member of A, or B, or both.
 +
* Intersection of the sets A and B, denoted A ∩ B, is the set of all objects that are members of both A and B.
 +
* Set difference of U and A, denoted U \ A, is the set of all members of U that are not members of A. The set difference {1,2,3} \ {2,3,4} is {1} , while, conversely, the set difference {2,3,4} \ {1,2,3} is {4} . When A is a subset of U, the set difference U \ A is also called the complement of A in U. In this case, if the choice of U is clear from the context, the notation Ac is sometimes used instead of U \ A.
 +
* Symmetric difference of sets A and B, denoted A △ B or A ⊖ B, is the set of all objects that are a member of exactly one of A and B (elements which are in one of the sets, but not in both). It is the set difference of the union and the intersection,(A ∪ B) \ (A ∩ B) or (A \ B) ∪ (B \ A).
 +
* Cartesian product of A and B, denoted A × B, is the set whose members are all possible ordered pairs (a,b) where a is a member of A and b is a member of B.
 +
* Power set of a set A is the set whose members are all possible subsets of A.
 +
 
 +
Beginning with the fundamental notions of set and belongs to or is a member of and assuming that sets have certain (obvious) properties usually asssociated with collections of objects, it is possible to develop the binary relation of set inclusion and the binary operations notes above in an informally developed axiomatic set theory, as follows:<ref>Halmos cited in “Naive Set Theory vs. Axiomatic Set Theory”</ref>
 +
 
 +
# Axiom of Extension: Two sets are equal if and only if they have the same elements.
 +
# Axiom of Specification: For every set S and every proposition P, there is a set  which contains those elements of S which satisfy P and nothing else.
 +
# Axiom of Pairs: For any two sets there is a set which contain both of them and nothing else.
 +
# Axiom of Union: For every collection of sets, there is a set that contains all the elements and only those that belong to at least one set in the collection.
 +
# Axiom of Powers: For each set A there is a collection of sets that contains all the subsets of the set A and nothing else.
 +
# Axiom of Infinity: There is a set containing 0 and the successor of each of its elements.
 +
# Axiom of Choice: The Cartesian product of a non-empty indexed collection of non-empty sets is non-empty.
 +
 
 +
An informally developed naive set theory with these axioms is equipped to do the following:<ref>“Naive Set Theory vs. Axiomatic Set Theory”</ref>
 +
* develop concepts of ordered pair, relation, & function, and to discusses their properties
 +
* discuss numbers, cardinals, ordinals, and their arithmetics,
 +
* discuss different kinds of infinity, in particular, the uncountability of  the set of real  numbers
 +
 
 +
=====Paradoxes and Cantor’s early set theory=====
 +
 
 +
A discussion of paradoxes is relevant in two ways to the theory of sets:
 +
* the “paradoxes of the infinite” that had to be overcome before set theory could be developed
 +
* the paradoxes that later arose out of the development of set theory itself
 +
 
 +
It is interesting to consider that Cantor succeeded in resolving the “paradoxes of the infinite” and providing a coherent account of cardinal number for infinite multiplicities, while Bolzano, though he made great progress with the use and understanding of sets, failed to do so. Two points have been made to account for this.
 +
 
 +
First, there were notions about which, when applied to infinite sets, Bolzano was confused:<ref>Tait p. 2</ref>
 +
* the cardinal number of the set of points in an interval
 +
* the magnitude of the line interval as a geometric object
 +
Cantor accepted for infinite sets what had long been accepted for finite sets, namely, that “the relation of having the same cardinal number is defined in terms of equipollence.” Thus, since “the interval (0, 1) of real numbers is equipollent to the ‘larger’ interval (0, 2),” then these two sets of points, though different in magnitude, nevertheless have the same cardinal number. Bolzano, along many, rejected this.<ref>Tait p. 3</ref>
 +
 
 +
Second, Euclid’s Common Notion 5 that the whole is greater than the part was a barrier to working with infinite sets. Euclid’s principle does indeed apply to geometric magnitude. It may be that Cantor’s clear understanding of the first point above allowed him to see that in the domain of sets, infinite sets are simply a counterexample to Euclid’s principle. Whatever the reason, Bolzano did not see this.<ref>Tait p. 2</ref>
 +
 
 +
As a final issue, it is worth commenting on the oft-repeated claim that working with naive set theory inexorably leads one to paradoxes. One such claim is the following:<ref>Porubsky</ref>
 +
::Naïve set theory is intuitive and simple, but unfortunately leads very soon to controversial statements [, because] it relies on an informal understanding of sets as collections of objects, called the elements or members of the set, that is [, it relies] on a predicate indicating that a collection is a set and a relation type symbol  to represent set membership.
 +
 
 +
This claim is an exaggeration: it does not apply to Cantor’s early theory of sets, which is the naive set theory that we have been examining.
 +
 
 +
Certainly an aspect of set theory (naive or otherwise) that can lead to controversy and paradoxes is the use of ''unrestricted'' predicates (properties/concepts) to determine sets. Cantor’s early theory of sets, however, determines sets using ''restricted'' concepts. It is worth repeating here Cantor’s early notion of set:
 +
::a set is a collection of elements that constitute the extension of a (mathematical) concept that is defined only for objects of some given (mathematical) domain.
 +
Sets determined in accordance with such a notion do not give rise to paradoxes.
 +
 
 +
====The predicate calculus====
 +
 
 +
===Axiomatic development of arithmetic===
 +
 
 +
===Cantor's general theory of sets===
 +
 
 +
===Axiomatic development of geometry===
 +
 
 +
==Hilbert’s program==
 +
 
 +
==Variants and reinterpretations of Hilbert’s program==
  
 
==Notes==
 
==Notes==
Line 239: Line 368:
 
==Primary sources==
 
==Primary sources==
  
* Bolzano, B. (1851). ''Paradoxien des Unendlichen'' (ed. by F. Pryhonsky), Leipzig: Reclam; [English translation by D. A. Steele, ‘’Paradoxes of the Infinite’’, London: Routledge & Kegan Paul, 1950].
+
* Bolzano, B. (1851). ''Paradoxien des Unendlichen'' (ed. by F. Pryhonsky), Reclam'; [English translation by D. A. Steele, ‘’Paradoxes of the Infinite’’, London: Routledge & Kegan Paul, 1950].
  
 
* Boole, G. (1847, [1951]). ''The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning'', Macmillan, Barclay, & Macmillan, [Reprinted Basil Blackwell].
 
* Boole, G. (1847, [1951]). ''The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning'', Macmillan, Barclay, & Macmillan, [Reprinted Basil Blackwell].
Line 270: Line 399:
  
 
* Boyer, C B. (1968) ''A History of Mathematics'', John Wiley & Sons, URL:  https://archive.org/stream/AHistoryOfMathematics/Boyer-AHistoryOfMathematics_djvu.txt, Accessed: 2015/06/29.
 
* Boyer, C B. (1968) ''A History of Mathematics'', John Wiley & Sons, URL:  https://archive.org/stream/AHistoryOfMathematics/Boyer-AHistoryOfMathematics_djvu.txt, Accessed: 2015/06/29.
 +
 +
* Brown, R G. (2007). “Naive Set versus Axiomatic Set Theories,” URL: __________, Accessed: 2015/07/16.
 +
 +
* Burris, S. (1997). “Set theory: Cantor,” Supplementary Text Topics, URL: __________, Accessed: 2015/07/16.
  
 
* Burris, S. (2014). "Examples Applying Boole’s Algebra of Logic," ''The Stanford Encyclopedia of Philosophy'' (Winter 2014 Edition), URL: http://plato.stanford.edu/archives/win2014/entries/boole/examples.html, Accessed: 2015/07/16.
 
* Burris, S. (2014). "Examples Applying Boole’s Algebra of Logic," ''The Stanford Encyclopedia of Philosophy'' (Winter 2014 Edition), URL: http://plato.stanford.edu/archives/win2014/entries/boole/examples.html, Accessed: 2015/07/16.
Line 279: Line 412:
 
* Dasgupta, A. (2014). ''Set Theory: With an Introduction to Real Point Sets'', DOI 10.1007/978-1-4614-8854-5__2, © Springer Science+Business Media New York 2014, URL: http://www.springer.com/us/book/9781461488538,  Accessed: 2015/06/19.
 
* Dasgupta, A. (2014). ''Set Theory: With an Introduction to Real Point Sets'', DOI 10.1007/978-1-4614-8854-5__2, © Springer Science+Business Media New York 2014, URL: http://www.springer.com/us/book/9781461488538,  Accessed: 2015/06/19.
  
* Ewald, W. (2002) Review of Grattan-Guinness, I. (2000) ''The Search for Mathematical Roots'', 1870-1940, Princeton University Press. ''Bull. (New Series) Amer. Math. Soc.'', Vol. 40, No. 1, pp. 125–129.
+
* Ebbinghaus, H., et al. (1992: 3rd improved printing). ''Zahlen''. Springer-Verlag.
 +
 
 +
* El Naschie, M. (2015). “George Cantor: The Father of Set Theory,” URL: __________, Accessed: 2015/07/16.
 +
 
 +
* Ewald, W B. (1996). ''From Kant to Hilbert: A source book in the foundations of mathematics'', 2 vols., Oxford University Press.
 +
 
 +
* Ewald, W B. (2002) Review of Grattan-Guinness, I. (2000) ''The Search for Mathematical Roots'', 1870-1940, Princeton University Press. ''Bull. (New Series) Amer. Math. Soc.'', Vol. 40, No. 1, pp. 125–129.
  
 
* Ferreirós, J. (1996). “Hilbert, Logicism, and Mathematical Existence,” URL: http://personal.us.es/josef/HLME.pdf, Accessed: 2015/06/11.
 
* Ferreirós, J. (1996). “Hilbert, Logicism, and Mathematical Existence,” URL: http://personal.us.es/josef/HLME.pdf, Accessed: 2015/06/11.
Line 290: Line 429:
  
 
* Grattan-Guinness, I. (1991). "Boole y su semi-seguidor jevons," ["Boole and his semi-follower Jevons"], in 2nd International Colloquium on Philosophy and History of Mathematics, Mexico City, ''Mathesis'' Mexico, Vol. 7. No. 3, (1991), pp. 351-362.
 
* Grattan-Guinness, I. (1991). "Boole y su semi-seguidor jevons," ["Boole and his semi-follower Jevons"], in 2nd International Colloquium on Philosophy and History of Mathematics, Mexico City, ''Mathesis'' Mexico, Vol. 7. No. 3, (1991), pp. 351-362.
 +
 +
* Halmos, P. ''Naive Set Theory''.
  
 
* Jones, R B. (1996) “The Formalisation of Mathematics,” URL: http://www.rbjones.com/rbjpub/maths/math006.htm, Accessed: 2015/07/14.
 
* Jones, R B. (1996) “The Formalisation of Mathematics,” URL: http://www.rbjones.com/rbjpub/maths/math006.htm, Accessed: 2015/07/14.
Line 306: Line 447:
  
 
* O’Connor, J J. and Robertson, E F. (1997) “An Overview of the History of Mathematics”, ''MacTutor History of Mathematics archive'', URL: http://www-history.mcs.st-andrews.ac.uk/HistTopics/History_overview.html Accessed: 2015/06/18.
 
* O’Connor, J J. and Robertson, E F. (1997) “An Overview of the History of Mathematics”, ''MacTutor History of Mathematics archive'', URL: http://www-history.mcs.st-andrews.ac.uk/HistTopics/History_overview.html Accessed: 2015/06/18.
 +
 +
* O’Connor, J J and Robertson, E F. (1998). “Georg Cantor,”  ''MacTutor History of Mathematics archive'', URL: http://www-history.mcs.st-and.ac.uk/Biographies/Cantor.html Accessed: 2015/06/30.
  
 
* O'Connor, J J and Robertson, E F. (2002), “Friedrich Ludwig Gottlob Frege,”  ''MacTutor History of Mathematics archive'', URL: :http://www-history.mcs.st-andrews.ac.uk/HistTopics/Infinity.html Accessed: 2015/06/10.
 
* O'Connor, J J and Robertson, E F. (2002), “Friedrich Ludwig Gottlob Frege,”  ''MacTutor History of Mathematics archive'', URL: :http://www-history.mcs.st-andrews.ac.uk/HistTopics/Infinity.html Accessed: 2015/06/10.
Line 318: Line 461:
  
 
* Pon, S. (2003). “Hilbert’s Second Problem: Foundations of Arithmetic,” Undergraduate paper for Math 163: History of Mathematics, U.C. San Diego, URL: https://www.math.ucsd.edu/programs/undergraduate/history_of_math_resource/history_papers/math_history_05.pdf, Accessed: 2015/06/09.
 
* Pon, S. (2003). “Hilbert’s Second Problem: Foundations of Arithmetic,” Undergraduate paper for Math 163: History of Mathematics, U.C. San Diego, URL: https://www.math.ucsd.edu/programs/undergraduate/history_of_math_resource/history_papers/math_history_05.pdf, Accessed: 2015/06/09.
 +
 +
* Porubsky, S. “Naïve Set Theory.” Interactive Information Portal for Algorithmic Mathematics, Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic, URL: http://www.cs.cas.cz/portal/AlgoMath/Foundations/SetTheory/NaiveSetTheory.htm, Accessed: 2015/07/16.
  
 
* Reck, E. (2012). "Dedekind's Contributions to the Foundations of Mathematics", ''The Stanford Encyclopedia of Philosophy'' (Winter 2012 Edition), Edward N. Zalta (ed.), URL: http://plato.stanford.edu/archives/win2012/entries/dedekind-foundations/. Accessed: 2015/06/20.
 
* Reck, E. (2012). "Dedekind's Contributions to the Foundations of Mathematics", ''The Stanford Encyclopedia of Philosophy'' (Winter 2012 Edition), Edward N. Zalta (ed.), URL: http://plato.stanford.edu/archives/win2012/entries/dedekind-foundations/. Accessed: 2015/06/20.
Line 328: Line 473:
  
 
* Spalt, D.D. (1990). "Die Unendlichkeiten bei Bernard Bolzano," ''Konzepte des mathematisch Unendlichen im 19. Jahrhundert'', Göttingen, 189-218.
 
* Spalt, D.D. (1990). "Die Unendlichkeiten bei Bernard Bolzano," ''Konzepte des mathematisch Unendlichen im 19. Jahrhundert'', Göttingen, 189-218.
 +
 +
* Tait, W W. "Cantor’s Grundlagen and the Paradoxes of Set Theory,” URL: __________, Accessed: 2015/07/16.
  
 
* Tarski, Alfred. (1941). “On the Calculus of Relations,” The Journal of Symbolic Logic, Vol. 6, No. 3 (Sep., 1941), pp. 73-89, Association for Symbolic Logic, URL: http://www.jstor.org/stable/2268577, Accessed: 2015/07/09.
 
* Tarski, Alfred. (1941). “On the Calculus of Relations,” The Journal of Symbolic Logic, Vol. 6, No. 3 (Sep., 1941), pp. 73-89, Association for Symbolic Logic, URL: http://www.jstor.org/stable/2268577, Accessed: 2015/07/09.
Line 334: Line 481:
  
 
* Waterhouse, W.C. (1979). “Gauss on infinity,” ''Historia Math''. Vol. 6, Issue 4, November 1979, pp. 430-436.
 
* Waterhouse, W.C. (1979). “Gauss on infinity,” ''Historia Math''. Vol. 6, Issue 4, November 1979, pp. 430-436.
 +
 +
* Wikipedia “Naive set theory,” URL: __________, Accesses: 2015/07/16.

Revision as of 13:13, 22 July 2015

In his 1990 lecture to the International Congress of Mathematicians in Paris, David Hilbert presented a list of open problems in mathematics. He expressed the 2nd of these problems, known variously as the compatibility of the arithmetical axioms and the consistency of arithmetic, as follows:[1]

When we are engaged in investigating the foundations of a science, we must set up a system of axioms which contains an exact and complete description of the relations subsisting between the elementary ideas of that science. The axioms so set up are at the same time the definitions of those elementary ideas; and no statement within the realm of the science whose foundation we are testing is held to be correct unless it can be derived from those axioms by means of a finite number of logical steps. Upon closer consideration the question arises: Whether, in any way, certain statements of single axioms depend upon one another, and whether the axioms may not therefore contain certain parts in common, which must be isolated if one wishes to arrive at a system of axioms that shall be altogether independent of one another.
But above all I wish to designate the following as the most important among the numerous questions which can be asked with regard to the axioms: To prove that they are not contradictory, that is, that a definite number of logical steps based upon them can never lead to contradictory results.

Hilbert’s 2nd problem arose from a principle that had only recently emerged in his thought, namely, that “mathematical existence is nothing other than consistency.”[2]

In the decades that followed his lecture, Hilbert made this 2nd problem more explicit by developing “a formal system of explicit assumptions” (see Axiom and Axiomatic method) upon which he intended to base the methods of mathematical reasoning. He then stipulated that any such system must be shown to have these characteristics:[3][4]

  1. the assumptions should be "independent" of one another (see Independence)
  2. the assumptions should be “consistent” (free of contradictions) (see Consistency)
  3. the assumptions should be “complete” (represents all the truths of mathematics) (see Completeness)
  4. there should be a procedure for deciding whether any statement expressed using the system is true or not) (see Decision problem and Undecidability)

Hilbert's 2nd problem is said by some to have been solved, albeit in a negative sense, by K. Gödel (see Hilbert problems and Gödel incompleteness theorem).

And yet, in his 2000 Distinguished Lecture to the Carnegie Mellon University School of Computer Science, Gregory Chaitin began his remarks as follows:[5]

I’d like to make the outrageous claim, that has a little bit of truth, that actually all of this that’s happening now with the computer taking over the world, the digitalization of our society, of information in human society, you could say in a way is the result of a philosophical question that was raised by David Hilbert at the beginning of the century.

The philosophical question to which Chaitin was referring is the surmise at the heart of Hilbert’s 2nd problem. The title Chaitin gave to his lecture was “A Century of Controversy Over the Foundations of Mathematics.”

The question for us today is this:

How are we to view this century-old-and-more controversy?

“There can be no other way,” we are told, “than from our own position of understanding and sophistication…. [W]e have to try to appreciate the difference between our viewpoint and that of mathematicians centuries ago.”[6] This article attempts to assist our appreciation of that difference.

Non-mathematical issues

As is the case for other, especially older programs and periods of mathematics, the history of Hilbert’s program was complicated by non-mathematical issues.[7] Some authors were slow to publish their results; others published only selectively, leaving some important results to be published by students and successors. The works of still others, though published, were partially or completely ignored.

As a first example, consider the work of Galileo. His concerns about the “paradoxical” property of infinite sets are often mentioned in published discussions of the potentially infinite and the actually infinite. Yet, even today, doubts are expressed about whether or not Galileo had influence either on Cantor, the mathematician whose name is most often and most closely associated with the notion of infinite sets, or on any other mathematician.[8]

Further, consider Gauss’ well-known comment about actual infinities in the work of Cantor and the latter’s response:

Gauss: I protest against the use of infinite magnitude as something completed, which in mathematics is never permissible. Infinity is merely a facon de parler, the real meaning being a limit which certain ratios approach indefinitely near, while others are permitted to increase without restriction.
Cantor: I answered [Gauss] thoroughly, and on this point did not accept the authority of Gauss, which I respect so highly in all other areas ...

There is some doubt that even today, 130 years after these words were written, that we really understand properly the meaning either of Gauss’ comment or of Cantor’s response.[9]

Again, consider the work of Bolzano. His paper “Paradoxes of the Infinite” contains some remarkable results related to the theory of infinite sets:[10]

  • the word “set” appears here for the first time
  • examples of 1-1 correspondences between the elements of an infinite set and the elements of a proper subset

Yet Bolzano himself never published these results. The paper itself was not published until 1851, three years after his death, by one of his students. Further, Cantor appears not to have become aware of Bolzano’s paper until 1882, some years after he began his own work on infinite sets, which was motivated by the Arithmetization of analysis. Nor did Cantor mention Bolzano's paper in his own work until 1883[11]

A related historical anomaly is that while Bolzano both knew of and referred to Galileo’s work on the infinite, Cantor did neither.[12]

As a final example, consider that Frege’s work “seems to have been largely ignored by his contemporaries.”[13][14]

  • Three [of six] reviews of the “revolutionary” Begriffsschrift,” including one by no less than Venn, show that their authors were either uninterested in Frege's innovations or had completely misunderstood them.
  • The Grundlagen only received a single review, and that one was “a devastatingly hostile” one, by Cantor, whose ideas were [ironically] the closest to Frege's.
  • Die Grundgesetze der Arithmetik … except for one review by Peano, was ignored by his contemporaries.

It was not until Russell acknowledged Frege’s work as the trailblazing foundation for the Principia that the greatness of his accomplishment was recognized.[15] Russell himself contrasted the greatness of Frege’s contributions with the limited nature of his influence among his contemporaries as follows:[16]

In spite of the epoch-making nature of [Frege's] discoveries, he remained wholly without recognition until I drew attention to him in 1903.

As a consequence of these and other non-mathematical issues, some mathematical results in the period under examination were achieved multiple times, albeit in slightly different forms or using somewhat different methods, by different authors.

Finally, a note on some quasi-mathematical matters that are purposely not discussed in this article. Without doubt, positions in the philosophy of mathematics known as Logicism, Formalism, and Intuitionism, along with important methodological and epistemological considerations, grew out of the mathematical practice of the late 19th and early 20th centuries.[17] Further, these philosophical positions were of great interest to some mathematicians and certainly influenced the mathematical problems on which they chose to work. Yet a discussion of either the past origins of or the current nature and status of these philosophical positions would not significantly aid our understanding of the mathematics that resulted from the work of those mathematicians.[18]

Much of the existing literature [of the period surrounding the Hilbert Problems address] has been philosophically motivated and preoccupied with the exegesis of individual thinkers, notably Frege and Russell, who are widely (and rightly) viewed as founding giants of analytical philosophy. But the wider mathematical context has in the process often been lost from sight.

Hence, a discussion of these philosophical positions is not included in this article.

Background to Hilbert’s program

By about 1820, mathematicians had developed deductively a large part of analysis using the real numbers and their properties as a starting point.

During the 50 years that followed, in a program that came to be known as the Arithmetization of analysis, Bolzano, Cauchy, Weierstrass, Dedekind, Cantor, and others succeeded in “reducing” analysis to the arithmetic of natural numbers $\mathbb{N}$.

Dedekind himself expressed this as follows:[19]

... every theorem of algebra and higher analysis, no matter how remote, can be expressed as a theorem about natural numbers, -- a declaration I have heard repeatedly from the lips of Dirichlet.

In the final three decades of the 19th century, efforts were underway to axiomatize the whole of mathematics.[20]

It thus became clear that (with the aid of a certain amount of set theoretic and logical apparatus) the entire body of traditional pure mathematics could be constructed rigorously starting from the theory of natural numbers.

These efforts proceeded piecemeal and depended greatly on concurrent developments in logic. The major contributors were these:

  • Cantor and Frege in set theory
  • Dedekind and Peano in arithmetic
  • Hilbert in geometry
  • many others in abstract algebras (groups, rings, and fields)

This article views the 30-year period from 1872 to 1900 as historical background to the Hilbert Problems address. There are other, different and equally interesting views of this same period:

  • as a continuation and, indeed, culmination of the previous half-century (1822-1872) during which “mathematicians restored and surpassed the standards of rigour” that had long been established, but then neglected, the whole 80-year period called “the formalisation of mathematics.”[21]
  • as the first half of the decades-long effort (1872-193X) “from the days of Cantor and Dedekind in the 1870s, through Russell in the 1900s, to the work of Godel in the 1930s” that resulted in the solid establishment of “the modern discipline of foundations.”[22]

However viewed, this 30-year period, from the construction of the real numbers to the Hilbert Problems address, saw “mathematicians of the first rank” engaged with these questions:[23]

  • the character of the infinite
  • the relationship between logic and arithmetic
  • the status of geometry
  • the nature of mathematics itself

Introduction of infinite sets

In mathematics, uses of infinity and the infinite (and great concerns about those uses) are as old as Grecian urns. Greek mathematicians followed Aristotle in dividing such uses into two major types, one called “potential infinity”, the other called “actual infinity.”[24]

With respect to magnitudes:[25]

a potential infinity was something endlessly extendible, and yet forever finite;
an actual infinity was something such as the number of points on a line.

Similarly, with respect to sets:

a potentially infinite set was, for example, a finite collection of numbers that can be enlarged as much as one wished
an actually infinite set was, for example, the complete collection of all such natural numbers

Ancient Greek mathematicians developed rigourous methods for using potential infinities. However, with the apparent exception of Archimedes noted below, they avoided using actual infinities.[26] Important early examples of uses of infinity and the infinite include these:

  • Euclid skirted the notion of the actually infinitely large in proving that the primes are potentially infinite. This is how he stated his theorem:[27]
Prime numbers are more than any assigned magnitude of prime numbers.
  • Archimedes, however, appears to have investigated actually infinite numbers of objects:[28]
... certain objects, infinite in number, are "equal in magnitude" to others [implying] that not all such objects, infinite in number, are so equal. ... [thus] infinitely many objects [of] definite, and different magnitudes … are manipulated in a concrete way, apparently by something rather like a one-one correspondence...

Oresme, an early (12th century) mathematician, examined infinite sets using a method prescient of Cantor’s method of one-to-one correspondence. Oresme demonstrated that two actually infinite sets (the set of odd natural numbers and the set of all natural numbers) could be “different” and “unequal” and yet “equinumerous” with one another. He concluded that notions of equal, greater, and less do not apply to the infinite.[29]

Mathematical induction, as a technique for proving the truth of propositions for an infinite (indefinitely large) number of values, was used for hundreds of years before any rigorous formulation of the method was made[30]

Galileo produced the standard one-to-one correspondence between the positive integers and their squares, reminiscent of Oresme’s work. He termed this a “paradox” that results “unavoidably” from the property of infinite sets and concluded, alike with Oresme, that infinite sets are incomparable.[31]

... the totality of all numbers is infinite, and that the number of squares is infinite.; neither is the number of squares less than the totality of all numbers, nor the latter greater than the former; and, finally, the attributes "equal", "greater", and "less" are not applicable to the infinite, but only to finite quantities.

As recently as 1831, Gauss himself argued against the actually infinite:[32]

I protest against the use of infinite magnitude as something completed, which in mathematics is never permissible. Infinity is merely a facon de parler, the real meaning being a limit which certain ratios approach indefinitely near, while others are permitted to increase without restriction.

For the most part, however, mathematicians of the 19th and 20th centuries developed and readily took up methods for using actual infinities that were as rigorous as those the Greeks developed for potential infinities.[33] Certainly Bolzano had no concerns about the “paradoxical” property of infinite sets. Indeed, his theories of mathematical infinity anticipated Cantor's theory of infinite sets. His contribution to the understanding of the nature of the infinite was threefold:[34]

1. he defined the idea of a set
I call a set a collection where the order of its parts is irrelevant and where nothing essential is changed if only the order is changed.
2. he argued that the infinite set does exist
if the integers are a set, then arbitrarily large subsets of integers are subsets of the set of integers, which must itself be actually infinite
3. he gave examples to show that, unlike for finite sets, the elements of an infinite set could be put in 1-1 correspondence with elements of one of its proper subsets.

The actual infinite is said to have entered algebra in the 1850s in Dedekind’s work with quotient constructions for modular arithmetic:[35]

[T]he whole system of infinitely many functions of a variable congruent to each other modulo p behaves here like a single concrete number in number theory.… The system of infinitely many incongruent classes—infinitely many, since the degree may grow indefinitely—corresponds to the series of whole numbers in number theory.

The five-year period 1868–1872 has been called "the birth of set-theoretic mathematics." A salient milestone was 1871, when Dedekind introduced “an essentially set-theoretic viewpoint … using set operations and … structure-preserving mappings … and terminology that Cantor was later (1880) to use in his own work.[36]

By 1872, procedures involving infinite sets were employed in constructions of irrational real numbers developed during the Arithmetization of analysis by Weierstrass, Dedekind, and Cantor. “Thus analysis [had been reduced] not simply to the theory of natural numbers, but to the theory of natural numbers together with the theory of infinite sets.”[37]

The constructions of Cantor and Dedekind especially relied implicitly on set theory and, further, “involve the assumption of a Power Set principle.”[38]

The realization that (apparently) all the material needed for analysis could be constructed out of the natural numbers using set-theoretic means led to these new questions:[39]

  • What further could be said about set-theoretic procedures and assumptions of logic, both of which underlay these accounts of the real numbers?
  • Do we have to take the natural numbers themselves as simply given, or can anything further be said about those numbers, perhaps by reducing them to something even more fundamental?

In the 1870s, however, the notions of set and class themselves appeared straightforward. Their highly problematic aspects did not become apparent until the various paradoxes of set theory and the theory of transfinite sets.[40]

Early development of mathematical logic

The history of logic has been described, “with some slight degree of oversimplification,” as having three stages: (1) Greek logic, (2) Scholastic logic, and (3) mathematical logic.[41] From ancient times through the first half of the 19th century, the state of logic was as follows:[42][43]

  • logic was understood to be “the laws of thought”
  • the Aristotelian syllogism was the ultimate form of all reasoning
  • the logic that a mathematician used did not affect the mathematics that she did

During the second half of the 19th century, the development of mathematical logic began with these two steps:

  1. the algebraization of syllogistic logic
  2. the development of the predicate calculus

The algebra of logic

The beginning of mathematical logic has been dated from the years in which Boole and De Morgan published their works on the algebraization of Aristotelian logic.[44]

Whereas in [Greek and Scholastic logic] theorems were derived from ordinary language, [mathematical logic] proceeds in a contrary manner—it first constructs a purely formal system, and only later does it look for an interpretation in everyday speech.

Thus, with the advent of mathematical logic, the logic of the syllogism came to be treated as one interpretation of a calculus of logic.

Even before Boole’s and De Morgan's work, important steps were taken towards the development of a calculus of logic. As early as 1830, Peacock suggested that the symbols for algebraic objects need not be understood only as numbers.[45][46]

'Algebra' … has been termed Universal Arithmetic: but this definition is defective, in as much as it assigns for the general object of the science, what can only be considered as one of its applications.

In his treatise, Peacock distinguished between arithmetical algebra, with laws derived from operations on numbers, and symbolic algebra, which he describes as follows:[47]

the science which treats the combinations of arbitrary signs and symbols by means defined through arbitrary laws…. We may assume any laws for the combination and incorporation of such symbols, so long as our assumptions are independent, and therefore not inconsistent with each other.

In 1847, De Morgan extended Peacock’s vision for a symbolic algebra with the notion that the interpretations not only of symbols for algebraic objects, but also of symbols for algebraic operations were arbitrary.[48]

De Morgan’s contribution to logic was twofold. First, he insisted on the purely formal or, as he put it, “symbolic” nature of algebra, the study of which has as it object “symbols and their laws of combination, giving a symbolic algebra which may hereafter become the grammar of a hundred distinct significant algebras.”[49][50] Consider his example of a commutative algebra to which he provided five interpretations, among which are the three listed:[51]

Given symbols M, N, +, and one sole relation of combination, namely that M + N is the same as N + M:
  1. M and N may be magnitudes, and + the sign of addition of the second to the first
  2. M and N may be numbers, and + the sign of multiplying the first to the second
  3. M and N may be nations, and + the sign of the consequent having fought a battle with the antecedent

Second, De Morgan clarified the nature of logical validity as “that part of reasoning which depends upon the manner in which inferences are formed…. Whether the premises be true or false, is not a question of logic…. the question of logic is, does the conclusion certainly follow if the premises be true?”[52]

Both Boole and De Morgan were aware of the limitations of syllogistic logic, in particular, that there were inferences known to be valid, but whose validity could not be demonstrated by syllogistic logic. Their intent was to develop “a general method for representing and manipulating all logically valid inferences.”[53] The significant difference in Boole’s approach from De Morgan's was the algebraic methods that Boole adopted.

In 1847, in “a little book that De Morgan himself recognized as epoch-making,” Boole undertook the following:[54][55]

  • the goal: “to express traditional logic more perspicuously using the techniques of algebra” such that deduction becomes calculation
  • the program: to develop an algebraic calculus and show that the doctrines of traditional logic can be expressed using this calculus.

In this early work, Boole extended De Morgan’s view about the formal nature of algebra by presenting the view that the essential character of the whole of mathematics is formal, somewhat as follows:[56]

If any topic is presented in such a way that it consists of symbols and precise rules of operation upon these symbols, subject only to the requirement of inner consistency, this topic is part of mathematics.

In 1854, Boole published the completion of his efforts “to incorporate logic into mathematics by reducing it to a simple algebra, pointing out the analogy between algebraic symbols and those that represent logical forms, and beginning the algebra of logic that came to be called Boolean algebra.”[57]

Boole eventually gave his uninterpreted calculus three interpretations, in terms of classes, of probabilities, and also of propositions. These various interpretations were possible because of analogies among the concepts of a class, an event, and a statement. As a consequence, the "order" relation in a Boolean algebra can be interpreted variously as set-theoretical inclusion, as causal follow-up of events, as logical follow-up of statements.[58] A modified version of the third interpretation of his calculus became modern propositional logic. This latter is today the lowest level of modern logic, but at the time and in effect, it was all of logic, because it was able to be used for Aristotelian syllogistic logic:[59]

  • it used symbols for statements rather than numbers
  • it defined operations on statements rather than on numbers
  • it defined deductions as equations and as the transformation of equations

Boole showed, with somewhat mixed results, that his algebra provided “an easy algorithm for syllogistic reasoning,” an elementary example of which is as follows:[60][61]

Aristotelian syllogism of the AAA form:
All Sapiens are Animals
All Animals are Mortal
All Sapiens are Mortal
Presentation of the syllogism in Boole's algebra:
(1) All S's are A’s .... SA = S
(2) All A’s are M’s .... AM = A
(3) ..................... .... S(AM) = S .... substituting in (1) the value of A given by (2)
(4) ..................... .... (SA)M = S .... applying associative law for multiplication
(5) All S’s are M’s .... SM = S ........ substituting in (4) the value of SA from (1)

No less than De Morgan himself praised Boole’s work as a remarkable proof that “the symbolic processes of algebra, invented as tools of numerical calculation, [are] competent to express every act of thought, and to furnish the grammar and dictionary of an all-containing system of logic.”[62]

Taken at face value, De Morgan’s praise overstated the adequacy of Boole’s logic of propositions without quantification, in two ways:

  1. it was inadequate to express some important statements of mathematics such as the law of mathematical induction, on which De Morgan himself had worked;
  2. it was also inadequate to express some statements of ordinary language with a form such as, “If all horses are animals, then all heads of horses are heads of animals.”

In fact, this example was De Morgan’s own, intended “to show the inadequacy of traditional logic” and that, for a logic adequate to express this example, “binary relations are essential.”[63] If, however, we take De Morgan’s comment to be about some yet-to-be-developed logic with quantification, then we can accept that his optimism about Boole's calculus was not misplaced.

For three decades after Boole introduced his calculus in 1847, “most researchers interested in formal logic worked on extending and improving [his] system.”[64]

In 1864, Jevons published an alternative system of algebraic logic, retaining Boole’s use of algebraic equations as the basic form of logical statements, but rejecting Boole’s desire to retain “dependence on” the ordinary algebra of numbers. More generally, Jevons replaced the use of classes (associated with quantity) with predicates (associated with quality).[65]

Both Boole and Jevons understood logic to be an expression of “the laws of thought.” Yet Boole had more of an algebraic concept of logic and saw deduction as calculation, while Jevons argued that mathematics proceeds from logic, seeing calculation as deduction.[66].

De Morgan himself extended Boole’s calculus with a law of duality that asserts for every theorem involving addition and multiplication, there is a corresponding theorem in which the words addition and multiplication are interchanged.[67]

Interpreted as a logic of classes, we have this:

If x and y are subsets of a set S, then
  • the complement of the union of x and y is the intersection of the complements of x and y
  • the complement of the intersection of x and y is the union of the complements of x and y

Interpreted as a logic of propositions, we have this:

If p and q are propositions, then
  • not (p or q) equals not p and not q
  • not (p and q) equals not p or not q

Though De Morgan had clearly located the inadequacy of syllogistic logic in its inability to express binary relations, he himself lacked “an adequate apparatus for treating the subject.” The title “creator of the theory of relations” has been awarded to C. S. Peirce.[68]

In several papers published between 1870 and 1882, [Peirce] introduced and made precise all the fundamental concepts of the theory of relations and formulated and established its fundamental laws … in a form “much like the calculus of classes developed by G. Boole and W. S. Jevons, but which greatly exceeds it in richness of expression.”

Peirce's work on (binary) relations was continued and extended in a very thorough and systematic way by Schroeder, whose published work of 1895 “is so far the only exhaustive account of the calculus of relations.”[69]

Cantor’s early theory of sets

Set theory is the study sets, their properties, and the operations tha can be performed on them. It has been especially concerned with sets that have infinitly many elements.[70]

Broadly defined, the term naive set theory connotes an informal set theory developed in a natural language in which such words as and, or, if ... then, not, for some, and for every are not rigorously defined. The term includes these various versions of set theory:[71][72]

  1. Cantor’s early (pre-1883 Grundlagen) theory of sets
  2. Cantor’s later general theory of sets, the basis of the theory of transfinite numbers
  3. informally developed set theories (axiomatic or otherwise) developed by Dedekind, Peano, and Frege
  4. modern, informally developed versions of an axiomatic set theory, as in Naive Set Theory by Paul Halmos.

This section examines the first of these, namely, Cantor’s early theory of sets.

Bolzano’s contribution

In spite of Cantor’s pre-eminence in the area of set theory, the first to work with sets was Bolzano, as was noted above in #Introduction of infinite sets. It is from him that we have the following early definitions:

... an embodiment of the idea or concept which we conceive when we regard the arrangement of its parts as a matter of indifference (1847)[73]
... an aggregate so conceived that it is indifferent to the arrangement of its parts (1851)[74]

It was also Bolzano who first used the German word Menge for set, a usage that Cantor himself continued in his theory.[75]

Despite this, Bolzano’s understanding of the notion of set was incomplete, especially with respect to the important distinction between the element/set relation and the part/whole relation. Consider, as evidence, his use of the word “parts” (Teile) to refer to the elements of a set in his description given above.”[76]

Further, Bolzano thought absurd consideration of a set with only one element, while he failed entirely to consider the null set.[77] Nevertheless, it was Bolzano who identified sets as “the carriers of the property finite or infinite in mathematics.”[78]

Cantor’s discoveries

Traditional views give to Cantor (not entirely undeservedly) all or most of the credit for having developed set theory:

naive set theory is primarily due to Cantor[79]
the first development of set theory was a naive set theory … created at the end of the 19th century by Georg Cantor.[80]
“For most areas [of mathematics] a long process can usually be traced in which ideas evolve until an ultimate flash of inspiration, often by a number of mathematicians almost simultaneously, produces a discovery of major importance. Set theory however is rather different. It is the creation of one person, Georg Cantor.”[81]
Set theory, as a separate mathematical discipline, was born in late 1873 in the work of Georg Cantor.[82]

To this needs to be added a nuanced caveat, such as these:

Cantor’s work should be considered as a completion of a long historical process[83]
The concept of set is no Athena: school children understand it now; but its development was long drawn out, beginning with the earliest counting and reckoning and extending into the late nineteenth century.[84]

Even today, it is known that early study of naive set theory and early work with naive sets are useful in mathematics education:[85]

  • they aid in developing a facility for working more formally with sets
  • they aid in understanding the motivation for axiomatic set theory

Cantor’s first ideas on set theory were contaied in papers on trigonometric series, but for the most part he developed the set concept and its theory as a consistent basis for his work with infinite sets.[86][87]

In 1873, he discovered that the linear continuum is not countable, which he treated as an invitation to investigate the “different sizes of infinity” and the domain of the transfinite.[88][89] The following is a brief account of how his discovery came about:[90]

  • Cantor, in correspondence with Dedekind, asked the question whether the infinite sets N of the natural numbers and R of real numbers can be placed in one-to-one correspondence.
  • Dedekind, in reply, offered a proof of the following:
the set A of all algebraic numbers, the set of all real roots of equations of the form an xn + an-1 xn-1 + an-2 xn-2 + . . . + a1 x + a0 = 0, where ai is an integer, is denumerable (i.e., there is a one-to-one correspondence with $\mathbb{N}$).
  • Cantor, a few days later, proved that the assumption that $\mathbb{R}$ is denumerable leads to a contradiction, using the Bolzano-Weierstrass principle of completeness.

Thus, Cantor showed that “there are more elements in $\mathbb{R}$ than in $\mathbb{N}$ or $\mathbb{Q}$ or $\mathbb{A}$,” in this precise sense:

the cardinality of $\mathbb{R}$ is strictly greater than that of $\mathbb{N}$.

A consequence of all this, Cantor noted, was proving anew an old (1844) result of Liouville's, namely, the existence (in every interval) of (uncountably many) transcendental numbers. In effect, there are in any real interval, more transcendental numbers than algebraic numbers.[91][92]

In 1874, Crelle’s Journal published Cantor’s paper reporting this remarkable result and, in doing so, marked the birth of set theory. Previously, all infinite collections were assumed to be of "the same size." Cantor invoked the concept of a 1-to-1 correspondence to show that “there was more than one kind of infinity.”[93][94][95]

Here is a summary of Cantor’s published results involving the early version of his naive set theory:[96][97]

  1. in 1874, a proof that the set of real numbers is not denumerable, i.e. is not in one-to-one correspondence with (is not equipollent to) the set of natural numbers.
  2. in 1878, a definition of what it means for two sets M and N to have the same power or cardinal number; namely that they be equipollent.
  3. also in 1878, a proof that the set of real numbers and the set of points in n-dimensional Euclidean space have the same power, using a precisely developed notion of a one-to-one correspondence.

Cantor actually achieved this last result -- at the time quite paradoxical -- in 1877, after which he wrote to Dedekind to report it, saying “I see it, but I don't believe it!”[98] There were others who really didn’t believe it! Cantor submitted a paper reporting the result to Crelle's Journal. Kronecker, who had significant influence over what was published in the journal, disliked much of Cantor's set theory and fundamentally disagreed with Cantor's work with infinite sets. The paper was published only after Dedekind intervened on Cantor's behalf.[99]

In 1878, Cantor stated his Continuum Hypothesis, asserting that every infinite set of real numbers is either countable, i.e., it has the same cardinality as $\mathbb{N}$, or has the same cardinality as $\mathbb{R}$. From that point until 1883, these were the only two infinite powers or cardinal numbers.[100]

In all of these early papers, up to his development of the theory of transfinite numbers in 1883, Cantor’s notion of a set was essentially as follows:[101]

a set is a collection of elements that constitute the extension of a (mathematical) concept

with the further important understanding that

the concept involved is defined only for objects of some given (mathematical) domain.

With the proviso noted, we can make these further points about this:[102]

  • Cantor’s early notion is the notion of set as it is most often applied in mathematics
  • the proviso noted ensures that the paradoxes of set theory simply do not arise

Finally, in an 1882 paper, Cantor made the following point with respect to what were termed “undecidable” concepts:[103]

an algorithm for deciding whether or not the concept determining a set applies to any particular object in the given domain is not needed for the concept to be the basis of a well-defined set.

He gives, as an example, the set of algebraic numbers, which (as mentioned above) he himself had determined was countable. This set, Cantor insisted, is well-defined, even though determining whether or not a particular real number is algebraic “may or may not be possible at a given time with the available techiniques.”

A presentation of naive set theory

Set theory begins with two fundamental notions, objects and sets of those objects.

Membership is a fundamental binary relation between an objects o and sets A. If o is a member (or element) of A, write o ∈ A.

Set inclusion is a derived binary relation between two sets. If all the members of set A are also members of set B, then A is a subset of B, denoted A ⊆ B. A is called a proper subset of B if and only if A is a subset of B, but B is not a subset of A.

Set theory features binary operations on sets, such as these:

  • Union of the sets A and B, denoted A ∪ B, is the set of all objects that are a member of A, or B, or both.
  • Intersection of the sets A and B, denoted A ∩ B, is the set of all objects that are members of both A and B.
  • Set difference of U and A, denoted U \ A, is the set of all members of U that are not members of A. The set difference {1,2,3} \ {2,3,4} is {1} , while, conversely, the set difference {2,3,4} \ {1,2,3} is {4} . When A is a subset of U, the set difference U \ A is also called the complement of A in U. In this case, if the choice of U is clear from the context, the notation Ac is sometimes used instead of U \ A.
  • Symmetric difference of sets A and B, denoted A △ B or A ⊖ B, is the set of all objects that are a member of exactly one of A and B (elements which are in one of the sets, but not in both). It is the set difference of the union and the intersection,(A ∪ B) \ (A ∩ B) or (A \ B) ∪ (B \ A).
  • Cartesian product of A and B, denoted A × B, is the set whose members are all possible ordered pairs (a,b) where a is a member of A and b is a member of B.
  • Power set of a set A is the set whose members are all possible subsets of A.

Beginning with the fundamental notions of set and belongs to or is a member of and assuming that sets have certain (obvious) properties usually asssociated with collections of objects, it is possible to develop the binary relation of set inclusion and the binary operations notes above in an informally developed axiomatic set theory, as follows:[104]

  1. Axiom of Extension: Two sets are equal if and only if they have the same elements.
  2. Axiom of Specification: For every set S and every proposition P, there is a set which contains those elements of S which satisfy P and nothing else.
  3. Axiom of Pairs: For any two sets there is a set which contain both of them and nothing else.
  4. Axiom of Union: For every collection of sets, there is a set that contains all the elements and only those that belong to at least one set in the collection.
  5. Axiom of Powers: For each set A there is a collection of sets that contains all the subsets of the set A and nothing else.
  6. Axiom of Infinity: There is a set containing 0 and the successor of each of its elements.
  7. Axiom of Choice: The Cartesian product of a non-empty indexed collection of non-empty sets is non-empty.

An informally developed naive set theory with these axioms is equipped to do the following:[105]

  • develop concepts of ordered pair, relation, & function, and to discusses their properties
  • discuss numbers, cardinals, ordinals, and their arithmetics,
  • discuss different kinds of infinity, in particular, the uncountability of the set of real numbers
Paradoxes and Cantor’s early set theory

A discussion of paradoxes is relevant in two ways to the theory of sets:

  • the “paradoxes of the infinite” that had to be overcome before set theory could be developed
  • the paradoxes that later arose out of the development of set theory itself

It is interesting to consider that Cantor succeeded in resolving the “paradoxes of the infinite” and providing a coherent account of cardinal number for infinite multiplicities, while Bolzano, though he made great progress with the use and understanding of sets, failed to do so. Two points have been made to account for this.

First, there were notions about which, when applied to infinite sets, Bolzano was confused:[106]

  • the cardinal number of the set of points in an interval
  • the magnitude of the line interval as a geometric object

Cantor accepted for infinite sets what had long been accepted for finite sets, namely, that “the relation of having the same cardinal number is defined in terms of equipollence.” Thus, since “the interval (0, 1) of real numbers is equipollent to the ‘larger’ interval (0, 2),” then these two sets of points, though different in magnitude, nevertheless have the same cardinal number. Bolzano, along many, rejected this.[107]

Second, Euclid’s Common Notion 5 that the whole is greater than the part was a barrier to working with infinite sets. Euclid’s principle does indeed apply to geometric magnitude. It may be that Cantor’s clear understanding of the first point above allowed him to see that in the domain of sets, infinite sets are simply a counterexample to Euclid’s principle. Whatever the reason, Bolzano did not see this.[108]

As a final issue, it is worth commenting on the oft-repeated claim that working with naive set theory inexorably leads one to paradoxes. One such claim is the following:[109]

Naïve set theory is intuitive and simple, but unfortunately leads very soon to controversial statements [, because] it relies on an informal understanding of sets as collections of objects, called the elements or members of the set, that is [, it relies] on a predicate indicating that a collection is a set and a relation type symbol to represent set membership.

This claim is an exaggeration: it does not apply to Cantor’s early theory of sets, which is the naive set theory that we have been examining.

Certainly an aspect of set theory (naive or otherwise) that can lead to controversy and paradoxes is the use of unrestricted predicates (properties/concepts) to determine sets. Cantor’s early theory of sets, however, determines sets using restricted concepts. It is worth repeating here Cantor’s early notion of set:

a set is a collection of elements that constitute the extension of a (mathematical) concept that is defined only for objects of some given (mathematical) domain.

Sets determined in accordance with such a notion do not give rise to paradoxes.

The predicate calculus

Axiomatic development of arithmetic

Cantor's general theory of sets

Axiomatic development of geometry

Hilbert’s program

Variants and reinterpretations of Hilbert’s program

Notes

  1. Hilbert (1902)
  2. Ferreirós (1996) p. 2 Ferreirós notes: “the first published formulation of the idea that mathematical existence can be derived from consistency” appeared in Hilbert’s 1900 paper “Über den Zahlbegriff.” This paper appeared immediately prior to the published version of his Problems Address.
  3. Calude and Chaitin
  4. Pon
  5. Chaitin (2000), p. 12.
  6. O’Connor and Robertson (1997)
  7. Compare this section with a related discussion of non-mathematical issues in the Arithmetization of analysis program.
  8. Renfro
  9. Waterhouse p. 435 cited in Renfro
  10. O’Connor and Robertson (2005)
  11. Grattan-Guinness p. 125 footnote cited in Renfro
  12. Boyer pp. 270-271 cited in Renfro
  13. O’Connor and Robertson (2002) “Frege”
  14. Gillies p. 78
  15. Reck (2013)
  16. Russell cited in O’Connor and Robertson (2002) “Frege”
  17. Reck (2013) Abstract
  18. Ewald (2002)
  19. Dedekind (1888) cited in Gillies p. 8
  20. Dasgupta p. 29
  21. Jones (1996)
  22. Ewald (2002) p. 2
  23. Ewald (2002) p. 2
  24. For related modern mathematical notions, see Abstraction, mathematical, Abstraction of actual infinity, Abstraction of potential realizability, and Infinity
  25. Netz
  26. Netz
  27. Spalt cited in O'Connor and Robertson (2002)
  28. Netz, Saito, and Tchernetska cited in O'Connor and Robertson (2002)
  29. Kirschner 2.6 Mathematics
  30. O'Connor and Robertson, (2002)
  31. O'Connor and Robertson, (2002). The property that an infinite set can be put into one-to-one correspondence with a proper subset of itself is today known as the Hilbert infinite hotel property.
  32. Waterhouse cited in O’Connor and Robertson (2002)
  33. Netz
  34. Bolzano cited in O’Connor and Robertson (1996) (2002) (2005)
  35. Dedekind (1930/32) Vol. 1, pp. 46-47, quoted in Kanamori (2012) p. 49, cited in Reck (2013) slide 5
  36. Ferreirós (2011) §1
  37. Gillies p. 8 emphasis added
  38. Ferreirós (2011) §1
  39. Reck (2011) §2.2
  40. Gillies p. 8
  41. Bochenski cited in Boyer p. 633
  42. See the Historical sketch in Mathematical logic
  43. Moore p. 96
  44. Boyer p. 633
  45. Boyer pp. 633-634 emphasis added
  46. Peacock cited in O’Connor and Robertson (2015)
  47. Peacock cited in O’Connor and Robertson (2015) emphasis added
  48. Boyer pp. 633-634 emphasis added
  49. O’Connor and Robertson “Augustus De Morgan”
  50. Boyer p. 623
  51. De Morgan (1849) cited in Barnett p. 3
  52. De Morgan (1847) cited in Barnett p. 1
  53. Barnett p. 1
  54. Boyer p. 633
  55. Gillies pp. 74-75
  56. Boyer pp. 633-634
  57. O’Connor and Robertson (2004)
  58. See Boolean algebra.
  59. Moore p. 96
  60. Boyer p.635
  61. Burris (2014) provides a selection of examples illustrating the workings of his methods, including “a substantial example” of the workings of Boole’s General Method found in his 1854 work.
  62. O’Connor and Robertson (2004) emphasis added
  63. van Benthem 2. The shift from classical to modern logic
  64. Gillies p. 73
  65. Burris (2015) 4. Jevons...
  66. Grattan-Guinness (1991) cited in O’Connor and Robertson (2000)
  67. Boyer p. 636. See De Morgan laws for a modern formal statement of these laws. See Duality principle for a general discussion of mutual substitution of logical operations in the formulas of formal logical and logical-objective languages.
  68. Tarski p. 73
  69. Tarski pp. 73-74
  70. Set theory
  71. Wikipedia “Naive set theory”
  72. Porubsky notes that the term naive set theory came into broad use in the 1960s following its use as the title of Halmos’ text.
  73. Bolzano cited in Porubsky
  74. Bolzano §4 cited in Tait p. 2
  75. Porubsky
  76. Tait p. 2
  77. Bolzano §3 cited in Tait p. 3. Tait tempers this criticism of Bolzano’s understanding, noting that both Cantor and Dedekind also avoided the null set -- “no whole has zero parts” -- and that “as late as 1930, Zermelo chose in his important paper [1930] on the foundations of set theory to axiomatize set theory without the null set.”
  78. Bolzano §11 cited in Tait p. 3
  79. Brown (2007)
  80. Wikipedia “Naive set theory”
  81. O’Connor and Robertson “A history of set theory”
  82. Bagaria §1
  83. Ebbinghaus p. 298 cited in Porubsky
  84. Tait p. 3
  85. Wikipedia “Naive set theory”
  86. O’Connor and Robertson “A history of set theory”
  87. Ebbinghaus p. 298 cited in Porubsky
  88. Bagaria (2014) §1
  89. Ferreirós (2011) §1
  90. Ferreirós (2011) §1 citing Ewald (1996) Vol. 2
  91. Burris (1997)
  92. O’Connor and Robertson “A history of set theory”
  93. El Naschie (2015)
  94. O’Connor and Robertson “A history of set theory”
  95. Burris (1997)
  96. Tait p. 2
  97. El Naschie, M S. (2015)
  98. Burris (1997)
  99. El Naschie, M S. (2015)
  100. Bagaria (2014)
  101. Tait p. 5-6
  102. Tait pp. 5-6
  103. Tait p. 4
  104. Halmos cited in “Naive Set Theory vs. Axiomatic Set Theory”
  105. “Naive Set Theory vs. Axiomatic Set Theory”
  106. Tait p. 2
  107. Tait p. 3
  108. Tait p. 2
  109. Porubsky

Primary sources

  • Bolzano, B. (1851). Paradoxien des Unendlichen (ed. by F. Pryhonsky), Reclam'; [English translation by D. A. Steele, ‘’Paradoxes of the Infinite’’, London: Routledge & Kegan Paul, 1950].
  • Boole, G. (1847, [1951]). The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning, Macmillan, Barclay, & Macmillan, [Reprinted Basil Blackwell].
  • Boole, G. (1854, [19158]). An Investigation of The Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Macmillan, [Reprinte Dover].
  • Dedekind, R. (1930-32). Gesammelte Mathematische Werke, Vols. 1-3, R. Fricke et al., eds., Vieweg.
  • De Morgan, A. (1847). Formal Logic: or, The Calculus of Inference, Necessary and Probable, Taylor and Walton.
  • De Morgan, A. (1849). Trigonometry and Double Algebra, Taylor, Walton & Maberly.
  • Hilbert, D. (1900). “Über den Zahlbegriff,” Jahresbericht der Deutschen, Mathematiker-Vereinigung 8, 180–184. (English translation in Ewald, W. (1996). From Kant to Hilbert: A source book in the foundations of mathematics, vol. 2, Oxford University Press.
  • Hilbert, D.(1900). "Mathematische Probleme," Nachr. K. Ges. Wiss. Göttingen, Math.-Phys. Klasse (Göttinger Nachrichten) , 3 pp. 253–297 (Reprint: Archiv Math. Physik 3:1 (1901), 44-63; 213-237; also: Gesammelte Abh., dritter Band, Chelsea, 1965, pp. 290-329) Zbl 31.0068.03, URL: https://www.math.uni-bielefeld.de/~kersten/hilbert/rede.html, Accessed: 2015/06/03.
  • Hilbert, D. (1902). "Mathematical problems," Bull. Amer. Math. Soc. , 8 pp. 437–479, MR1557926 Zbl 33.0976.07, (Reprint: ‘’Mathematical Developments Arising from Hilbert Problems’’, edited by Felix Brouder, American Mathematical Society, 1976), URL: http://aleph0.clarku.edu/~djoyce/hilbert/problems.html, Accessed: 2015/06/03.
  • Jevons, W S. (1890). Pure Logic and Other Minor Works, Robert Adamson and Harriet A. Jevons (eds), Lennox Hill Pub. & Dist. Co. [Reprinted 1971].
  • Peacock, G. (1830). Treatise on Algebra.
  • Schroeder, E. (1895). Algebra und Logik der Relativ.

References

  • Bochenski, I M. (1956,[1961]) Formale Logik, North Holland, [English translation A History of Formal Logic, trans by Ivo Thomas, University of Notre Dame Press].
  • Boyer, C.B. (1939). The Concepts of the Calculus. A Critical and Historical Discussion of the Derivative and the Integral, Columbia University Press, vii + 346 pages, URL: http://catalog.hathitrust.org/Record/000165835 Accessed: 2015/06/29.
  • Brown, R G. (2007). “Naive Set versus Axiomatic Set Theories,” URL: __________, Accessed: 2015/07/16.
  • Burris, S. (1997). “Set theory: Cantor,” Supplementary Text Topics, URL: __________, Accessed: 2015/07/16.
  • Chaitin, G. (2000). “A Century of Controversy Over the Foundations of Mathematics,“ Journal Complexity -- Special Issue: Limits in mathematics and physics, Vol. 5, No. 5, May-June 2000, pp. 12-21, (Originally published in Finite Versus Infinite: Contributions to an Eternal Dilemma, Calude, C. S.; Paun, G. (eds.); Springer-Verlag, London, 2000, pp. 75–100), URL: http://www-personal.umich.edu/~twod/sof/assignments/chaitin.pdf Accessed 2015/05/30.
  • Dasgupta, A. (2014). Set Theory: With an Introduction to Real Point Sets, DOI 10.1007/978-1-4614-8854-5__2, © Springer Science+Business Media New York 2014, URL: http://www.springer.com/us/book/9781461488538, Accessed: 2015/06/19.
  • Ebbinghaus, H., et al. (1992: 3rd improved printing). Zahlen. Springer-Verlag.
  • El Naschie, M. (2015). “George Cantor: The Father of Set Theory,” URL: __________, Accessed: 2015/07/16.
  • Ewald, W B. (1996). From Kant to Hilbert: A source book in the foundations of mathematics, 2 vols., Oxford University Press.
  • Ewald, W B. (2002) Review of Grattan-Guinness, I. (2000) The Search for Mathematical Roots, 1870-1940, Princeton University Press. Bull. (New Series) Amer. Math. Soc., Vol. 40, No. 1, pp. 125–129.
  • Grattan-Guinness, I. (1974). The rediscovery of the Cantor-Dedekind correspondence, Jahresbericht der Deutschen Mathematiker-Vereinigung 76 #2-3 (30 December 1974), 104-139, URL: http://catalog.hathitrust.org/Record/000165835 Accessed: 2015/06/30.
  • Grattan-Guinness, I. (1991). "Boole y su semi-seguidor jevons," ["Boole and his semi-follower Jevons"], in 2nd International Colloquium on Philosophy and History of Mathematics, Mexico City, Mathesis Mexico, Vol. 7. No. 3, (1991), pp. 351-362.
  • Halmos, P. Naive Set Theory.
  • Kanamori, A. (2012). “In Praise of Replacement” BSL.
  • Netz, R, Saito, K, and Tchernetska, N. (2001). “A new reading of Method Proposition 14 : preliminary evidence from the Archimedes palimpsest. I, SCIAMVS 2 (2001), 9-29.
  • Russell, B. (1945, [1972]) A History of Western Philosophy, Simon & Schuster, Inc.
  • Spalt, D.D. (1990). "Die Unendlichkeiten bei Bernard Bolzano," Konzepte des mathematisch Unendlichen im 19. Jahrhundert, Göttingen, 189-218.
  • Tait, W W. "Cantor’s Grundlagen and the Paradoxes of Set Theory,” URL: __________, Accessed: 2015/07/16.
  • Tarski, Alfred. (1941). “On the Calculus of Relations,” The Journal of Symbolic Logic, Vol. 6, No. 3 (Sep., 1941), pp. 73-89, Association for Symbolic Logic, URL: http://www.jstor.org/stable/2268577, Accessed: 2015/07/09.
  • Waterhouse, W.C. (1979). “Gauss on infinity,” Historia Math. Vol. 6, Issue 4, November 1979, pp. 430-436.
  • Wikipedia “Naive set theory,” URL: __________, Accesses: 2015/07/16.
How to Cite This Entry:
Hilbert 2nd problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hilbert_2nd_problem&oldid=36555