Workshop on

Quantum Mechanics: Axiomatics of Measurements and connections with Computing and Information Retrieval

Computation and Physical Laws

aula 109 - Giovedì 6 Aprile - ore 17.00
  FEDERICO LAUDISA, Milano Bicocca

Federico Laudisa (1965) is associate professor of logic and philosophy of science at the University of Milan-Bicocca. He published several papers on philosophy and foundations of physics in such journals as Philosophy of Science, British Journal for the Philosophy of Science, Studies in History and Philosophy of Modern Physics, Foundations of Physics, International Journal of Theoretical Physics. His research interests include philosophy and foundations of quantum mechanics, logic and computability.

Federico Laudisa

The talk focuses on the role that physical laws are supposed to play in the characterization of a general theoretical framework for computation. In this perspective, I will discuss in the first part the question of the abstract-or-empirical basis of the original Turing theory of computability, whereas in the second part I will discuss the significance of a 'computational-informational' view of physical laws, starting from some suggestions put forward by David Deutsch in his 1985 seminal paper on quantum Turing machines.