Georg Cantor (1845 – 1918)
Russian-born mathematician and philosopher of Danish and Austrian descent, most famous as the creator of set theory, and of Cantor's theorem which implies the existence of an "infinity of infinities.
After being relegated to an obscure mid-tier university, blocked from leading journals and openly mocked by his peers, including his former mentor, the late 19th century German mathematician found refuge for his groundbreaking work on infinities in, of all places, the Roman Catholic Church... Catholic theologians welcomed Cantor's ideas, which provided a workable way of understanding mathematical infinities, as evidence that humans could grasp the infinite and could also, therefore, have a greater understanding of God, himself infinite.
What a welcome relief this must have been to the chronically depressed Cantor! As John D. Barrow writes in The Infinite Book: A Short Guide to the Boundless, Timeless and Endless, Cantor "started to tell his friends that he had not been the inventor of the ideas about infinity that he had published. He was merely a mouthpiece, inspired by God to communicate parts of the mind of God to everyone else."
That from the outset they expect or even impose all the properties of finite numbers upon the numbers in question, while on the other hand the infinite numbers, if they are to be considered in any form at all, must (in their contrast to the finite numbers) constitute an entirely new kind of number, whose nature is entirely dependent upon the nature of things and is an object of research, but not of our arbitrariness or prejudices.
Mathematics, in the development of its ideas, has only to take account of the immanent reality of its concepts and has absolutely no obligation to examine their transient reality.
My theory stands as firm as a rock; every arrow directed against it will return quickly to its archer. How do I know this? Because I have studied it from all sides for many years; because I have examined all objections which have ever been made against the infinite numbers; and above all because I have followed its roots, so to speak, to the first infallible cause of all created things.
In re mathematica ars proponendi pluris facienda est quam solvendi.
As for the mathematical infinite, to the extent that it has found a justified application in science and contributed to is usefulness, it seems to me that it has hitherto appeared principally in the role of a variable quantity, which either grows beyond all bounds or diminishes to any desired minuteness, but always remains finite. I call this the improper infinite [das Uneigentlich-unendliche].
Er ist aber in Kopenhagen geboren, von israelitischen Eltern, die der dortigen portugisischen Judengemeinde.
What I assert and believe to have demonstrated in this and earlier works is that following the finite there is a transfinite (which one could also call the supra-finite), that is an unbounded ascending ladder of definite modes, which by their nature are not finite but infinite, but which just like the finite can be determined by well-defined and distinguishable numbers.
The transfinite numbers are in a certain sense themselves new irrationalities and in fact in my opinion the best method of defining the finite irrational numbers is wholly dissimilar to, and I might even say in principle the same as, my method described above of introducing transfinite numbers. One can say unconditionally: the transfinite numbers stand or fall with the finite irrational numbers; they are like each other in their innermost being; for the former like the latter are definite delimited forms or modifications of the actual infinite.
If there is some determinate succession of defined whole real numbers, among which there exists no greatest, on the basis of this second principle of generation a new number is obtained which is regarded as the limit of those numbers, i.e. is defined as the next greater number than all of them.
This view [of the infinite], which I consider to be the sole correct one, is held by only a few. While possibly I am the very first in history to take this position so explicitly, with all of its logical consequences, I know for sure that I shall not be the last!
The fear of infinity is a form of myopia that destroys the possibility of seeing the actual infinite, even though it in its highest form has created and sustains us, and in its secondary transfinite forms occurs all around us and even inhabits our minds.
Had Mittag-Leffler had his way, I should have to wait until the year 1984, which to me seemed too great a demand!
No one shall expel us from the Paradise that Cantor has created.
There is no doubt that we cannot do without variable quantities in the sense of the potential infinite. But from this very fact the necessity of the actual infinite can be demonstrated.
In order for there to be a variable quantity in some mathematical study, the domain of its variability must strictly speaking be known beforehand through a definition. However, this domain cannot itself be something variable, since otherwise each fixed support for the study would collapse. Thus this domain is a definite, actually infinite set of values. Hence each potential infinite, if it is rigorously applicable mathematically, presupposes an actual infinite.
The potential infinite means nothing other than an undetermined, variable quantity, always remaining finite, which has to assume values that either become smaller than any finite limit no matter how small, or greater than any finite limit no matter how great.
Infinity, in its first form (the improper-infinite) presents itself as a variable finite [veranderliches Endliches]; in the other form (which I call the proper infinite [Eigentlich-unendliche]) it appears as a thoroughly determinate [bestimmtes] infinite.
Every transfinite consistent multiplicity, that is, every transfinite set, must have a definite aleph as its cardinal number.
The totality of all alephs cannot be conceived as a determinate, well-defined, and also a finished set. This is the punctum saliens, and I venture to say that this completely certain theorem, provable rigorously from the definition of the totality of all alephs, is the most important and noblest theorem of set theory. One must only understand the expression "finished" correctly. I say of a set that it can be thought of as finished (and call such a set, if it contains infinitely many elements, "transfinite" or "suprafinite") if it is possible without contradiction (as can be done with finite sets) to think of all its elements as existing together, and to to think of the set itself as a compounded thing for itself; or (in other words) if it is possible to imagine the set as actually existing with the totality of its elements.