| Acknowledgments |
|
xv | |
| Introduction |
|
1 | (20) |
|
|
|
3 | (18) |
|
1.1 Why Would I Have Valued This Book in High School? |
|
|
4 | (1) |
|
1.2 Who Else Would Value This Book? |
|
|
5 | (1) |
|
|
|
6 | (1) |
|
|
|
7 | (3) |
|
1.5 The Principle of Least Thought |
|
|
10 | (1) |
|
|
|
11 | (1) |
|
|
|
11 | (2) |
|
1.8 Mental Model of Muscle Contraction |
|
|
13 | (2) |
|
|
|
15 | (3) |
|
|
|
18 | (1) |
|
|
|
19 | (2) |
| Mathematics |
|
21 | (124) |
|
2 Ground & Foundation of Mathematics |
|
|
23 | (52) |
|
|
|
23 | (3) |
|
2.2 Ground: Discourse & Surface |
|
|
26 | (10) |
|
2.2.1 Symbol & Expression |
|
|
27 | (1) |
|
2.2.2 Substitution & Rearrangement |
|
|
28 | (2) |
|
2.2.3 Diagrams Rule by Diagram Rules |
|
|
30 | (1) |
|
|
|
30 | (6) |
|
2.3 Foundation: Category & Functor |
|
|
36 | (5) |
|
|
|
38 | (2) |
|
|
|
40 | (1) |
|
|
|
40 | (1) |
|
2.4 Examples of Categories & Functors |
|
|
41 | (28) |
|
|
|
41 | (2) |
|
|
|
43 | (7) |
|
2.4.3 Exponentiation of Sets |
|
|
50 | (1) |
|
|
|
51 | (2) |
|
|
|
53 | (1) |
|
|
|
54 | (2) |
|
2.4.7 Initialized Dynamic System |
|
|
56 | (3) |
|
|
|
59 | (1) |
|
|
|
60 | (1) |
|
|
|
61 | (2) |
|
|
|
63 | (1) |
|
|
|
63 | (1) |
|
|
|
64 | (1) |
|
|
|
65 | (1) |
|
2.4.15 Vector Space over a Field |
|
|
66 | (1) |
|
|
|
67 | (1) |
|
|
|
68 | (1) |
|
|
|
69 | (6) |
|
2.5.1 Magma Constructed from a Set |
|
|
70 | (1) |
|
2.5.2 Category Constructed from a Directed Graph |
|
|
71 | (3) |
|
2.5.3 Category Constructed from a Topological Space |
|
|
74 | (1) |
|
3 Calculus as an Algebra of Infinitesimals |
|
|
75 | (36) |
|
|
|
76 | (3) |
|
|
|
79 | (3) |
|
3.2.1 Computer Program Variable |
|
|
79 | (1) |
|
3.2.2 Mathematical Variable |
|
|
79 | (1) |
|
|
|
80 | (2) |
|
3.3 Right, Left & Two-Sided Limit |
|
|
82 | (1) |
|
|
|
83 | (1) |
|
3.5 Differentiable, Derivative & Differential |
|
|
83 | (5) |
|
|
|
86 | (2) |
|
3.6 Curve Sketching Reminder |
|
|
88 | (1) |
|
|
|
89 | (3) |
|
3.8 Algebraic Rules for Calculus |
|
|
92 | (7) |
|
|
|
92 | (1) |
|
|
|
92 | (1) |
|
|
|
92 | (1) |
|
|
|
92 | (1) |
|
3.8.5 Scalar Product Rule |
|
|
93 | (1) |
|
|
|
93 | (1) |
|
|
|
94 | (1) |
|
3.8.8 Change-of-Variable Rule |
|
|
94 | (1) |
|
|
|
94 | (1) |
|
|
|
94 | (1) |
|
3.8.11 Intermediate Value Rule |
|
|
94 | (1) |
|
|
|
95 | (1) |
|
|
|
95 | (1) |
|
|
|
95 | (2) |
|
|
|
97 | (2) |
|
|
|
99 | (1) |
|
3.9 Three Gaussian Integrals |
|
|
99 | (2) |
|
3.10 Three Differential Equations |
|
|
101 | (2) |
|
|
|
103 | (3) |
|
|
|
106 | (5) |
|
|
|
111 | (34) |
|
|
|
111 | (1) |
|
4.2 When is an Array a Matrix? |
|
|
112 | (1) |
|
|
|
113 | (11) |
|
|
|
114 | (1) |
|
|
|
114 | (1) |
|
4.3.3 Inclusion of Row Lists |
|
|
115 | (1) |
|
4.3.4 Projection of Row Lists |
|
|
115 | (1) |
|
|
|
115 | (2) |
|
4.3.6 Monoid Constructed from a Set |
|
|
117 | (2) |
|
4.3.7 Column List Algebra & Natural Transformation |
|
|
119 | (3) |
|
|
|
122 | (2) |
|
|
|
124 | (3) |
|
4.4.1 The Empty and Unit Tables |
|
|
124 | (1) |
|
4.4.2 The Set of All Tables |
|
|
124 | (1) |
|
4.4.3 Juxtaposition of Tables is a Table |
|
|
125 | (1) |
|
4.4.4 Outer Product of Two Lists is a Table |
|
|
126 | (1) |
|
|
|
127 | (20) |
|
4.5.1 Category of Vector Spaces & Vector Operators |
|
|
128 | (1) |
|
4.5.2 Vector Space Isomorphism |
|
|
129 | (4) |
|
|
|
133 | (1) |
|
4.5.4 Vector Operator Algebra |
|
|
134 | (1) |
|
|
|
135 | (2) |
|
4.5.6 Double Dual Vector Space |
|
|
137 | (1) |
|
4.5.7 The Unique Extension of a Vector Operator |
|
|
137 | (2) |
|
4.5.8 The Vector Space of Matrices |
|
|
139 | (1) |
|
4.5.9 The Matrix of a Vector Operator |
|
|
139 | (1) |
|
4.5.10 Operator Composition & Matrix Multiplication |
|
|
140 | (1) |
|
4.5.11 More on Vector Operators |
|
|
141 | (4) |
| Particle Mechanics |
|
145 | (28) |
|
|
|
147 | (26) |
|
5.1 Conservation of Energy & Newton's Second Law |
|
|
149 | (1) |
|
5.2 Lagrange's Equations & Newton's Second Law |
|
|
150 | (2) |
|
5.3 The Invariance of Lagrange's Equations |
|
|
152 | (3) |
|
|
|
155 | (5) |
|
|
|
160 | (2) |
|
5.6 A Theorem of George Stokes |
|
|
162 | (1) |
|
5.7 A Theorem on a Series of Impulsive Forces |
|
|
163 | (1) |
|
|
|
164 | (1) |
|
5.9 An Argument due to Albert Einstein |
|
|
165 | (2) |
|
5.10 An Argument due to Paul Langevin |
|
|
167 | (6) |
| Timing Machinery |
|
173 | (30) |
|
6 Introduction to Timing Machinery |
|
|
175 | (12) |
|
6.1 Blending Time & State Machine |
|
|
177 | (1) |
|
|
|
178 | (1) |
|
6.3 Timing Machine Variable |
|
|
179 | (1) |
|
6.4 The Robust Low-Pass Filter |
|
|
180 | (1) |
|
6.5 Frequency Multiplier & Differential Equation |
|
|
180 | (1) |
|
6.6 Probabilistic Timing Machine |
|
|
181 | (1) |
|
6.7 Chemical Reaction System Simulation |
|
|
182 | (1) |
|
|
|
183 | (4) |
|
7 Stochastic Timing Machinery |
|
|
187 | (16) |
|
|
|
187 | (5) |
|
7.1.1 Syntax for Drawing Models |
|
|
189 | (1) |
|
7.1.2 Semantics for Interpreting Models |
|
|
190 | (2) |
|
|
|
192 | (1) |
|
7.2.1 The Frequency Doubler of Brian Stromquist |
|
|
192 | (1) |
|
7.3 Zero-Order Chemical Reaction |
|
|
193 | (12) |
|
7.3.1 Newton's Second Law |
|
|
194 | (1) |
|
7.3.2 Gillespie Exact Stochastic Simulation |
|
|
195 | (1) |
|
7.3.3 Brownian Particle in a Force Field |
|
|
196 | (7) |
| Theory of Substances |
|
203 | (88) |
|
8 Algebraic Thermodynamics |
|
|
205 | (36) |
|
|
|
205 | (2) |
|
8.2 Chemical Element, Compound & Mixture |
|
|
207 | (2) |
|
|
|
209 | (15) |
|
|
|
224 | (1) |
|
8.5 Equilibrium & Equipotentiality |
|
|
225 | (4) |
|
|
|
229 | (5) |
|
|
|
234 | (4) |
|
8.8 Conduction & Resistance |
|
|
238 | (3) |
|
9 Clausius, Gibbs & Duhem |
|
|
241 | (6) |
|
|
|
241 | (3) |
|
|
|
244 | (3) |
|
10 Experiments & Measurements |
|
|
247 | (28) |
|
|
|
247 | (24) |
|
10.1.1 Boyle, Charles & Gay-Lussac Experiment |
|
|
247 | (4) |
|
10.1.2 Rutherford-Joule Friction Experiment |
|
|
251 | (1) |
|
10.1.3 Joule-Thomson Free Expansion of an Ideal Gas |
|
|
252 | (2) |
|
10.1.4 Iron-Lead Experiment |
|
|
254 | (4) |
|
10.1.5 Isothermal Expansion of an Ideal Gas |
|
|
258 | (2) |
|
10.1.6 Reaction at Constant Temperature & Volume |
|
|
260 | (1) |
|
10.1.7 Reaction at Constant Pressure & Temperature |
|
|
261 | (4) |
|
10.1.8 Theophile de Donder & Chemical Affinity |
|
|
265 | (3) |
|
|
|
268 | (3) |
|
|
|
271 | (4) |
|
10.2.1 Balance Measurements |
|
|
273 | (2) |
|
|
|
275 | (16) |
|
11.1 Chemical Reaction Extent, Completion & Realization |
|
|
279 | (2) |
|
11.2 Chemical Equilibrium |
|
|
281 | (4) |
|
11.3 Chemical Formations & Transformations |
|
|
285 | (1) |
|
11.4 Monoidal Category & Monoidal Functor |
|
|
286 | (3) |
|
11.5 Hess' Monoidal Functor |
|
|
289 | (2) |
| Muscle Contraction Research |
|
291 | (36) |
|
|
|
293 | (34) |
|
12.1 Muscle Contraction: Chronology |
|
|
293 | (32) |
|
|
|
293 | (1) |
|
|
|
293 | (1) |
|
|
|
294 | (2) |
|
|
|
296 | (3) |
|
|
|
299 | (2) |
|
|
|
301 | (3) |
|
|
|
304 | (1) |
|
|
|
305 | (6) |
|
|
|
311 | (14) |
|
|
|
325 | (2) |
| Appendices |
|
327 | (26) |
|
Appendix A Exponential & Logarithm Functions |
|
|
329 | (2) |
|
Appendix B Recursive Definition of Stochastic Timing Machinery |
|
|
331 | (4) |
|
B.1 Ordinary Differential Equation: Initial Value Problem |
|
|
331 | (1) |
|
B.2 Stochastic Differential Equation: A Langevin Equation without Inertia |
|
|
332 | (1) |
|
B.3 Gillespie Exact Stochastic Simulation: Chemical Master Equation |
|
|
333 | (1) |
|
B.4 Stochastic Timing Machine: Abstract Theory |
|
|
334 | (1) |
|
|
|
335 | (12) |
|
C.1 Stochastic Timing Machine Interpreter |
|
|
335 | (3) |
|
C.2 MATLAB for Stochastic Timing Machinery Simulations |
|
|
338 | (1) |
|
C.3 Brownian Particle in Force Field |
|
|
339 | (5) |
|
C.4 Figures. Simulating Brownian Particle in Force Field |
|
|
344 | (3) |
|
Appendix D Fundamental Theorem of Elastic Bodies |
|
|
347 | (6) |
| Bibliography |
|
353 | (10) |
| Index |
|
363 | |