http://www.medg.lcs.mit.edu/doyle/claims.html

"Computability" is probably more than Turing Machine computability.

• What is Church's Thesis?
• Response to Penrose
• Some Theories of Reasoned Assumptions
• The Foundations of Psychology
• Admissible State Semantics

Darwin was wrong.

• Philip E. Johnson, Darwin on Trial, 2nd ed., 1993, InterVarsity Press, Downers Grove, Illinois
• Philip E. Johnson, Reason in the Balance: The Case Against Naturalism in Science, Law & Education, 1995, InterVarsity Press, Downers Grove, Illinois

The Four Spiritual Laws