Perché la ricerca sull'ipercomputazione è venuta meno?

18

Vedo molte ricerche sull'ipercomputazione negli anni '90, ma negli anni più recenti sembra esserci poco lavoro sull'argomento. È vero che la ricerca in questo settore è decaduta? In tal caso, quali potrebbero essere le ragioni? Quest'area è stata dimostrata in modo convincente poco promettente?

reference-request  computability  hypercomputation 
— Velvet Ghost
fonte
6
3rd International Hypercomputation officina (HyperNet 11) hypercomputation.net/combinedpreprocs.pdf
— Marzio De Biasi
Velvet Ghost ha chiesto:> è vero che il Bekenstein Bound rifiuta ...? Bene, c'è un buon caso per quello poiché limita le informazioni in un volume di spazio come conseguenza della Legge di Murphy.
1
Non c'erano buchi neri nelle vicinanze per inviare una macchina di Turing.
— Andrej Bauer,

Risposte:

19

Sarebbe meglio se specificassi esattamente cosa intendi per ipercalcolo e fornissi prove del perché pensi che sia "morto".

In ogni caso, supponendo che tu stia parlando di calcolo di funzioni su numeri naturali (e stringhe finite) (dal momento che penso sia chiaro che i modelli per il calcolo di tipo superiore è un'area molto attiva, ad esempio CCA ) e modelli di calcolo non equivalenti a calcolabilità definita dalle macchine di Turing , non credo che l'affermazione sia corretta, ad esempio vedi CiE'05 e CiE'11. Vedi anche le critiche mosse contro l'affermazione che l'ipercomputazione sia una novità:

Se sei interessato, c'è anche qualche discussione sulla mailing list di FOM a partire dall'e-mail di Timothy Chow sull'articolo di Martin Davis.

— Kaveh
fonte
Grazie mille per la risposta molto istruttiva. Ad essere sincero, la mia unica conoscenza dell'ipercomputazione è attraverso il lavoro di Siegelmann sul potere computazionale delle reti neurali a metà degli anni '90 - e la sua prova che una particolare rete neurale (la NN ricorrente analogica) è ipercomputazionale. La chiave del suo potere ipercomputazionale è la sua natura analogica: può avere pesi che sono numeri REALI. Quindi mi riferivo al sottocampo dell'ipercomputazione noto come Calcolo reale .
— Velvet Ghost
In precedenza avevo letto gli articoli di Martin Davis ed erano quelli che hanno iniziato a farmi pensare che l'ipercomputazione fosse fuori moda. A proposito ... è vero che il Bekenstein Bound rifiuta qualsiasi possibilità di calcolo analogico in questo universo?
— Velvet Ghost
2

Non penso sia vero. La ricerca in Arxiv di documenti sull'ipercomputazione ottiene un sacco di successi.

— Joshua Herman
fonte
9
L'ipercomputazione si riferisce a modelli di calcolo più potenti della calcolabilità di Turing (vedi ad esempio Wikipedia), mentre entrambi, PostBQP = PP e P_CTC = PSPACE, sono certamente calcolabili.
— Martin Schwarz,
Sto cominciando a pensare che tu abbia ragione, Joshua. Inoltre, grazie per quel link.
— Velvet Ghost
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.