An example of logic is deducing that two truths imply a third truth. An example of logic is the process of coming to the conclusion of who stole a cookie ...
I'm currently co-authoring the first comprehensive book on our Future Internet Architecture SCION . The book will be published by Springer in Fall 2017. Stay tuned!
Welcome to webpage of METU Graduate School of Natural and Applied Science
Kleene himself never stated that Turing had made a mistake in his paper, important in its own right for helping to establish the unsolvability of problems in group theoretic computations, although corrections to Turing's paper were also made later by Boone who originally pointed out "points in the proof require clarification, which can be given"  and Turing's only phd student, Robin Gandy. That Kleene doesn't mention this mistake in the body of his textbook where his presents his work on Turing machines but buried the fact he was correcting Alan Turing in the appendix was appreciated by Turing himself can be surmised from the ending of Turing's last publication "Solvable and Unsolvable Problems" which ends not with a bibliography but the words,