Ahora llegamos al paso decisivo de la abstracción matemática: nos olvidaremos de lo que significan los símbolos. ...[El matemático] no necesita estar inactivo; hay muchas operaciones que él puede llevar a cabo con estos símbolos, sin tener que fijarse nunca por las cosas que representan.
Hermann Weyl, The Mathematical Way of Thinking
This repository has been archived by the owner on Nov 7, 2022. It is now read-only.