This paper surveys applications of Cantor's analysis of
infinities to important problems in a wide variety of fields. Using Cantor's
diagonal method, proofs are given of the unsolvability of the
Halting Problem in computer science, and of an Incompleteness Theorem in logic.
Examples are given of applications of Cantor's idea of different sizes of infinities
in the fields of biology, linguistics, economics, and philosophy.