Preguntas etiquetadas con hypercomputation

Perdón por el título pegadizo. Quiero entender, ¿qué se debe hacer para refutar la tesis de la Iglesia-Turing? ¡En algún lugar que leí es matemáticamente imposible hacerlo! ¿Por qué? Turing, Rosser, etc., utilizaron diferentes términos para diferenciar entre: "lo que se puede calcular" y "lo que se puede calcular mediante …

83 computability  proofs  hypercomputation 

Veo mucha investigación sobre la hipercomputación en la década de 1990, pero en los últimos años parece haber poco trabajo sobre el tema. ¿Es cierto que la investigación en esta área ha disminuido? Si es así, ¿cuáles podrían ser los motivos? ¿Se demostró convincentemente que esta área no era prometedora?

18 reference-request  computability  hypercomputation 

La hipercomputación se refiere a modelos de computación que no son posibles de simular usando máquinas Turing. (¡Las hipercomputadoras no son necesariamente realizables físicamente!) Algunas hipercomputadoras tienen acceso a un recurso que permite resolver el problema de detención de las máquinas Turing estándar. Llame a esto una "superpotencia": una hipercomputadora …

17 computability  hypercomputation 

Mi comprensión de la tesis de la Iglesia-Turing es la siguiente: Pone un límite a lo que se puede calcular mediante cualquier proceso discreto y finito. Aunque sigue siendo una tesis, no un teorema, si se refutara, esto no significaría solo una actualización de nuestros modelos actuales de computación. Sería …

8 church-turing-thesis  hypercomputation