I've seen several times people mentioning that the notion of an algorithm / a computation is taken as a primitive notion in L. E. J. Brouwer's intuitionism. For instance, in *Varieties of Constructive Mathematics* (1987, p.1), Bridges and Richman write that:

In Bishop's constructive mathematics (BISH), and in Brouwer's intuitionism (INT), the notion of an algorithm, or finite routine, is taken as primitive. Russian constructivism (BUSS), on the other hand, operates within a fixed programming language, and an algorithm is a sequence of symbols in that language.

To the best of my knowledge, Brouwer's intuitionistic mathematics is fundamentally a languageless creation of the mind which is erected on the two acts of intuitionism: (i) the first act gives us the construction that corresponds to the natural numbers; (ii) the second act provides us with the notion of free choice sequents. To put it other way, there is no explicit mention of algorithms.

On the other hand, it seems that this common (?mis?)conception, namely, that the notion of an algorithm is a primitive notion in Brouwer's intuitionisim, came with the influence of the BHK interpretation, where the notion of a proof (which, by the Curry-Horward correspondence, corresponds to the notion of a program) plays the central role in this informal interpretation of intuitionistic logic. However, as I said, this is intuitionistic logic and not Brouwer's intuitionisim - and I do think it helps to keep both apart.

Can we justify this claim that the notion of an algorithm is a primitive notion in Brouwer's intuitionism?