We give an introduction to $L^2$-homology and $L^2$-Betti numbers which generalizes the well-known classical notions of homology and Betti numbers. They have suprising applications to problems in topology, geometry, and group theory which a priori seem not be related, but whose proofs require $L^2$-techniques. We also discuss some open conjectures.