Topic for Fall 2017: Philosophy of Computing. What are the logical and philosophical origins and applications of the Turing Machine? What, philosophically, is computation? We discuss some of the logico-philosophical aspects of Turing's work and examine foundational issues surrounding its future extensions and applications. Also offered as CAS CS 591 C2.