"Turing’s work establishes fundamental limits on algorithmic computation, including the impossibility of a general decision procedure for certain computational questions."
Turing's foundational paper formalizes mechanical computation and establishes that the general Entscheidungsproblem has no algorithmic solution. This supports the chapter's distinction between the considerable power of explicit procedures and the limits of what can be decided algorithmically.
View Source