The spring semester 2021 will take place online until further notice. Exceptions: Courses that can only be carried out with on-site presence. Please note the information provided by the lecturers.

Giovanni Sommaruga: Catalogue data in Autumn Semester 2016

Name Prof. Dr. Giovanni Sommaruga
(Professor Université de Fribourg/Universität Freiburg)
Professur für Philosophie
ETH Zürich, CLD C 6
Clausiusstrasse 37
8092 Zürich
Telephone+41 44 632 08 92
DepartmentHumanities, Social and Political Sciences
RelationshipETH Zurich Lecturer, Adjunct Professor at the University of Fribourg

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