Maaf untuk judul yang menarik. Saya ingin mengerti, apa yang harus dilakukan seseorang untuk menyangkal tesis Gereja-Turing? Di suatu tempat saya membaca secara matematis tidak mungkin untuk melakukannya! Mengapa? Turing, Rosser dll menggunakan istilah yang berbeda untuk membedakan antara: "apa...
Saya melihat banyak penelitian tentang hiperkomputasi pada tahun 1990-an, tetapi dalam beberapa tahun terakhir tampaknya ada sedikit pekerjaan pada topik tersebut. Benarkah penelitian di bidang ini mereda? Jika demikian, apa alasannya? Apakah area ini secara meyakinkan terbukti tidak...
Komputasi berlebihan mengacu pada model komputasi yang tidak mungkin untuk disimulasikan menggunakan mesin Turing. (Hypercomputer belum tentu dapat direalisasikan secara fisik!) Beberapa hypercomputer memiliki akses ke sumber daya yang memungkinkan Masalah Pemutusan untuk mesin Turing standar dapat...
Pemahaman saya tentang tesis Gereja-Turing adalah: Menempatkan batas pada apa yang dapat dihitung dengan setiap proses diskrit dan terbatas. Meskipun masih merupakan tesis, bukan teorema, jika itu akan dibantah, ini tidak berarti hanya pembaruan untuk model perhitungan kita saat ini. Ini akan...