“It has become quite evident, both to the nominalists like Hilbert and to the intuitionists like Weyl, that the development of a mathematico-logical theory is subject to the same sort of restrictions as those that limit the performance of a computing machine. [...] it is even possible to interpret in this way the paradoxes of Cantor and of Russell.”