Andrei Markov Júnior: diferenças entre revisões

|tese =

|orientador =

|influenciado =

|influencia =

Em 1960 Markov obteve resultados fundamentais, mostrando que a classificação de [[variedade (matemática)|variedades]] de quatro dimensões é impossível de ser decidida (não existem algorítimos gerais para distinguir duas variedades arbitrárias com quatro ou mais dimensões). Isso ocorre porque variedades de quatro dimensões tem flexibilidade suficiente para nos permitir inserir qualquer algorítimo dentro de sua estrutura, portanto a classificação de todas as variedades de quatro dimensões iria implicar em uma solução para o [[problema da parada]] de Turing. Esse resultado teve profundas implicações nas limitações de análises matemáticas.

 

 

==Ligações externas==