Diagnolization is a pretty deep argument about fixpoints, Godels incompleteness argument is essentially a diagnolization. So why wouldn't there be fascination?

The point is that diagonalization works whatever map you have come up with: no matter how you construct your list of the reals, you can come up with another real not on the list.