

Intuitive structures and formalised mathematics
pp. 101-113
in: , Mathematical epistemology and psychology, Berlin, Springer, 1974Abstract
We have seen that there exists a kind of "pre-established harmony" between pure mathematical thought, the deductive method and Platonism; the alliance between the three is so stable that it is difficult to consider it only as the result of a fortuitous historical grouping.