Topics in Knowledge, Language, and Logic
GRS PH 686
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.

