Como vocês viram a solução do teorema de Matiyasevich, provado em 1970 por Yuri Matiyasevich?

Question

O grande mérito da demonstração do Teorema de Matiyasevich foi o fato de ficar-se sabendo que o décimo problema de Hilbert é insolúvel!!!

Answer 1

Realmente! a solução de Matyasevich que era relativa ao décimo problema de Hilbert , se referia a encontrar um procedimento sistemático que testasse se P (x1; x2; ... ; xn) = 0 tem soluções inteiras ou seja:
Se existia algum algoritmo geral para provar que :
P(x1; x2; ... ; xn) = Q(x1; x2; ... ; xn) tem soluções inteiras não negativas .
O que na verdade ele conseguiu mostrar é que esse sistema é indecidível, ou seja,não tem solução !

Answer 2

Fiquei sabendo agora por você!

Seria curioso é se alguém mais tarde demonstrasse que afinal era de possível solução, como existem alguns cientistas tentando provar que a Teoria da Relatividade de Einstein não está certa Em determinados casos.