Cantor, Georg

Calvet Edouard (1895-1966) Fr. calorim., known for Calvet-Tian calorimetry Cantor Georg Ferdinand Ludwig Philip (1845-1918) Ger. math., developed theory of sets, defined real, irrational and transfinite numbers... 

Robison to George Black Junior, 18 October 1800 in Robinson and McKie (eds), Partners in Science, pp. 360-3 on p. 361. On the avoidance of system as methodological precept see Henry Brougham s friendly review of Black s Lectures in Edinburgh Review, 2 (1803), pp. 1-26. See also G. N. Cantor, Henry Brougham and the Scottish Methodological Tradition) Studies in the History and Philosophy of Science, 2 (1971), pp. 69-89. 

Dauben, J.W. (1979). Georg Cantor, His Mathematics and Philosophy of the Infinite (Princeton University Press, Princeton). 

Purkert, W. and Ilgauds, H.J. (1987). Georg Cantor (Birkhauser Verlag, Bsisel). 

Are some infinities larger than others Surprisingly, the answer is yes. In the late 1800s, Georg Cantor invented a clever way to compare different infinite sets. Two sets X and Y are said to have the same cardinality (or number of elements) if there is an invertible mapping that pairs each element xe X with precisely one y e Y. Such a mapping is called a one-to-one correspondence, it s like a buddy system, where every x has a buddy y, and no one in either set is left out or counted twice. 

The study of infinite sets was pioneered by Georg Cantor in the nineteenth century. One remarkable fact is that the cardinality of the counting numbers is equal to that of many of its subsets, for example, the even numbers. The reasoning is that these sets can be matched in a one-to-one correspondence with one another according to the following scheme ... 

One more point regarding these postulates. If we recall Georg Cantor s conception of the set as the multitude that might be thought as oneness , we can see that the most natural way to conceive the multitude as one is to view these objects as elements of one class (specified via some generative mechanism, see section 4). Thus, within the proposed computational setting, the underlying formal structures come from those of classes. 

---