The higher infinite : large cardinals in set theory from their beginnings