Das Frühjahrssemester 2021 findet sicher bis Ostern online statt. Ausnahmen: Veranstaltungen, die nur mit Präsenz vor Ort durchführbar sind. Bitte beachten Sie die Informationen der Dozierenden.

Giovanni Sommaruga: Katalogdaten im Herbstsemester 2016

NameHerr 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
Telefon+41 44 632 08 92
DepartementGeistes-, Sozial- und Staatswissenschaften
BeziehungDozent der ETH Zürich, Titularprofessor der Universität Freiburg

851-0144-21LPhilosophical Issues and Problems in Theoretical Computer Science
Particularly suitable for students of D-INFK
3 KP2VG. Sommaruga, J. Copeland, D. Proudfoot
KurzbeschreibungThis 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.
Lernziel- 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 Belegung eingeschränkt - Details anzeigen
Particularly suitable for students of D-INFK
3 KP2VG. Sommaruga, J. Copeland
KurzbeschreibungThe 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.
Lernziel- 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