From 2 November 2020, the autumn semester 2020 will take place online. Exceptions: Courses that can only be carried out with on-site presence. Please note the information provided by the lecturers via e-mail.

Jack Copeland: Catalogue data in Autumn Semester 2016

Name Prof. Dr. Jack Copeland
(Professor University of Kent - Canterbury)
Prof. für Philosophie, V. Laszlo
ETH Zürich, CLW C1
Clausiusstrasse 49
8092 Zürich
DepartmentHumanities, Social and Political Sciences

851-0144-21LPhilosophical Issues and Problems in Theoretical Computer Science
Particularly suitable for students of D-INFK
3 credits2VG. Sommaruga, J. Copeland, D. Proudfoot
AbstractThis course studies philosophical issues concerning computers and computing.
Topics include: information (and information content), computational complexity, the Turing Test for computer thought; the "Chinese Room" argument against the possibility of strong AI; connectionist AI; consciousness; the Church-Turing thesis; computational and hypercomputational models of mind; and free will.
Objective- Exhibit a general understanding of the philosophy and history of computing.
- Explain central problems in the field and their potential solutions, independently and at a level requiring in-depth knowledge and critical understanding.
- Communicate clearly in writing about topics in this field.
851-0144-22LDevelopments in Logic after Gödel: Applications to Theoretical Computer Science Restricted registration - show details
Particularly suitable for students of D-INFK
3 credits2VG. Sommaruga, J. Copeland
AbstractThe course will start by presenting a modern logic, namely (propositional) modal logic, which has turned out to be extremely fruitful and to have numerous interesting applications in computer science, mathematics and philosophy. Subsequently, two of these applications to computer science, tense logic and dynamic logic, and one application to mathematics, provability logic, will be introduced.
Objective- Learn the fundamental concepts of a range of propositional logics
- Learn how to construct proofs in these logics
- Study the interface between mathematical logic and computer science, and mathematical logic and mathematics