On A.A. Markov's attitude towards Brouwer's intuitionism

Ioannis M. Vandoulakis

pp. 143-158

in: Gerhard Heinzmann, Pierre É. Bour, Wilfrid Hodges, Peter Schroeder-Heister (eds), Logic and philosophy of science in Nancy (II), Philosophia Scientiae 19 (1), 2015.

Abstract

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.

Cited authors

Brouwer Luitzen Egbertus Jan

Markov Andre A