On A.A. Markov's attitude towards Brouwer's intuitionism
pp. 143-158
Résumé
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.
Détails de la publication
Publié dans:
Heinzmann Gerhard, Bour Pierre Edouard, Hodges Wilfrid, Schroeder-Heister Peter (2015) Logic and philosophy of science in Nancy (II). Philosophia Scientiae 19 (1).
Pages: 143-158
DOI: 10.4000/philosophiascientiae.1054
Citation complète:
Vandoulakis Ioannis M., 2015, On A.A. Markov's attitude towards Brouwer's intuitionism. Philosophia Scientiae 19 (1), Logic and philosophy of science in Nancy (II), 143-158. https://doi.org/10.4000/philosophiascientiae.1054.