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>VITAE:
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.
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.
