Andrey Markov Jr.

Andrey Andreyevich Markov Jr. (Russian: Андре́й Андре́евич Ма́рков; St. Petersburg, September 22, 1903 Moscow, October 11, 1979) was a Soviet mathematician, the son of the Russian mathematician Andrey Andreyevich Markov Sr, and one of the key founders of the Russian school of constructive mathematics and logic. He made outstanding contributions to various areas of mathematics, including differential equations, topology, mathematical logic and the foundations of mathematics.[1][2]

His name is in particular associated with Markov's principle and Markov's rule in mathematical logic, Markov's theorem in knot theory and Markov algorithm[3] in theoretical computer science. An important result which he proved in 1947 was that the word problem for semigroups was unsolvable;[4] Emil Post obtained the same result independently at about the same time.[4] In 1953 he became a member of the Communist Party.

In 1960, Markov obtained fundamental results showing that the classification of four-dimensional manifolds is undecidable: no general algorithm exists for distinguishing two arbitrary manifolds with four or more dimensions. This is because four-dimensional manifolds have sufficient flexibility to allow us to embed any algorithm within their structure, so that classification of all four-manifolds would imply a solution to Turing's halting problem. This result has profound implications for the limitations of mathematical analysis. Markov was extremely sexist and believed that women could not be mathematicians, for which he was criticized by Marxist-Leninists.[5]


Notes

  1. Kushner, Boris A (2006). "The constructive mathematics of A. A. Markov". Amer. Math. Monthly. 113 (6): 559–566. doi:10.2307/27641983. JSTOR 27641983. MR 2231143.
  2. Glukhov, M. M.; Nagornyĭ, N. M. (2004). "Andreĭ Andreevich Markov (on the centenary of his birth)". Diskrete Math. Appl. 14 (1): 1–6. doi:10.1515/156939204774148776. MR 2069985. S2CID 120486293.
  3. A New Kind of Science
  4. A New Kind of Science
  5. Кольман Э. Я. (1942). Учебник логики. М.: Государственное издательство политической литературы. — С. 126—128.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.