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

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:

Martin Davis, " Mengapa tidak ada disiplin ilmu seperti hiperkomputasi ", 2006.
Martin Davis, " Mitos Hyperkomputasi ", dalam "Alan Turing: Kehidupan dan Warisan Seorang Pemikir Hebat", 2004.

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.

Lokakarya Internasional Bonn tentang Computability Ordinal (BIWOC) 2007 , lihat laporan program di sana
Konferensi Matematika Efektif yang Tak Terhitung (EMU) 2008
Konferensi Matematika Efektif yang Tak Terhitung (EMU) 2009

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