Semantics of computable physical models

DOI10.1007/S11225-023-10040-XMaRDI QIDQ6057623zbMATH OpenOpenAlexFDO

Authors Matthew P. Szudzik

Publication date 26 October 2023

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2004.01510

zbMATH Keywords

complete basic neighborhood modelcomputable physical modelcomputable universe hypothesisnonnegative integer physical languagenonnegative integer physical modelsemantic approachsemantic view

Mathematics Subject Classification ID

Logic in the philosophy of science (03A10) Computable structure theory, computable model theory (03C57) Applications of model theory (03C98) Computation over the reals, computable analysis (03D78)

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.

Cites work

• A mathematical introduction to logic.
• A Modern Introduction to Probability and Statistics
• Church’s thesis and its relation to the concept of realizability in biology and physics
• Computability in analysis and physics
• CONFIDENCE INTERVALS FOR A PROPORTION
• Elementary computable topology
• scientific article; zbMATH DE number 3131080 (Why is no real title available?)
• scientific article; zbMATH DE number 3136643 (Why is no real title available?)
• scientific article; zbMATH DE number 3728250 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 3508608 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• Integer Arithmetic Algorithms for Polynomial Real Zero Determination
• Is Turing's thesis the consequence of a more general physical principle?
• IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
• Models and theories I: The semantic view revisited
• On the definitions of computable real continuous functions
• The computable universe hypothesis
• The wave equation with computable initial data such that its unique solution is not computable
• Two Notes on Notation

Cited in

(1)

• A physical model for the satisfiability problem

This page was built for publication: Semantics of computable physical models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6057623)