Computability of physical operations
It is shown (for a very simplified model) that a number-theoretic function representing an experimental physical setup is general recursive.
scientific article; zbMATH DE number 4053592