Computation as uncertainty reduction: a simplified order-theoretic framework

Pedro Hack, Daniel A. Braun, Sebastian Gottwald

Although there is a somewhat standard formalization of computability on countable sets given by Turing machines, the same cannot be said about uncountable sets. Among the approache…