Por que a pesquisa sobre hipercomputação morreu?

18

Vejo muitas pesquisas sobre hipercomputação nos anos 90, mas nos anos mais recentes parece haver pouco trabalho sobre o assunto. É verdade que a pesquisa nessa área acabou? Em caso afirmativo, quais poderiam ser as razões para isso? Esta área mostrou-se convincentemente pouco promissora?

reference-request computability hypercomputation

— Fantasma de veludo
fonte

6

3º Workshop Internacional hypercomputation (Hypernet 11) hypercomputation.net/combinedpreprocs.pdf

— Marzio De Biasi

Velvet Ghost perguntou:> é verdade que o Bekenstein Bound refuta ...? Bem, há um bom argumento para isso, uma vez que limita as informações em um volume de espaço como consequência da Lei de Murphy.

1

Não havia buracos negros por perto para enviar uma máquina de Turing.

— Andrej Bauer

19

Seria melhor se você especificasse exatamente o que você quer dizer com hiper-computação e fornecesse evidências do porquê você acha que "desapareceu".

De qualquer forma, supondo que você esteja falando sobre computação de funções sobre números naturais (e seqüências finitas) (já que acho claro que os modelos para computação de tipo superior são uma área muito ativa, por exemplo, CCA ) e modelos de computação não equivalentes a computabilidade definida pelas máquinas de Turing , não acho que a afirmação esteja correta, por exemplo, veja CiE'05 e CiE'11. Veja também as críticas feitas contra a alegação de que a hiper-computação é algo novo:

Martin Davis, " Por que não existe disciplina como hipercomputação ", 2006.
Martin Davis, "O Mito da Hipercomputação ", em "Alan Turing: Vida e Legado de um Grande Pensador", 2004.

Se você estiver interessado, há também alguma discussão na lista de discussão do FOM, começando pelo e-mail de Timothy Chow sobre o artigo de Martin Davis.

— Kaveh
fonte

Muito obrigado por essa resposta muito informativa. Para ser sincero, meu único conhecimento da hipercomputação é através do trabalho de Siegelmann sobre o poder computacional das redes neurais em meados dos anos 90 - e sua prova de que uma rede neural específica (a NN recorrente analógica) é hipercomputacional. A chave para seu poder hipercomputacional é sua natureza analógica - ele pode ter pesos que são números REAIS. Então, eu estava me referindo ao subcampo da hipercomputação conhecido como Real Computation .

— Velvet Santo

Eu tinha lido os artigos de Martin Davis anteriormente, e foram eles que me fizeram pensar que a hipercomputação estava fora de moda. Btw ... é verdade que o Bekenstein Bound refuta qualquer possibilidade de computação analógica neste universo?

— Velvet Santo

6

Houve várias conferências recentes sobre o tema da computabilidade infinita, que trataram muitos tópicos em hipercomputação.

Workshop Internacional de Bonn sobre Computabilidade Ordinal (BIWOC) 2007 , veja o relatório do programa
Conferência sobre Matemática Eficaz dos Incontáveis (UEM) 2008
Conferência sobre Matemática Efetiva do Incontável (UEM) 2009

Além disso, houve sessões especiais sobre computabilidade infinita em muitas das conferências da CiE.

— JDH
fonte

2

Eu não acho que isso é verdade. A pesquisa de artigos sobre hipercomputação no Arxiv recebe vários hits.

— Joshua Herman
fonte

9

Hipercomputação refere-se a modelos de computação que são mais poderosos que a computabilidade de Turing (veja, por exemplo, Wikipedia), enquanto ambos, PostBQP = PP e P_CTC = PSPACE, certamente são computáveis.

— Martin Schwarz

Estou começando a pensar que você está certo, Joshua. Além disso, obrigado por esse link.

— Velvet Santo