Domande taggate «hypercomputation»

Cosa significherebbe confutare la tesi di Church-Turing?

Ci scusiamo per il titolo accattivante. Voglio capire, cosa si dovrebbe fare per confutare la tesi di Church-Turing? Da qualche parte ho letto che è matematicamente impossibile farlo! Perché? Turing, Rosser ecc. Usavano termini diversi per distinguere tra: "cosa può essere calcolato" e "cosa può essere calcolato da una macchina …

83 computability proofs hypercomputation

Perché la ricerca sull'ipercomputazione è venuta meno?

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?

18 reference-request computability hypercomputation

In che modo i modelli di ipercomputazione superano il problema dell'arresto?

L'ipercomputazione si riferisce a modelli di calcolo che non è possibile simulare utilizzando le macchine di Turing. (Gli hypercomputer non sono necessariamente fisicamente realizzabili!) Alcuni hypercomputer hanno accesso a una risorsa che consente di risolvere il problema di interruzione per le macchine Turing standard. Chiamalo "superpotere": un ipercomputer con un …

17 computability hypercomputation

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.