Editing
A Theory of Experiment
Jump to navigation
Jump to search
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
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 [[Category:Computer Science]] [[Category:System]] [[Category:Experimentation]] [[Category:Formal]] [[Category:This]] [[Category:Calculability]]
Summary:
Please note that all contributions to Simple Sci Wiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
Simple Sci Wiki:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Page
Discussion
English
Views
Read
Edit
Edit source
View history
More
Search
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Tools
What links here
Related changes
Special pages
Page information