The Turing Model of Computation and its Applications to Logic, Mathematics, Philosophy, and Computer Science.- Alan Turing, Logical and Physical.- Computability and Numberings.- Computation as Conversation.- Computation Paradigms in Light of Hilbert's Tenth Problem.- Elementary Algorithms and Their Implementations.- Applications of the Kleene-Kreisel Density Theorem to Theoretical Computer Science.- Church Without Dogma: Axioms for Computability.-...