An introduction to feedback Turing computability
Nathanael Ackerman, Cameron E. Freer, Robert S. Lubarsky · Journal of Logic and Computation · 2020
Abstract Feedback computability is computation with an oracle that contains the correct convergence/divergence information for all computations calling that same oracle. Here we study feedback Turing computability, as well as feedback for some smaller classes of computation. We also examine some versions of parallelization of these notions.