Loading AI tools
Teorema de Matiyasevich Da Wikipédia, a enciclopédia livre
O Teorema de Matiyasevich, provado em 1970 por Yuri Matiyasevich, implica que o décimo problema de Hilbert é irresolúvel.[1]
Este problema é um desafio para achar um algoritmo geral que possa determinar se um dado sistema de equações Diofantinas (polinomiais com coeficientes inteiros) tem uma solução entre os inteiros. David Hilbert colocou esse problema na sua intervenção ao Congresso internacional de Matemáticos de 1900.[2]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.