Semantics of computable physical models

DOI10.1007/s11225-023-10040-xarXiv2004.01510OpenAlexW3014809871MaRDI QIDQ6057623

Matthew P. Szudzik

Publication date: 26 October 2023

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

semantic viewsemantic approachcomplete basic neighborhood modelcomputable physical modelcomputable universe hypothesisnonnegative integer physical languagenonnegative integer physical model

Mathematics Subject Classification ID

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

Cites Work

• The wave equation with computable initial data such that its unique solution is not computable
• Models and theories I: The semantic view revisited
• Is Turing’s Thesis the Consequence of a More General Physical Principle?
• Two Notes on Notation
• IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
• CONFIDENCE INTERVALS FOR A PROPORTION
• On the definitions of computable real continuous functions
• The Computable Universe Hypothesis
• Computability in Analysis and Physics
• A Modern Introduction to Probability and Statistics
• Integer Arithmetic Algorithms for Polynomial Real Zero Determination
• Church’s thesis and its relation to the concept of realizability in biology and physics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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