" Levels of infinity : " Hermann Weyl ; translated and edited with an introduction and notes by Peter Pesic