-May 10, 20205 min readAbstractions of Computation, the Church-Turing Hypothesis, and the Halting Problem