Lectures on the Philosophy of Mathematics

by Joel David Hamkins

arrive at his concept of computability, Turing reflected philosophically on what a person was doing when undertaking computation; he distilled computation to its essence.