Consistency, Turing Computability and Gödel's First Incompleteness Theorem.

Robert F. Hadley Consistency, Turing Computability and Gödel's First Incompleteness Theorem. 1-15 2008 18 Minds and Machines 1 http://dx.doi.org/10.1007/s11023-007-9082-2 db/journals/mima/mima18.html#Hadley08