A discussion of how “computable” the Law is, as a formal system, with reference to Turing's own life and times. My contribution here is a description of Turing's seminal work on the decision problem, written for the layperson.