It is shown (for a very simplified model) that a number-theoretic function representing an experimental physical setup is general recursive.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
Daniel, W. (1982).Helvetica Physica Acta 55, 330.
Feynman, R. P. (1982).Journal of Theoretical Physics 21, 467.
Gisin, N. (1983).Journal of Mathematical Physics 24, 1779.
Hardegree, G. M. (1979). The Conditional in Abstract and Concrete Quantum Logic, inThe Logico-Algebraic Approach to Quantum Mechanics, Vol. III, C. A. Hooker, ed., D. Reidel, Dordrecht.
Kreisel, G. (1976). A notion of mechanistic theory, inLogic and Probability in Quantum Mechanics, P. Suppes, ed., D. Reidel, Boston.
Primas, H. (1972). Problems of the interpretation of Quantum Mechanics of large molecular systems V-A, Lecture Notes, ETH, Winter 1971/72.
Przełcecki, M. (1969).The Logic of Empirical Theories, Routlege and Kegan, London.
Webb, J. C. (1983). Gödel's theorems and Church's thesis: A prologue to mechanism, inLanguage, Logic and Method, R. S. Cohen and M. W. Wartofsky, eds., D. Reidel, Dordrecht.
About this article
Cite this article
Posiewnik, A. Computability of physical operations. Int J Theor Phys 27, 83–88 (1988). https://doi.org/10.1007/BF00672050
- Field Theory
- Elementary Particle
- Quantum Field Theory
- Physical Setup
- General Recursive