The constructivist school of Markov

Maurice Margenstern

Revue d'histoire des mathématiques (1995)

  • Volume: 1, Issue: 2, page 271-305
  • ISSN: 1262-022X

Abstract

top
This paper sets out the main features of the constructivist school, as promoted by Andrej Andreevich Markov (1903–1979). After a short survey of the situation pertaining in mathematics and logic, at the beginning of the 20th century, the emergence of intuitionism, and of recursive function theory, is sketched in. The paper then outlines the aims and methods of Markov’s constructivism — reviewing, by way of illustration, the major results obtained through Markov’s approach, in the field of real-number analysis. Finally, emphasis is laid on the current relevance of such results for present-day mathematics.

How to cite

top

Margenstern, Maurice. "L’école constructive de Markov." Revue d'histoire des mathématiques 1.2 (1995): 271-305. <http://eudml.org/doc/252083>.

@article{Margenstern1995,
abstract = {Cet article donne les principales caractéristiques de l’école constructive d’Andrej Andreevich Markov (1903–1979). Après un bref rappel de la situation des mathématiques et de la logique au début du xxe siècle, on évoque rapidement la naissance de l’intuitionnisme et de la théorie des fonctions récursives. On décrit ensuite les objets et les méthodes du constructivisme de Markov. A titre d’exemples on expose les principaux résultats relatifs à l’analyse réelle selon le point de vue de Markov. On termine en soulignant l’intérêt de ces résultats pour les mathématiques d’aujourd’hui.},
author = {Margenstern, Maurice},
journal = {Revue d'histoire des mathématiques},
keywords = {A. A. Markov; constructive mathematics},
language = {fre},
number = {2},
pages = {271-305},
publisher = {Société mathématique de France},
title = {L’école constructive de Markov},
url = {http://eudml.org/doc/252083},
volume = {1},
year = {1995},
}

TY - JOUR
AU - Margenstern, Maurice
TI - L’école constructive de Markov
JO - Revue d'histoire des mathématiques
PY - 1995
PB - Société mathématique de France
VL - 1
IS - 2
SP - 271
EP - 305
AB - Cet article donne les principales caractéristiques de l’école constructive d’Andrej Andreevich Markov (1903–1979). Après un bref rappel de la situation des mathématiques et de la logique au début du xxe siècle, on évoque rapidement la naissance de l’intuitionnisme et de la théorie des fonctions récursives. On décrit ensuite les objets et les méthodes du constructivisme de Markov. A titre d’exemples on expose les principaux résultats relatifs à l’analyse réelle selon le point de vue de Markov. On termine en soulignant l’intérêt de ces résultats pour les mathématiques d’aujourd’hui.
LA - fre
KW - A. A. Markov; constructive mathematics
UR - http://eudml.org/doc/252083
ER -

References

top
  1. [1] Bernays ( P.), Hilbert ( D.) [1934] Grundlagen der Mathematik, vol. 1, Berlin : Springer, 1934 ; 2e éd., 1968. Zbl0191.28402MR237246
  2. [2] Bishop ( E.) [1967] Foundations of constructive analysis, New York : McGraw-Hill, 1967. Zbl0183.01503MR221878
  3. [3] Bridges ( D.), Demuth ( O.) [1991] On the Lebesgue measurability of continuous functions in constructive analysis, Bulletin of the American Mathematical Society, 24 (1991), p. 259–276. Zbl0742.03024MR1066107
  4. [4] Cejtin ( G.S.) [1962a] Algorifmicheskie operatory v konstruktivnykh metricheskikh prostranstvakh, Trudy matematicheskogo Instituta Steklova, 67 (1962), p. 295–361. Trad. angl., Algorithmic operators in constructive metric spaces, American Mathematical Society Translations, (2) 64 (1967), p. 1–80. 
  5. [5] Cejtin ( G.S.) [1962b] Teoremy o srednem znachenii v konstructivnom analize, Trudy mat. Inst. Steklova, 67 (1962), p. 362-384. Trad. angl., Mean value theorems in constructive analysis, Amer. Math. Soc. Transl., (2) 98 (1971), p. 11–40. 
  6. [6] Cejtin ( G.S.) [1964] Tri teoremy o konstructivnykh funkcijakh, Trudy mat. Inst. Steklova, 72 (1964), p. 537–543. Trad. angl., Three theorems on constructive functions, Amer. Math. Soc. Transl., (2) 100 (1972), p. 11–40. MR205843
  7. [7] Cejtin ( G.S.), Zaslavskij ( I.D.) [1962] O singuljarnykh i svjazannykh s nimi svojstvakh konstruktivnykh funkcij, Trudy mat. Inst. Steklova, 67 (1962), p. 458–502. Trad. angl., On singular coverings and related properties of constructive functions, Amer. Math. Soc. Transl., (2) 98 (1971), p. 41–89. Zbl0228.02023MR152428
  8. [8] Demuth ( O.) [1968] Integral Lebega i ponjatie izmerimosti funkcij v konstruktivnom analize, Zapiski nauchrykh seminarov Leningradskogo otdelenija matematicheskogo Instituta Steklova, 8 (1968), p. 21–28. Trad. angl., The Lebesgue integral and the concept of function measurability in constructive analysis, Seminars in Mathematics Steklov Institute, 8 (1970), p. 7–10. Zbl0224.02024MR240256
  9. [9] Detlovs ( V.K.) [1958] Ekvivalentnost’ normal’nykh algorifmov i rekursivnykh funkcij, Trudy mat. Inst. Steklova, 52 (1958), p. 75–139. Trad. angl., The equivalence of normal algorithms and recursive functions, Amer. Math. Soc. Transl., (2) 23 (1963), p. 15–81. Zbl0121.01502MR101192
  10. [10] Duprat ( J.), Herreros ( Y.), Muller ( J.-M.) [1989] Some results about on-line computation of functions, Rapport de Recherche L.I.P., École normale supérieure de Lyon, 89–04, 1989. 
  11. [11] Glivenko ( V.I.) [1928] Sur la logique de M. Brouwer, Bulletin de l’Académie royale de Belgique. Classe des sciences, (V) 14 (1928), p. 225–228. JFM54.0054.01
  12. [12] Glivenko ( V.I.) [1929] Sur quelques points de la logique de M. Brouwer, Bull. Acad. r. Belg. Cl. sci., (V) 15 (1929), p. 183–188. Zbl55.0030.05JFM55.0030.05
  13. [13] Goodstein ( R.L.) [1961] Recursive analysis, Amsterdam : North-Holland, 1961. Zbl0088.25002MR131974
  14. [14] Grzegorczyk ( A.) [1957] On the definitions of computable real continuous functions, Fundamenta mathematicae, 44 (1957), p. 61–71. Zbl0079.24801MR89809
  15. [15] Heyting ( A.) [1956] Intuitionism. An introduction, Amsterdam : North-Holland, 1956 ; 3e éd., 1971. Trad. russe, Moscou : Mir, 1965. Zbl0125.00510MR75147
  16. [16] Heyting ( A.) [1959] (éd.) Constructivity in mathematics. Proceedings of the colloquium held at Amsterdam, 1957, Amsterdam : North-Holland, 1959. Zbl0086.00701MR103825
  17. [17] Kalmár ( L.) [1959] An argument against the plausibility of Church’s thesis, dans [Heyting 1959, p. 72-80]. Zbl0088.24902MR106837
  18. [18] Kleene ( S.C.) [1936a] General recursive functions of natural numbers, Matematische Annalen, 112 (1936), p. 727–742. Zbl0014.19402MR1513071JFM62.0044.02
  19. [19] Kleene ( S.C.) [1936b] A note on recursive functions, Bull. Amer. Math. Soc., 42 (1936), p. 544–546. Zbl62.0045.01MR1563352JFM62.0045.01
  20. [20] Kleene ( S.C.) [1987] Reflections on Church’s thesis, Notre Dame Journal of Formal Logic, 28 (1987), p. 490–498. Zbl0649.03001MR912644
  21. [21] Kolmogorov ( A.N.) [1925] O principe “tertium non datur », Matematicheskij sbornik, 32 (1925), p. 646–667. Trad. angl., On the principle of exclude middle, dans [van Heijenoort 1967, p. 414–437]. JFM51.0048.01
  22. [22] Kreisel ( G.), Lacombe ( D.), Schoenfield ( J.R.) [1957] Fonctionnelles récursivement définissables et fonctionnelles récursives, Comptes rendus hebdomadaires des séances de l’Académie des sciences, 245 (1957), p. 399–402. Zbl0078.00702MR88457
  23. [23] Kreisel ( G.), Lacombe ( D.), Schoenfield ( J.R.) [1959] Partial recursive functionals and effective operations, dans [Heyting 1959, p. 290–297]. Zbl0178.32201MR108443
  24. [24] Kronecker ( L.) [1887] Über den Zahlbegriff, Journal für die reine und angewandte Mathematik, 101 (1887), p. 337–355; Werke III 1 , Leipzig, 1899, p.251–274. JFM19.0063.03
  25. [25] Kushner ( B.A.) [1973] Lekcii po konstruktivnomu matematicheskomu analizu, Moskva : Nauka, 1973. Trad. angl., Lectures on constructive mathematical analysis, Providence : American Mathematical Society (Translations of Mathematical Monographs, vol. 60), 1984. Zbl0547.03040MR379147
  26. [26] Kushner ( B.A.) [1993] Markov and Bishop : an essay in memory of A.A. Markov (1903–1979) and E. Bishop (1928–1983), dans Zdravkovska (S.) et Duren (P.L.), éd., Golden years of Moscow mathematics, American Mathematical Society–London Mathematical Society (History of Mathematics, vol. 6), 1993, p. 179–197. MR1246571
  27. [27] Lacombe ( D.) [1957] Quelques propriétés d’analyse récursive, C.R. Acad. sci. Paris, 244 (1957), p. 838–840/996–997. Zbl0077.01602MR88456
  28. [28] Largeault ( J.) [1992] Intuitionisme et théorie de la démonstration. Textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl, Paris : Vrin (Mathesis), 1992. Zbl0901.03003MR1355781
  29. [29] Markov ( A.A.) [1954a] Teorija algorifmov, Trudy mat. Inst. Steklova, 42 (1954). Trad. angl., The theory of algorithms, The Israel Program for Scientific Translations, 1961. MR77473
  30. [30] Markov ( A.A.) [1954b] O nepreryvnosti konstruktivnykh funkcij, Uspekhi matematicheskikh nauk, (IX) 3-61 (1954), p. 226–230. 
  31. [31] Markov ( A.A.) [1956] Ob odnom principe konstruktivnoj matematicheskoj logiki, Trudy tret’ego vsesojuznogo matematicheskogo s« ezda, 2 (1956), p. 146–147. 
  32. [32] Markov ( A.A.) [1965] Commentaires de l’éditeur, dans [Heyting 1956/1965]. 
  33. [33] Markov ( A.A.), Nagornyj ( N.M.) [1984] Teorija algorifmov, Moskva : Nauka, 1984. Trad. angl., The theory of algorithms, Dordrecht : Kluwer, 1988. MR776607
  34. [34] Mostowski ( A.) [1957] On computable sequences, Fund. math., 44 (1957), p. 37–51. Zbl0079.24702MR91242
  35. [35] Muller ( J.-M.) [1991] Some characterizations of functions in on-line arithmetic, Rapport de Recherche L.I.P., École normale supérieure de Lyon, 91-15, 1991. 
  36. [36] Orevkov ( V.P.) [1964] O konstruktivnykh otobrazhenijakh kruga v sebja, Trudy mat. Inst. Steklova, 72 (1964), p. 437–461. Trad. angl., On constructive mappings of a disk into itself, Amer. Math. Soc. Transl., (2) 100 (1972), p. 69–100. Zbl0243.02030MR205844
  37. [37] Shanin ( N.A.) [1962] Konstruktivnye veshchestvennye chisla i konstruktivnye funkcional’nye prostranstva, Trudy mat. Inst. Steklova, 67 (1962), p. 15–294. Trad. angl., Constructive real numbers and constructive function spaces, Providence : American Mathematical Society (Transl. Math. Monographs, vol. 21), 1968. MR229508
  38. [38] Sinaceur ( H.) [1990] Article « Récursivité », dans Encyclopédie philosophique universelle, vol. II, t. 2, Paris : PUF, 1990, p. 2188–2192. 
  39. [39] Sinaceur ( H.) [1993] Du formalisme à la constructivité : le finitisme, Revue internationale de philosophie, 47–4 (1993), p. 251–284. 
  40. [40] Specker ( E.) [1949] Nicht konstruktiv beweisbare Sätze der Analysis, The Journal of Symbolic Logic, 14 (1949), p. 145–158. Zbl0033.34102MR31447
  41. [41] Specker ( E.) [1959] Der Satz vom Maximum in der rekursiven Analysis, dans [Heyting 1959, p. 254–265]. Zbl0088.01702MR107603
  42. [42] Turing ( A.M.) [1936] On computable real numbers, with an application to the “Entscheidungsproblem”, Proceedings of the London Mathematical Society, 42 (1936), p. 230–265. Trad. fr. dans La machine de Turing, Paris : Seuil (Sources du savoir), 1995, p. 47–103. Zbl0016.09701JFM62.1059.03
  43. [43] Uspenskij ( V.A.) [1960] Lekcii o vychislitmykh funkcijakh, Moscou : Fizmatgiz, 1960. Trad. fr. par A. Chauvin, Leçons sur les fonctions calculables, Paris : Hermann, 1966. MR194332
  44. [44] Van Dalen ( D.) [1990] The war of the frogs and the mice, or the crisis of the “Mathematische Annalen”, The Mathematical Intelligencer, 12–4 (1990), p. 17–31. Zbl0723.01006MR1076531
  45. [45] Van Heijenoort ( J.) (éd.) [1967] From Frege to Gödel. A source book in mathematical logic, 1879–1931, Cambridge (Mass.) : Harvard University Press, 1967. Zbl0183.00601MR209111
  46. [46] Zaslavskij ( I.D.) [1962] Nekotorye svojstva konstruktivnykh veshchestvennykh chisel i konstruktivnykh funkcij, Trudy mat. Inst. Steklova, 67 (1962), p. 385–457. Trad. angl., Some properties of constructive real numbers and of constructive functions, Amer. Math. Soc. Transl., (2) 57 (1966), p. 1–84. Zbl0192.06002

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.