Correctness and Design of Computational Systems
Most literature in the Philosophy of Computing stresses the dual, abstract and physical nature of computational systems. Under many respects, this debate reduces to the problem of explaining the relation which has traditionally been expressed in terms of the duality between specification and implementation. When this problem is analysed from the point of view of the notion of information though, computational systems require to be described at several levels of abstraction, and at each an appropriate notion of information is required. With such a conceptual tool in place, correctness of computational artifacts is adequately defined at functional, procedural and executional levels. A correct physical computational system is one which satisfies all such layers. This tripartite notion of correctness based on information is in turn essential to provide the basic elements of an appropriate logical analysis of efficiency, correctness, explanation and resilience for computational systems.
Giuseppe Primiero is Associate Professor of Logic at the Department of Philosophy, University of Milan (Italy). He acts as President of the DHST Commission for the History and Philosophy of Computing (HaPoC) and as Secretary General of the Association Computability in Europe (CiE). His research interests are primarily in Logic and Computation, Philosophy of Computing and Information.
Thursday, 16th of January 2020, 12:00-13:00
Manno, Galleria 1, 2nd floor, room G1-201
Pizza (or alternative food) and drinks will be offered at the end of the talk. If you plan to attend the lunch, please register in a timely fashion (meaning at the latest at 9AM of the same day of the talk) at the following link so that we will have no shortage of food.
If by any chance, after registering for a Pizza at the link above, you know you will not be able to attend the lunch, please cancel your registration asap.