Hiper hesaplama araştırması neden öldü?

18

1990'larda hiper hesaplama üzerinde çok fazla araştırma görüyorum , ancak son yıllarda bu konuda çok az çalışma var gibi görünüyor. Bu alandaki araştırmaların öldüğü doğru mu? Eğer öyleyse, bunun nedenleri neler olabilir? Bu alanın ikna edici bir şekilde ödün vermediği gösterildi mi?

reference-request  computability  hypercomputation 
— Kadife Hayalet
kaynak
6
3. Uluslararası Hiper Hesaplama Atölyesi (HyperNet 11) hypercomputation.net/combinedpreprocs.pdf
— Marzio De Biasi
Velvet Ghost sordu:> Bekenstein Bound'un reddettiği doğru mu? Bunun için iyi bir durum var, çünkü Murphy Kanununun bir sonucu olarak bir hacim hacmindeki bilgileri sınırlıyor.
1
Yakında bir Turing makinesi göndermek için herhangi bir kara delik yoktu.
— Andrej Bauer

Yanıtlar:

19

Tam olarak hiper hesaplama ile ne demek istediğinizi belirtmeniz ve neden "öldüğünü" düşündüğünüze dair kanıt vermeniz daha iyi olur.

Her durumda, işlevlerin doğal sayılar (ve sonlu dizeler) üzerinden hesaplandığını varsayarsak (daha yüksek tip hesaplama modellerinin çok aktif bir alan, örneğin CCA ) ve hesap modellerine eşdeğer olmadığı açıktır . Turing makineleri tarafından tanımlanan hesaplanabilirlik , iddianın doğru olduğunu düşünmüyorum, örneğin bakınız CiE'05 ve CiE'11. Ayrıca hiper-hesaplamanın yeni bir şey olduğu iddiasına karşı yapılan eleştirilere bakın :

İlgileniyorsanız, Timothy Chow'un Martin Davis'in makalesi hakkındaki e- postasıyla başlayan FOM posta listesi hakkında da bazı tartışmalar var .

— Kaveh
kaynak
Bu bilgilendirici cevap için çok teşekkürler. Dürüst olmak gerekirse, hiper hesaplama ile tek tanışmam Siegelmann'ın 1990'ların ortalarında sinir ağlarının hesaplama gücü üzerindeki çalışması ve belirli bir sinir ağının (analog tekrarlayan NN) hiper hesaplama olduğunu kanıtlamasıdır. Hiper hesaplama gücünün anahtarı analog doğasıdır - GERÇEK sayılar olan ağırlıkları olabilir. Bu yüzden Gerçek Hesaplama olarak bilinen hiper hesaplama alt alanına değiniyordum .
— Kadife Hayalet
Daha önce Martin Davis'in makalelerini okumuştum ve hiper hesaplamanın modası geçtiğini düşündüren şeyler bunlardı. Btw ... Bekenstein Bound'un bu evrende herhangi bir analog hesaplama olasılığını reddettiği doğru mu?
— Kadife Hayalet
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.