A Theory of Experiment
Title: A Theory of Experiment
Abstract: This research aims to clarify the language and practice of scientific experimentation by connecting it to calculability, a well-established mathematical concept. The author argues that experimentation is a form of computing, where observability is hooked onto calculability. They propose a formal system that allows users to express their thoughts naturally while the system evaluates these expressions according to rules. This system can be used to model various aspects of experimentation, such as objects, relations, interactions, and user actions. The author defines recursivity and calculability, and introduces the concept of complexity, which depends on the formal system being used. They also mention that microprocessors are universal formal systems, capable of evaluating for any other system.
Main Research Question: How can experimentation be connected to calculability, a well-established mathematical concept, to create a more clear and precise language for scientific experimentation?
Methodology: The author uses a formal system, which is a set of rules and symbols used to represent and manipulate mathematical objects. This system allows for the evaluation of expressions given by the user, according to these rules. The author uses this system to model various aspects of experimentation.
Results: The author presents a formal system that can be used to model experimentation. They define recursivity and calculability, and introduce the concept of complexity, which depends on the formal system being used. They also mention that microprocessors are universal formal systems.
Implications: This research has implications for the field of scientific experimentation. By connecting experimentation to calculability, the author proposes a more precise and clear language for discussing experiments. This could lead to more accurate and reproducible experiments, as well as new ways of thinking about and modeling experimentation. Additionally, the concept of complexity, which depends on the formal system being used, could provide a new way to measure the complexity of experiments and compare different experimental methods.
Link to Article: https://arxiv.org/abs/0201022v2 Authors: arXiv ID: 0201022v2