Pertanyaan yang diberi tag «hypercomputation»

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 yang dapat dihitung" dan "apa yang dapat dihitung dengan mesin …

83 computability  proofs  hypercomputation 

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 menjanjikan?

18 reference-request  computability  hypercomputation 

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 diselesaikan. Sebut ini "kekuatan super": komputer super dengan kekuatan super dapat memutuskan apakah …

17 computability  hypercomputation 

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 menjadi hasil pergeseran paradigma untuk matematika dan fisika …

8 church-turing-thesis  hypercomputation