“Two possibilities present themselves for the analytical treatment of metrical geometry.” — Hermann Weyl Copy Share Image