Computability of physical operations

DOI10.1007/BF00672050MaRDI QIDQ1103616zbMATH OpenFDO

Authors Andrzej Posiewnik

Publication date 1988

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00672050

zbMATH Keywords

experimental physical setupgeneral recursive functionnumber-theoretic function

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Review text

It is shown (for a very simplified model) that a number-theoretic function representing an experimental physical setup is general recursive.

Recommendations

• Computation in a general physical setting
• Computability in analysis and physics
• scientific article; zbMATH DE number 42077
• Physical computability theses
• Physical computation. A mechanistic account
• Physical computation and first-order logic
• scientific article; zbMATH DE number 1406123
• Computation, hypercomputation, and physical science
• scientific article; zbMATH DE number 3898247

Cited in

(2)

• Bibliography on quantum logics and related structures
• Introduction to the special issue: Computability of the physical

This page was built for publication: Computability of physical operations

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