Cantor's Diagonal Argument - Rational I have read other answers about this same subject, however, no answers seem to formally prove, why the Cantor Diagonal Argument applied on a list of all the rational does not create another rational as Cantor Diagonal Argument applied on the Reals create another real.
Thank you
 A: If you mean the version of the diagonal argument that deals with decimal digits, or with binary digits (etc.), then the answer is that we know how to create an enumeration of the rationals, i.e. a sequence in which for every rational there is some finite number of steps after which we will reach that rational in the list, and the diagonal argument shows that the real number that emerges differs from every number in the list.
A: Because if you have a sequence $(d_n)_{n\in\Bbb N}$ of digits, there is some real number whose decimal expansion is $0.d_1d_1d_3\ldots$ So, if you apply the Cantor diagonal argument to the numbers of $[0,1]$, you will get a number from $[0,1]$. But if you apply it only to the rationals form $[0,1]$, it may well happen that the number that you created is not rational, since most sequences $(d_n)_{n\in\Bbb N}$ of digits lead you to a number $0.d_1d_1d_3\ldots$ which is irrational.
A: Cantor's diagonal argument on a given countable list of reals does produce a new real (which might be rational) that is not on that list.
The point of Cantor's diagonal argument, when used to prove that $\mathbb{R}$ is uncountable, is to choose the input list to be all the rationals. Then, since we know Cantor produces a new real that is not on that input list, that real can't be rational.
