-2
$\begingroup$

From the only reason that two sets, $A$ and $B$, are corresponding to each other by the fact that for every part $a$ being in $A$ there is a part $b$ being in $B$ such that all pairs $(a + b)$ formed in this way contain every thing contained in $A$ or $B$ and each thing only once – only from this reason it is, as we see, not yet allowed to conclude that these two sets, if they are infinite, with respect to their number of things (disregarding the differences of their parts) are equal to each other. [...] Two finite sets, if they are of a kind such that we can find to every thing $a$ of the first set a thing $b$ of the second set and no thing is remaining and no thing appears in two or more pairs, have always the same number of things. It appears as if this property should be maintained for infinite sets too. It appears so, but on closer inspection we see that it is not at all necessary because the reason lies in the finiteness and therefore vanishes if the sets instead of being finite are infinite. [...] The conclusion becomes invalid as soon as the set of things in $A$ is infinite because, by the definition of an infinite set, we never encounter a last thing in $A$ – how many things we may have counted, there are always others to be counted. And although there is no lack of things in the set $B$ too which can be paired with the things of $A$, the reason becomes invalid to conclude that the multitudes of both sets are equal. [Bernard Bolzano: "Paradoxien des Unendlichen", Reclam, Leipzig (1851) 31-33]

$\endgroup$
  • 1
    $\begingroup$ Definition of set equality via bijection contradicted Euclid's part-whole axiom, and was not accepted until Cantor built a theory upon it rich enough to make the part-whole intuitions moot. Bolzano wasn't first, the history is described by Mancosu in MEASURING THE SIZE OF INFINITE COLLECTIONS. It explores historical and modern alternatives to Cantor's treatment of infinity. $\endgroup$ – Conifold May 14 '17 at 23:07
1
$\begingroup$

D.D. Spalt [1] acknowledges at least that Bolzano's theory, although different from Cantor's, is not per se self-contradictory or wrong. But he deplores the general lack of eagerness to scrutinize his theory. There seems no readiness to deal with it.

[1] D.D. Spalt: "Die Unendlichkeit bei Bernard Bolzano" in "Konzepte des mathematisch Unendlichen im 19. Jahrhundert" (G. König, Hrsg.), Vandenhoeck & Ruprecht, Göttingen (1990), 189-218.

| improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.