Resultados da pesquisa
Pode criar a página com o título "Yuri V. Matiyasevich", mas verifique se há alguma página sobre esse assunto com outro nome nos seguintes resultados da busca (caso existam).
- resultado é uma combinação do trabalho realização por Martin Davis, Yuri Matiyasevich, Hilary Putnam and Julia Robinson. As palavras "processo" e "número...8 kB (1 181 palavras) - 05h24min de 8 de dezembro de 2022
- O Teorema de Matiyasevich, provado em 1970 por Yuri Matiyasevich, implica que o décimo problema de Hilbert é irresolúvel. Este problema é um desafio para...1 kB (108 palavras) - 17h32min de 10 de janeiro de 2023
- recursivamente o teorema consistente da aritmética de Robinson. Matiyasevich, Yuri V. (1970). Диофантовость перечислимых множеств [Enumerable sets are...10 kB (1 276 palavras) - 22h44min de 28 de novembro de 2017
desenvolvidos de 1940 até 1970 por Robinson, Martin Davis, Hilary Putnam e Yuri Matiyasevich resolveu este problema de forma negativa, isto é, eles mostraram que...7 kB (793 palavras) - 02h44min de 3 de setembro de 2024- solução. A inexistência de tal algoritmo, estabelecido pelo trabalho de Yuri Matiyasevich, Julia Robinson, Martin Davis e Hilary Putnam, com a peça final da...16 kB (2 392 palavras) - 20h17min de 28 de agosto de 2024
diofantina, com coeficientes inteiros, tem uma solução inteira. Em 1970, Yuri Matiyasevich provou que esta não poderia ser feita. A necessidade de quebrar códigos...29 kB (3 354 palavras) - 01h48min de 8 de abril de 2024- Os últimos cinco nomes são listados explicitamente em ordem por Yuri Matiyasevich. Ele continua com: "Máquina de registradores [alguns autores usam...48 kB (5 214 palavras) - 14h35min de 29 de abril de 2023
- Medrano Ian Macdonald George Mackey Yuri Manin Gury Marchuk Jerrold Marsden André Martineau Yuri Matiyasevich Yves Meyer V. M. Millionščikov Mario Miranda...96 kB (8 826 palavras) - 03h22min de 22 de novembro de 2022
- 1997. v. 2. ISBN 0201896842 LeVeque, William Judson. Fundamentals of Number Theory. Dover, 1996. 288 p. ISBN 0486689069 Matiyasevich, Yuri V.. Hilbert's