Jabarkan Masalah Hilbert kesepuluh dari Persamaan Diophantus

Pada tahun 1900, David Hilbert mengusulkan kemampuan semua persamaan Diophantus sebagai kesepuluh dari masalah dasarnya pada tahun 1970, Yuri Matiyasevich memecahkannya secara negatif, dengan membuktikan bahwa sebuah algoritme umum untuk memecahkan semua persamaan Diophantus tidak ada.