Comment by QuesnayJr
10 hours ago
From the article it's hard to tell if Cantor really did plagiarize (though it seems Dedekind thought he did).
According to the article, Cantor proved the theorem first and sent it to Dedekind. Dedekind suggested a simplification of the proof, which Cantor used when he wrote it up. The story doesn't make Cantor look good, but if the original proof by Cantor is correct, then the credit for the theorem still basically belongs to Cantor.
If I understand the article correctly, that second proof was published as a rider on a first proof that was entirely Dedekind's. So, there was definitely a credit owed at time of publishing.
I came away with the impression that the biggest villain in this story was Kronecker. Without the need to tiptoe around his ego and gatekeeping, these results may have been published as a paper with joint authorship.
I read it the other way. Here's the quote from the article:
On December 7, 1873, he wrote to Dedekind that he thought he’d finally succeeded: “But if I should be deceiving myself, I should certainly find no more indulgent judge than you.” He laid out his proof. But it was unwieldy, convoluted. Dedekind replied with a way to simplify Cantor’s proof, building a clearer argument without losing any rigor or accuracy. Meanwhile Cantor, before he’d received Dedekind’s letter, sent him a similar idea for how to streamline the proof, though he hadn’t worked out the details the way Dedekind had.
I think the relevant quotes are these:
"Dedekind quickly replied that...he’d worked out a proof that the algebraic numbers (the numbers you get as solutions to algebra problems) could be counted.
[...]
Weierstrass had been most excited about the proof that algebraic numbers are countable. (He would later use that result to prove a theorem of his own.) So Cantor chose a misleading title [for his paper] that only mentioned algebraic numbers.
[...]
Writing his paper, Cantor put the proof about algebraic numbers first. Below it, he added his own proof that the real numbers cannot be counted — Dedekind’s simplified version of it, that is."
So the first proof -- the one the article was titled after -- was completely created by Dedekind.
2 replies →
That the credit for the theorem belongs to Cantor is not under question. This is acknolwedged in the article:
>The revelation about Cantor’s result doesn’t undermine his legacy. He was still the first person to prove that there are more real numbers than whole ones, which is what ultimately opened up infinity to study.
What he is alleged to have plagiarised are the proofs, or at least one of the proofs. The original article by Goos [0] contains a lot more details about this, including a partial transcription of the letter by Dedekind that Cantor is accused of plagiarism. The story is complex.
1. Cantor's paper has two theorems: the countability of algebraic numbers and the uncountability of reals.
2. The proof of the former appears in Dedekind's letter, and Cantor acknowledges this in his response to the letter. Dedekind mentions in his letter that he only thought about proving this because of Cantor's prompt and only wrote it with the hope of helping Cantor. Dedekind felt that the proof by Cantor is "word for word" his, although it is quite the case. It is essentially the same proof though.
Cantor also felt that Dedekind's proof that the set of algebraic numbers is countable is essentially the same as his own proof of the countability of tuples. It remains that he didn't think of adapting that proof himself, and that Dedekind was the first to prove the theorem is not under question.
3. Dedekind was not the first to prove the uncountability of real numbers. However, he gave a number of ideas to Cantor in that same letter. Namely, he suggested proving the uncountability of the interval (0,1), and it seems that gave a pointer towards how to build the diagonalisation argument, although how this statement was useful to Cantor (page 76 of Goos' paper) escapes me.
4. Cantor proved the uncountability of reals shortly afterwards, and shared his proof with Dedekind. Dedekind simplified the proof in his reply, and Cantor seems to have come up with a similar simplification on his own. None of these letters are analysed in Goos' article.
5. Cantor published the two theorems; the first proof is essentially the same as Dedekin's, and the second proof is possibly the one Dedekind's simplified version of Cantor's. Dedekind is not acknowledged at all in that paper, due to academic politics.
Goos' paper is very detailed and quite readable. I recommend it. The site is pretty annoying and you can't download the article without creating an account, but you can read the article online.
Even if the most important theorem of the two is unquestionably creditable to Cantor, the first one should likewise unquestionably be credited to Dedekind, at least partially. This is where the accusation of plagiarism stems from. Beyond the question on plagiarism, there is no question that Cantor and Dedekind worked together on this. The lack of acknowledgement by Cantor is certainly quite unfortunate.
[0] https://www.scribd.com/document/977967855/Phlogiston-33#page...