Turing

On computable numbers with an application to the AlanTuringproblem

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.