Hypercomputation: computing more than the Turing machine Hypercomputation or super-Turing computation refers to 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 can correctly evaluate every statement in Peano arithmetic. Basically, a systemContinue reading “Hypercomputers & Hypercomputations”