German mathematician, inventor of set theory (1845–1918)
Georg Ferdinand Ludwig Philipp Cantor (3 March 1845 – 6 January 1918) was a Russian-born German 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."
From: Wikiquote (CC BY-SA 4.0)
From Wikidata (CC0)
Mathematics is in its development entirely free and is only bound in the self-evident respect that its concepts must both be consistent with each other, and also stand in exact relationships, ordered by definitions, to those concepts which have previously been introduced and are already at hand and established. In particular, in the introduction of new numbers, it is only obligated to give definitions of them which will bestow such a determinacy and, in certain circumstances, such a relationship to the other numbers that they can in any given instance be precisely distinguished. As soon as a number satisfies all these conditions, it can and must be regarded in mathematics as existent and real.
Works in ChatGPT, Claude, or Any AI
Add semantic quote search to your AI assistant via MCP. One command setup.
The old and oft-repeated proposition "Totum est majus sua parte" [the whole is larger than the part] may be applied without proof only in the case of entities that are based upon whole and part; then and only then is it an undeniable consequence of the concepts "totum" and "pars". Unfortunately, however, this "axiom" is used innumerably often without any basis and in neglect of the necessary distinction between "reality" and "quantity", on the one hand, and "number" and "set", on the other, precisely in the sense in which it is generally false.
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.
The actual infinite arises in three contexts: first when it is realized in the most complete form, in a fully independent otherworldly being, in Deo, where I call it the Absolute Infinite or simply Absolute; second when it occurs in the contingent, created world; third when the mind grasps it in abstracto as a mathematical magnitude, number or order type.
I have never proceeded from any Genus supremum of the actual infinite. Quite the contrary, I have rigorously proved that there is absolutely no Genus supremum of the actual infinite. What surpasses all that is finite and transfinite is no Genus; it is the single, completely individual unity in which everything is included, which includes the Absolute, incomprehensible to the human understanding. This is the Actus Purissimus, which by many is called God. I am so in favor of the actual infinite that instead of admitting that Nature abhors it, as is commonly said, I hold that Nature makes frequent use of it everywhere, in order to show more effectively the perfections of its Author. Thus I believe that there is no part of matter which is not — I do not say divisible — but actually divisible; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.