Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.
The Halting Problem of Turing Machines
Computer Science and Christianity: A Modeling Approach