Perguntas com a marcação «hypercomputation»

Desculpe pelo título cativante. Quero entender, o que se deve fazer para refutar a tese de Church-Turing? Em algum lugar que li, é matematicamente impossível fazê-lo! Por quê? Turing, Rosser etc usaram termos diferentes para diferenciar entre: "o que pode ser calculado" e "o que pode ser calculado por uma …

83 computability  proofs  hypercomputation 

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?

18 reference-request  computability  hypercomputation 

Hipercomputação refere-se a modelos de computação que não são possíveis de simular usando máquinas de Turing. (Os hipercomputadores não são necessariamente realizáveis ​​fisicamente!) Alguns hipercomputadores têm acesso a um recurso que permite resolver o problema de parada das máquinas de Turing padrão. Chame isso de "superpotência": um hipercomputador com uma …

17 computability  hypercomputation 

Minha compreensão da tese de Church-Turing é a: Ele limita o que pode ser calculado por qualquer processo discreto e finito. Embora ainda seja uma tese, não um teorema, se fosse refutada, isso não significaria apenas uma atualização para nossos modelos atuais de computação. Seria um resultado de mudança de …

8 church-turing-thesis  hypercomputation