Comment Re: Dr. Hawking's final joke... (Score 1) 199
That's neat, except that you can construct the real numbers as equivalence classes of convergent sequences of rational numbers, where two sequences are equivalent if and only if their difference converges to zero.