Also known as hypercomputer, super-Turing computation
Hypercomputation or super-Turing computation is a set of hypothetical models of computation that can provide outputs that are not Turing-computable. For example, a machine that could solve the halting problem would be a hypercomputer; so too would one that could correctly evaluate every statement in Peano arithmetic.
Hipercomputação ou computação super-Turing refere-se aos modelos de computação que são mais poderosos que, ou são incomparáveis com, computabilidade de Turing. Isso inclui vários métodos hipotéticos para a Computação de Funções não-Turing computáveis, seguido por Algoritmo super-recursivas . O termo "computação super-Turing" surgiu em 1995 numa revista científica por Hava Siegelmann. O termo hipercomputação surgiu em 1999 por Jack Copeland and Diane Proudfoot.Esses termos não são exatamente sinônimos: computação super-Turing geralmente implica que o modelo proposto é supostamente fisicamente realizável, enquanto hipercomputação sofre com argumentos técnicos contra a sua realizabilidade física.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).