Bukti Baru Memperluas Batas dari Apa yang Tidak Dapat Diketahui
Dengan kata lain, masalah ke-10 Hilbert tidak dapat diputuskan. Matematikawan berharap untuk mengikuti pendekatan yang sama untuk membuktikan versi masalah yang diperluas, cincin bilangan bulat – namun mereka mengalami kendala. Menggumukan Pekerjaan Korespondensi yang berguna antara mesin Turing dan persamaan Diophantine runtuh ketika persamaan diizinkan memiliki solusi non-bulat. Misalnya, pertimbangkan lagi persamaan y = x2. … Baca Selengkapnya