Georg Cantor: finding infinity