I could give (but, not being a professional historian, nor a native Dutch speaker, only few) references and background-remarks, but I will keep this short, to make more use of what a Q&A-sites offers, hoping for a summary by professional hiostorians and philophers:
Question.
In constructivism (in the technical sense), is "mind" more or less merely a convenient monosyllabic and four-letter synonym for "algorithm/computer/lambda calculus/Turing machine", or is there more to the predilection of constructivists for using this word when describing what constructivism is about? (Such as in "proofs are object constructed by our minds".)
How much weight did Brouwer himself attach to using this problematic concept/word "mind" in describing his philosophy? Is there anything left of his writings in which he discusses this very point (i.e., whether "mind" and "algorithm" are interchangeable synonyms). Wouldn't he be so much better off by keeping to some objective metaphor, like calculating machines/clockworks/cogs/levers etc when it came to having his philosophy be adopted by others?
Remarks.
Part of my motivation for asking this is a censor-like "Oh, cut out that mind-bit!"-reaction that I often have when doing background reading on constructivism.
I could imagine that Brouwer held opinions in the direction of mind-is-the-most-fundamental-concept-of-all-something-like-a-schopenhauerian-will-and-any-model-of-algorithm-will-be-driven-by-mind-too, or something like that, and would be interested in whether there are writings on that.
Would it be comparing apples with oranges to a professional philosopher to argue that " Brouwer's "mind" is Schopenhauer's "will" " ? EDIT: this is a vague question of course; let me give it precise variant here, more in the direction of comparative literature: have Brouwer's ideas and Schopenhauers concept of "will" been (recognizably) discussed in a published philosophical article? I think this improbable.
It ("mind") appears over and over again in writings on constructivism, also in very technical mathematical contexts, and is used by professional mathematicians/type theorists. My intuitive reaction to this always has been: Constructivism is just about equally platonic as platonism, and constructive proofs are an objective eternal reality as well, so why for goodness' sake do they always mix-in the m-word?