Andrey Markov Jr. - Andrey Markov Jr.
Andrey Andreyevich Markov ( russo : Андре́й Андре́евич Ма́рков ; São Petersburgo , 22 de setembro de 1903 - Moscou , 11 de outubro de 1979) foi um matemático soviético , filho do matemático russo Andrey Markov Sr , e um dos principais fundadores do russo escola de matemática e lógica construtiva . Ele fez contribuições notáveis para várias áreas da matemática, incluindo equações diferenciais , topologia , lógica matemática e os fundamentos da matemática .
Seu nome está particularmente associado ao princípio de Markov e à regra de Markov na lógica matemática, ao teorema de Markov na teoria do nó e ao algoritmo de Markov na ciência da computação teórica . Um resultado importante que ele provou em 1947 foi que o problema da palavra para semigrupos era insolúvel; Emil Post obteve o mesmo resultado independentemente mais ou menos na mesma época. Em 1953 ele se tornou membro do Partido Comunista .
Em 1960, Markov obteve resultados fundamentais mostrando que a classificação de variedades quadridimensionais é indecidível : nenhum algoritmo geral existe para distinguir duas variedades arbitrárias com quatro ou mais dimensões. Isso ocorre porque as variedades quadridimensionais têm flexibilidade suficiente para nos permitir embutir qualquer algoritmo em sua estrutura, de modo que a classificação de todas as variedades quadridimensionais implicaria em uma solução para o problema da parada de Turing . Este resultado tem implicações profundas para as limitações da análise matemática.
Seus alunos de doutorado incluem Boris Kushner , Gennady Semenovich Makanin e Nikolai Aleksandrovich Shanin .
Notas
links externos
 |
Este artigo sobre um matemático é um esboço . Você pode ajudar a Wikipedia expandindo-a . |