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
fonte
Respostas:
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:
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.
fonte
Houve várias conferências recentes sobre o tema da computabilidade infinita, que trataram muitos tópicos em hipercomputação.
Além disso, houve sessões especiais sobre computabilidade infinita em muitas das conferências da CiE.
fonte
Eu não acho que isso é verdade. A pesquisa de artigos sobre hipercomputação no Arxiv recebe vários hits.
fonte