Looks like we picked the wrong theorem to popularize (Cantor diagonalization) Cantor's diagonalization theorem, which proves that the reals are uncountable, is a study in contrasts.  On the one hand, there is no question that it is correct.  On the other hand, not only is it controversial, it attracts an inordinate number of cranks.  Asaf Karagila compiles an excellent list of various "cranky" questions here.
I have come to the conclusion that math populizers have incorrectly concluded that the proof of Cantor diagonalization is accessible.  For example, see this in the popular business press.  My view is that all such "populist" proofs assume way too many sophisticated mathematical proofs to be viable.
Specifically, the standard Cantor proof assumes, without statement, that:


*

*countable sets are enumerable; i.e. can be put into a sequence

*sequences are valid ways to define new numbers (limits, sums), despite the fact that they contain an infinite number of terms

*the constructed real not in the list of "countable" reals is the limit of a Cauchy sequence, and is therefore a real number and not rational (which explicitly references the completeness of the reals)


So my question is on either side of my examples:


*

*Given my protestation, is the standard proof by contradiction salvageable for non-mathematicians; and

*What amount of rigorous mathematics is needed to make this proof "crank proof"?  I would say what I have provided is sufficient, realizing that serious cranks are impervious to anything not in their thinking!


EDIT: Thanks for the answers.  I think I have a good idea where the line of (mis)understanding might be.  Multiple people have expressed the notion that non-mathematicians understand the real numbers as infinite decimals; i.e. through their standard notation.  This is where I think we mathematicians are wrong, at least for some people.  I think lots of people doubt the existence of any such infinite object which seem to require an infinite construction, like Cantor.  Specific reals, like $\pi$, have other definitions that seem "non-infinite".  I accept that those who cannot grasp such infinite constructions may be a lost cause for popularization, but I do think that acknowledging this gap is important.
 A: What you have to realize is that non-mathematicians understand the real numbers AS infinite decimals. They don't feel the need for Cauchy sequences and what not. Also, these non-mathematicians are completely comfortable with things going on forever. A lot of the more recent work was just in trying to convince mathematicians that what they had been doing for centuries made sense. Non-mathematicians come from the point of view of the old mathematicians. Cantor's work is the reason I knew I was going to major in math. It should be popularized at least to H.S Calculus students IMO.
A: I do agree that Cantor's theorem can sometimes cause confusion, although so can many other things.  I don't agree with most of the reasons discussed in the OP.
That a countable set can be listed as a sequence is essentially the definition of countable: a sequence is a function with domain $\mathbb N$, and a set is countable if it admits a bijection with $\mathbb N$, i.e. can be enumerated as a sequence.  I don't think this is so hard.
I don't think completeness of real numbers enters in a difficult way; the argument constructs a real number as an infinite decimal, and anyone who has learnt decimals accepts an infinite decimal as a real number.  (Indeed, this may well be their working def'n of real number.)
In my experience, the most common confusion that one sees with the argument
is the following: given a map $f: \mathbb N \to \mathbb R$, i.e. a sequence of real numbers, one constructs a new real number not in the image of $f$.   This can elicit the confused reaction of "can't we just add that new real number to the sequence"?   So the confusion seems to be with the set-up ($f$ was arbitrary, and however we chose it, it doesn't cover all of $\mathbb R$) and modes of argument that are standard in mathematics but perhaps unfamiliar to people ouside mathematics. 
That's not surprising to me: quantifiers, and related issues like making general choices, or proving something for an object $x$ which
was chosen generally (and thus concluding that the statement is true for all possible choices of $x$) are always a source of confusion to some people (and are not confusing at all to others).  The role of $x$ as a dummy variable in integrals is confusing to some.  The role of $x$ in the equation $x+3 = 5$ is confusing to some (at some point $x$ was just a symbol and $x+3$ was a linear polynomial, but suddently $x$ becomes the specific number $2$).  
Working correctly with ideas of generality and specialization is always going
to be a hard thing to teach to some people.  (In geometry, which sometimes has suble notions of general position, or, in contrast, special position, even good mathematicians can get confused about these sorts of issues!)  I don't think that Cantor's argument is particularly to blame for this.

A separate question is how important this result is, and whether there are
other pieces of mathematics that it would be better to popularize.  If I was 
to argue this point, I would argue on choice of subject matter (what is central
to mathematics and what is more peripheral).  But these choices are always somewhat subjective, and in any case don't seem to be the thrust of the OP (which is more about pedagogy, I think, then about issues of subject matter and taste; or have I misunderstood?).
