On A.A. Markov's attitude towards Brouwer's intuitionism
The paper examines Andre A. Markov's critical attitude towards L.E.J. Brouwer's intuitionism, as is expressed in his endnotes to the Russian translation of Heyting's Intuitionism, published in Moscow in 1965. It is argued that Markov's algorithmic approach was shaped under the influence of the mathematical style and values prevailing in the Petersburg mathematical school, which is characterized by the proclaimed primacy of applications and the search for rigor and effective solutions.
Vandoulakis, I. M. (2015). On A.A. Markov's attitude towards Brouwer's intuitionism. Philosophia Scientiae 19 (1), pp. 143-158.
This document is available at an external location. Please follow the link below. Hold the CTRL button to open the link in a new window.