¿Por qué la investigación de hipercomputación se calmó?

18

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?

reference-request computability hypercomputation

— Fantasma de terciopelo
fuente

66

3er Taller Internacional hipercomputación (HyperNet 11) hypercomputation.net/combinedpreprocs.pdf

— Marzio De Biasi

Velvet Ghost preguntó:> ¿Es cierto que el Bekenstein Bound refuta ...? Bueno, hay un buen caso para eso, ya que limita la información en un volumen de espacio como consecuencia de la Ley de Murphy.

1

No había agujeros negros cerca para enviar una máquina de Turing.

— Andrej Bauer

19

Sería mejor si especificaras lo que quieres decir exactamente con hipercálculo y si aportas pruebas de por qué crees que se ha "calmado".

En cualquier caso, suponiendo que está hablando del cálculo de funciones sobre números naturales (y cadenas finitas) (ya que creo que está claro que los modelos para cómputo de tipo superior es un área muy activa, por ejemplo, CCA ) y modelos de cómputo no equivalentes a computabilidad definida por las máquinas de Turing , no creo que la afirmación sea correcta, por ejemplo, vea CiE'05 y CiE'11. También vea las críticas hechas contra la afirmación de que la hipercomputación es algo nuevo:

Martin Davis, " Por qué no existe tal disciplina como la hipercomputación ", 2006.
Martin Davis, "El mito de la hipercomputación ", en "Alan Turing: vida y legado de un gran pensador", 2004.

Si está interesado, también hay una discusión sobre la lista de correo de FOM que comienza con el correo electrónico de Timothy Chow sobre el artículo de Martin Davis.

— Kaveh
fuente

Muchas gracias por esa respuesta muy informativa. Para ser honesto, mi único conocimiento de la hipercomputación es a través del trabajo de Siegelmann sobre el poder computacional de las redes neuronales a mediados de la década de 1990, y su prueba de que una red neuronal particular (la NN analógica recurrente) es hipercomputacional. La clave de su poder hipercomputacional es su naturaleza analógica: puede tener pesos que son números REALES. Entonces me refería al subcampo de hipercomputación conocido como Real Computation .

— Velvet Ghost

Había leído los artículos de Martin Davis anteriormente, y fueron lo que comenzó a hacerme pensar que la hipercomputación estaba pasada de moda. Por cierto ... ¿es cierto que Bekenstein Bound refuta cualquier posibilidad de computación analógica en este universo?

— Velvet Ghost

6

Recientemente se han realizado varias conferencias sobre el tema de la computabilidad infinita, que han tratado muchos temas en la hipercomputación.

Taller internacional de Bonn sobre computabilidad ordinal (BIWOC) 2007 , vea el informe del programa allí
Conferencia sobre Matemática Efectiva de los Incontables (EMU) 2008
Conferencia sobre Matemática Efectiva de los Incontables (EMU) 2009

Además, ha habido sesiones especiales sobre computabilidad infinita en muchas de las conferencias de CiE.

— JDH
fuente

2

No creo que esto sea cierto. La búsqueda de documentos sobre hipercomputación en Arxiv obtiene muchos resultados.

— Joshua Herman
fuente

99

La hipercomputación se refiere a modelos de computación que son más poderosos que la computabilidad de Turing (ver, por ejemplo, Wikipedia), mientras que ambos, PostBQP = PP y P_CTC = PSPACE, son ciertamente computables.

— Martin Schwarz

Estoy empezando a pensar que tienes razón, Joshua. Además, gracias por ese enlace.

— Velvet Ghost