Physics Derivation Graph
Objective for this project: Write down all known mathematical physics in a way that can be both read by humans and checked by a computer algebra system.
Example: A simple example is the relation between period, T, and linear frequency, f. The mathematical expression of the relation is T=1/f. To express frequency as a function of period, multiply both sides of the expression by f to get a new expression, T*f=1. Finally, divide both sides of the second expression by T to yield the third expression, f=1/T.
In this example, there are three expressions. Each expression is defined by a left-hand side, a relation operator (here "="), and a right-hand side. Two instances of the Equivalence relation relate the three expressions. These relations between expressions are called inference rules. The generic form of the first inference rule used in the example is "multiply both sides of an expression by a quantity to yield a new expression." Similarly, the second inference rule is generically, "divide both sides of an expression by a quantity to yield a new expression."
Motivation: Mathematical Physics uses the tools of math applied to measurements of our environment. I claim Physics is a unique field in that all existing knowledge can be recorded. Another aspect that is unique is that the result can be checked for correctness by a computer algebra system. A third unique facet to Physics is that claims can be tested by experiment.
Jargon specific to this project
A derivation is a sequence of steps. Each step in a derivation involves an "inference rule." An inference rule relates one or more "expressions." An inference rule may require one or more "feed" values. An expression is, by default, composed of (LHS, relation operator, RHS). Expression operators include both equations (the relation operator is equality) and inequalities (the relation operator is an inequality).
"Inference rules", "expressions", and "feeds" are words specific to the Physics Derivation Graph. Represented graphically,
Read this directed graph as, "The inference rule acts on the input expression and, combined with the feed, produces the output expression." Inference rules can be considered as functions; the above picture would be
inference_rule(input_expression, feed) yields output_expression
Disclaimers regarding scope of the project
No new research in math or physics is needed to validate these claims. This project documents the relations between derivations used to describe physical experiments.
There are no new algorithms. The Physics Derivation Graph is about documenting existing knowledge.
Derivations used in Physics are mathematical expressions linked by a finite set of inference rules. From this observation, a few claims can be made.
The Physics Derivation Graph does not include geometric arguments
The Physics Derivation Graph does not include textual explanations about why algebraic manipulations are being carried out.
The Physics Derivation Graph is similar to a Schuam's outline, except it covers all known Physics and documents the relations between various governing expressions.
There are no automatic mechanisms for generating new content.
The Physics Derivation Graph does include boundary conditions and initial conditions.