Mengapa penelitian perhitungan hiper turun?

18

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?

reference-request computability hypercomputation Hantu Beludru
sumber
6
Workshop International Hypercomputation ke-3 (HyperNet 11) hypercomputation.net/combinedpreprocs.pdf
Marzio De Biasi
Velvet Ghost bertanya:> apakah benar bahwa Bekenstein Bound membantah ...? Nah, ada kasus bagus untuk itu karena membatasi informasi dalam volume ruang sebagai konsekuensi dari Hukum Murphy.
1
Tidak ada lubang hitam di dekatnya untuk mengirim mesin Turing.
Andrej Bauer

Jawaban:

19

Akan lebih baik jika Anda menentukan apa yang Anda maksud persis dengan hiper-komputasi dan memberikan bukti mengapa Anda pikir itu "mereda".

Dalam kasus apa pun, dengan asumsi bahwa Anda berbicara tentang perhitungan fungsi atas bilangan asli (dan string hingga) (karena saya pikir jelas bahwa model untuk komputasi tipe yang lebih tinggi adalah area yang sangat aktif, misalnya CCA ) dan model perhitungan tidak setara dengan kemampuan komputasi yang ditentukan oleh mesin Turing , saya rasa klaimnya tidak benar, misalnya lihat CiE'05 dan CiE'11. Lihat juga kritik yang dibuat terhadap klaim bahwa hiper-komputasi adalah sesuatu yang baru:

Jika Anda tertarik, ada juga beberapa diskusi tentang milis FOM dimulai dengan email Timothy Chow tentang artikel Martin Davis.

Kaveh
sumber
Terima kasih banyak untuk balasan yang sangat informatif itu. Sejujurnya, satu-satunya perkenalan saya dengan hiperkomputasi adalah melalui karya Siegelmann tentang kekuatan komputasi jaring saraf pada pertengahan 1990-an - dan bukti bahwa jaringan saraf khusus (analog berulang NN) adalah hiperkomputasi. Kunci dari kekuatan hiperkomputerasinya adalah sifatnya yang analog - ia dapat memiliki bobot yang merupakan angka NYATA. Jadi saya merujuk pada sub bidang hiperkomputasi yang dikenal sebagai Komputasi Nyata .
Velvet Ghost
Saya telah membaca artikel-artikel Martin Davis sebelumnya, dan itulah yang mulai membuat saya berpikir bahwa komputasi yang berlebihan sudah ketinggalan zaman. Btw ... benarkah bahwa Bekenstein Bound membantah segala kemungkinan komputasi analog di alam semesta ini?
Velvet Ghost
6

Ada beberapa konferensi baru-baru ini tentang topik komputabilitas infinitary, yang telah memperlakukan banyak topik dalam komputasi hiper.

Selain itu, telah ada sesi khusus tentang kemampuan komputasi infinitary di banyak konferensi CiE.

JDH
sumber
2

Saya pikir ini tidak benar. Mencari Arxiv untuk makalah tentang hiperkomputasi mendapat banyak sekali hits.

Joshua Herman
sumber
9
Hypercomputation mengacu pada model komputasi yang lebih kuat daripada Turing computability (lihat misalnya Wikipedia), sedangkan keduanya, PostBQP = PP dan P_CTC = PSPACE, tentu bisa dihitung.
Martin Schwarz
Saya mulai berpikir bahwa Anda benar, Joshua. Juga, terima kasih atas tautannya.
Velvet Ghost