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.
Un hipercomputador computa funciones que son incomputables por una máquina deTuring. Esta computa funciones o números, resuelve problemas o realiza tareas que no pueden ser computados o resueltas por una máquina de Turing (MT).
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).