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 in...
Main Author: | |
---|---|
Format: | Article |
Language: | deu |
Published: |
Éditions Kimé
2015-03-01
|
Series: | Philosophia Scientiæ |
Online Access: | http://journals.openedition.org/philosophiascientiae/1054 |
Summary: | 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. |
---|---|
ISSN: | 1281-2463 1775-4283 |