Now set theory is taught even to kids and it is the foundation of mathematics. Can we say that Cantor won?
No, Cantor did not "win", for a very simple reason: the race is not over. Cantor may be in the lead, but there is no reason to think that Kronecker ( or somebody else ) will not be in the lead 100 or 200 years from now. Also, it is incorrect to say that X is the foundation for mathematics. There are multiple competitors for that title, and the best bet ( IMO) is that there is no one true "foundation" for mathematics.
P.S. The major competitors today are Category Theory and (Homotopy) Type Theory. There are probably others, but those two are pretty well-known.
Very much so. Today someone arguing Kronecker's position would be regarded as a crank (sort of like a finitist). Kronecker was arguing for way more than just "constructive mathematics"; he believed things like:
- There is not set containing all the subsets of an infinite set (like the integers or the rationals).
- The nested interval property (that all infinite sequences of nested closed intervals have a common point) may fail (even in constructive math, this property holds for sequences given by an algorithm).
- Consequently, he believed that irrational and transcendental numbers do not exist (there are constructive proofs that numbers like $\pi$ and $e$ exist, and any classical proof whose result is a negation is also valid in constructive logic, so they are transcendental).
- For similar reasons, Kronecker's argument would imply that there is no set of real numbers (even if individual irrational or transcendental numbers were granted to exist).
- And, in general, Kronecker would deny the existence of uncountable seets (Brouwer, for example, took for granted that the real numbers were uncountable).
So there is a long list of propositions Kronecker held to that modern constructivists don't believe; they might criticize aspects of Cantor's set theory but not the whole concept of infinite sets the way Kronecker did.
Set theory was already around before Cantor used it to theorise his notion of cardinals. It's a mistake then to associate his name solely with set theory, and personally I think he, himself would be horrified to be so honoured. Like almost all great mathematicians, he knew how much he owed to both his colleagues and his predeccessors.
It's also a mistake to think of mathematics as a competition or a race. To do so is to turn it into a kind of parlour game, which it emphatically is not. More politically speaking it's symptomatic of neoliberalism - a horizon under which science, as a whole, does not succeed as it should - which perhaps is the point of neoliberal disciplinary systems.
So the answer to your question is - it's the wrong question.
Kronecker won, Cantor lost. Plenty of material proving this case is given in https://www.hs-augsburg.de/~mueckenh/Transfinity/Transfinity/pdf
In Chapter V Mückenheim has collected a tremendous amount of over 250 critical voices, most of which are directly refusing set theory or its basic assumption, namely actual or completed infinity.
Further he applies mathematical limit theory of analysis in order to show that not all rational numbers can be mapped on natural numbers. The fact that every rational can be mapped on its own natural is irrelevant, he says, because every rational number belongs to a finite initial segment which is followed by potentially infinitely many rationals. The mathematical limit of the not mapped rationals is infinite. He gives convincing evidence and a formal proof which to my knowledge has never been refuted. So if set theory is taken as it is, it is in contradiction with analysis and therefore cannot be its foundation.
Then he has shown that an irrational number can never be defined by its digit expansion because there is no number defined unless the last digit is known. If only a string of digits is given - without a finite formula like "0.111..." defining the sequence - then no real number is fixed. Therefore Cantor's diagonal argument does not yield a fixed real number let alone a transcendental number. The finite formulas like those known for $e$ or $\pi$ however are countable. By the way, even Hessenberg, a strong supporter of set theory and author of the famous uncountability proof using all subsets of the natural numbers, has recognized that "a statement about the number defined by that process, which concerned only that number, would be possible only after completion of the process – and this process cannot be completed."
Finally, Mückenheim shows that, if countability of set theory is assumed (contrary to its being in contradicition with analysis), all objects of thought can be enumerated by their rational spatio-temporal coordinates even in an infinite and eternal universe. Therefore there is nothing uncountable.
There are many other arguments. But I would recommend to read first the statements in chapter V. They show that by far not all mathematicians agree to Cantor's victory over Kronecker.