Abstract
This article reformulates the theory of computable physical models, previously introduced by the author, as a branch of applied model theory in first-order logic. It provides a semantic approach to the philosophy of science that incorporates aspects of operationalism and Popper’s degrees of falsifiability.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Auslander, M., and D. Buchsbaum, Groups, Rings, Modules. Harper & Row, New York, 1974.
Barwise, J., An introduction to first-order logic, in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 5–46. https://doi.org/10.1016/S0049-237X(08)71097-8
Batson, A. P., and L. Riddiford, Proton-proton interactions at 650 MeV. Proceedings of the Royal Society of London Series A 237(1209):175–185, 1956. https://doi.org/10.1098/rspa.1956.0170
Bé, M.-M., P. Cassette, M. C. Lépy, M.-N. Amiot, K. Kossert, O. J., Nähle, O. Ott, C. Wanke, P. Dryak, G. Ratel, M. Sahagia, A. Luca, A. Antohe, L. Johansson, J. Keightley, and A. Pearce, Standardization, decay data measurements and evaluation of \({}^{64}{\rm Cu}\). Applied Radiation and Isotopes 70(9):1894–1899, 2012. https://doi.org/10.1016/j.apradiso.2012.02.056
Bowley, R., and M. Sánchez, Introductory Statistical Mechanics, 2nd edn., Oxford University Press, Oxford, 1999.
Casella, G., and R.L. Berger, Statistical Inference, 2nd edn., Duxbury, Pacific Grove, 2002.
Collins, G.E. Quantifier elimination for real closed fields by cylindrical algebraic decomposition, in H. Brakhage, (ed.), Automata Theory and Formal Languages 2nd GI Conference, vol. 33 of Lecture Notes in Computer Science, Springer, Berlin, 1975, pp. 134–183. https://doi.org/10.1007/3-540-07407-4_17
Comité Consultatif des Unités, The International System of Units (SI), 9th edn., Bureau International des Poids et Mesures, Sèvres, France, 2019.
Crow, E.L. Confidence intervals for a proportion, Biometrika 43(3–4):423–435, 1956. https://doi.org/10.1093/biomet/43.3-4.423
Dalla Chiara Scabia, M. L., and G. Toraldo di Francia, A logical analysis of physical theories, La Rivista del Nuovo Cimento 3(1):1–20, 1973. https://doi.org/10.1007/BF02788089
Davis, M. D., Computability and Unsolvability, McGraw-Hill, New York, 1958.
Davis, M. D., Sigal, R., and E. J. Weyuker, Computability, Complexity, and Languages, 2nd edn., Academic Press, San Diego, California, 1994. https://doi.org/10.1016/C2009-0-21176-7
de Broglie, L. A general survey of the scientific work of Albert Einstein, in P. A. Schilpp, (ed.), Albert Einstein: Philosopher-Scientist, translated by Forrest W. Williams, Library of Living Philosophers, Evanston, Illinois 1949, pp. 109–127.
Dekking, F. M. C., Kraaikamp, H. P. Lopuhaä, and L. E. Meester, A Modern Introduction to Probability and Statistics, Springer, London 2005. https://doi.org/10.1007/1-84628-168-7
Dugundji, J., Topology, Allyn and Bacon, Boston, 1966.
Enderton, H. B., A Mathematical Introduction to Logic, 2nd edn., Academic Press, San Diego, California, 2001. https://doi.org/10.1016/C2009-0-22107-6
Franklin, A., Shifting Standards: Experiments in Particle Physics in the Twentieth Century, University of Pittsburgh Press, Pittsburgh, Pennsylvania, 2013. https://doi.org/10.2307/j.ctv80c9p7
Gandy, R., Church’s thesis and principles for mechanisms, in J. Barwise, H. J. Keisler, K. Kunen, (eds.), The Kleene Symposium, vol. 101 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1980, pp. 123–148. https://doi.org/10.1016/S0049-237X(08)71257-6
Griffiths, D., Introduction to Elementary Particles, 2nd edn., Wiley-VCH, Weinheim, 2010.
Grzegorczyk, A., On the definitions of computable real continuous function, Fundamenta Mathematicae 44(1):61–71, 1957. https://doi.org/10.4064/fm-44-1-61-71
Heindel, L. E., Integer arithmetic algorithms for polynomial real zero determination, Journal of the Association for Computing Machinery 18(4):533–548, 1971. https://doi.org/10.1145/321662.321667
Hodges, W., Model Theory. Cambridge University Press, Cambridge, Great Britain, 1993. https://doi.org/10.1017/CBO9780511551574
Joint Committee for Guides in Metrology, Evaluation of measurement data—guide to the expression of uncertainty in measurement, JCGM 100:2008, Bureau International des Poids et Mesures 2008.
Knuth, D. E., Two notes on notation, The American Mathematical Monthly 99(5):403–422, 1992. https://doi.org/10.1080/00029890.1992.11995869
Liu, C., Models and theories I: The semantic view revisited, International Studies in the Philosophy of Science 11(2):147–164, 1997. https://doi.org/10.1080/02698599708573560
Lyons, L., Discovery or fluke: statistics in particle physics, Physics Today 65(7):45–51, 2012. https://doi.org/10.1063/PT.3.1642
McCarty, G., Topology: An Introduction with Application to Topological Groups, Dover Publications, Mineola, New York, 1988.
Perkins, D. H., Introduction to High Energy Physics, 4th edn., Cambridge University Press, Cambridge, United Kingdom, 2000. https://doi.org/10.1017/CBO9780511809040
Perrin, M. J., Brownian Movement and Molecular Reality, translated by F. Soddy, Taylor and Francis, London, 1910.
Popper, K. R., The Logic of Scientific Discovery, Basic Books, New York, 1959.
Pour-El, M. B., and J. I., Richards, The wave equation with computable initial data such that its unique solution is not computable, Advances in Mathematics 39(3), 215–239, 1981. https://doi.org/10.1016/0001-8708(81)90001-3
Pour-El, M. B., and J. I., Richards, Computability in Analysis and Physics, Cambridge University Press, Cambridge, United Kingdom, 2016. https://doi.org/10.1017/9781316717325
Rogers, H. Jr., Theory of Recursive Functions and Effective Computability, MIT Press, Cambridge, Massachusetts, 1987.
Rosen, R., Church’s thesis and its relation to the concept of realizability in biology and physics, Bulletin of Mathematical Biophysics 24(4):375–393, 1962. https://doi.org/10.1007/BF02477996
Rosen, R., Fundamentals of Measurement and Representation of Natural Systems, North-Holland, New York, 1978.
Szudzik, M. P., Is Turing’s thesis the consequence of a more general physical principle? in S.B. Cooper, A. Dawar and B. Lowe, (eds.), How the World Computes, vol. 7318 of Lecture Notes in Computer Science, Springer, Heidelberg, Germany, 2012, pp. 714–722 https://doi.org/10.1007/978-3-642-30870-3_72
Szudzik, M. P., The computable universe hypothesis, in H. Zenil, (ed.), A Computable Universe, World Scientific, Singapore, 2013, pp. 479–523. https://doi.org/10.1142/9789814374309_0025
Taylor, J. R., An Introduction to Error Analysis, 2nd edn., University Science Books, Sausalito, California, 1997.
Thornton, and J. B. Marion, Classical Dynamics of Particles and Systems, 5th edn., Thomson Learning, Belmont, California, 2004.
van Fraassen, B. C., The Scientific Image, Oxford University Press, Oxford, Great Britain 1980. https://doi.org/10.1093/0198244274.001.0001
Weihrauch, K., Computable Analysis, Springer, Berlin, 2000. https://doi.org/10.1007/978-3-642-56999-9
Weihrauch, K., and T. Grubba, Elementary computable topology, Journal of Universal Computer Science 15(6):1381–1422, 2009. https://doi.org/10.3217/jucs-015-06-1381
Weihrauch, K., and N. Zhong, Is wave propagation computable or can wave computers beat the Turing machine? Proceedings of the London Mathematical Society 85(2):312–332, 2002. https://doi.org/10.1112/S0024611502013643
Acknowledgements
We thank the anonymous reviewers for suggesting several improvements to this article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Francesco Paoli; Received January 5, 2022.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Szudzik, M.P. Semantics of Computable Physical Models. Stud Logica 111, 779–819 (2023). https://doi.org/10.1007/s11225-023-10040-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-023-10040-x
Keywords
- Complete basic neighborhood model
- Computable physical model
- Computable universe hypothesis
- Nonnegative integer physical language
- Nonnegative integer physical model
- Semantic approach
- Semantic view