Conclusion - Human Information Retrieval - page 156

Human mental labor can be distinguished from the processes derived
and abstracted from that labor that can be modeled computationally.
Abstraction of processes from mental labor has intensified since the early
to mid-nineteenth century, and Babbage's concern for mental labor and
Boole's formalization of logic led to Turing's model of the computational
process (Babbage 1963, 1989; Boole 1854; Turing 1937). With modern
information technologies, transforming human mental labor into a tech-
nologically enacted process may enhance the exactness of procedures
(Warner 2001, 33-46), and that exactness may emerge as both increased
control over data and possibly as rigidity. A nondeterministic mode of
use of systems—involving multiple direct human interventions and incor-
porating semantic considerations—can in some circumstances retain
enhanced control without introducing rigidity.