Education
Saint St. Petersburg State University.
mathematician university professor topologist
Saint St. Petersburg State University.
He made outstanding contributions to various areas of mathematics, including differential equations, topology, mathematical logic and the foundations of mathematics. His name is in particular associated with Markov"s principle, Markov"s rule, and Markov algorithm. An important result which he proved in 1947 was that the word problem for semigroups was unsolvable.
Emil Post obtained the same result independently at about the same time.
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.
Academy of Sciences of the Union of the Soviet Socialist Republics]
In 1953 he became a member of the Communist Party.