James Finnis
James Finnis
Home
Teaching
Research
Publications
Projects
Skills & Experience
Contact
Office Hours
Light
Dark
Automatic
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.
Cite
×