"[...] from that circumstance alone we are not allowed to conclude that both sets, if they are infinite, are equal to each other with respect to the multiplicity of their parts (that is, if we abstract from all differences between them); [...] Equality of those multiplicities can only be inferred when some other reason is added, for instance that both sets have absolutely equal grounds of determination, i.e., that their mode of formation is absolutely equal." (Bernard Bolzano, "Paradoxien des Unedlichen", 1851)
"If two well-defined manifolds M and N can be coordinated with each other univocally and completely, element by element (which, if possible in one way, can always happen in many others), we shall employ in the sequel the expression, that those manifolds have the same power or, also, that they are equivalent." (Georg Cantor, "Ein Beitrag zur Mannigfaltigkeitslehre", 1878)
"I say that a manifold (a collection, a set) of elements that belong to any conceptual sphere is well-defined, when on the basis of its definition and as a consequence of the logical principle of excluded middle it must be regarded as internally determined, both whether an object pertaining to the same conceptual sphere belongs or not as an element to the manifold, and whether two objects belonging to the set are equal to each other or not, despite formal differences in the ways of determination." (Georg Cantor, "Ober unendliche, lineare Punktmannichfaltigkeiten", 1879)
"By a manifold or a set I understand in general every Many that can be thought of as One, i.e., every collection of determinate elements which can be bound up into a whole through a law, and with this I believe to define something that is akin to the Platonic εἷδος [form] or ἷδεα [idea]." (Georg Cantor, "Grundlagen einer allgemeinen Mannigfaltigkeitslehre", 1883)
"If we now notice that all of the numbers previously obtained and their next successors fulfill a certain condition, [that the set of their predecessors is denumerable,] then this condition offers itself, if it is imposed as a requirement on all numbers to be formed next, as a new third principle [...] which I shall call principle of restriction or limitation and which, as I shall show, yields the result that the second number-class (II) defined with its assistance not only has a higher power than [the first number-class] (I), but precisely the next higher, that is, the second power." (Georg Cantor, "Grundlagen einer allgemeinen Mannigfaltigkeitslehre", 1883)
"In calling arithmetic (algebra, analysis) just a part of logic, I declare already that I take the number-concept to be completely independent of the ideas or intuitions of space and time, that I see it as an immediate product of the pure laws of thought." (Richard Dedekind, "Was sind und was sollen die Zahlen?", 1888)
"A set is formed by the grouping together of single objects into a whole. A set is a plurality thought of as a unit. If these or similar statements were set down as definitions, then it could be objected with good reason that they define idem per idemi or even obscurum per obscurius. However, we can consider them as expository, as references to a primitive concept, familiar to us all, whose resolution into more fundamental concepts would perhaps be neither competent nor necessary." (Felix Hausdorff, "Set Theory", 1962)
"The axiom of choice has many important consequences in set theory. It is used in the proof that every infinite set has a denumerable subset, and in the proof that every set has at least one well-ordering. From the latter, it follows that the power of every set is an aleph. Since any two alephs are comparable, so are any two transfinite powers of sets. The axiom of choice is also essential in the arithmetic of transfinite numbers." (R Bunn, "Developments in the Foundations of Mathematics, 1870-1910", 1980)
"A set is a Many that allows itself to be thought of as a One." (Georg Cantor)
"An infinite set is one that can be put into a one-to-one correspondence with a proper subset of itself." (Georg Cantor)
No comments:
Post a Comment