Computability in quantum mechanics

Wayne C. Myrvold

pp. 33-46

in: Werner Depauli Schimanovich, Eckehart Köhler, Friedrich Stadler (eds), The foundational debate, Berlin, Springer, 1995

Abstract

In this paper, the issues of computability and constructivity in the mathematics of physics are discussed. The sorts of questions to be addressed are those which might be expressed, roughly, as: Are the mathematical foundations of our current theories unavoidably non-constructive: or, Are the laws of physics computable?