|
ax:meas-si
|
axiom |
ch:02-measurement-si-error@sec-the-international-system-of-units |
ax:meas-si |
True |
SI |
SI |
2.2 |
11 |
parts/01-foundations/02-measurement-si-error.tex |
26 |
/chapter/01-foundations/02-measurement-si-error#lbl-ax-meas-si |
|
cor:meas-relative
|
corollary |
ch:02-measurement-si-error@sec-propagation-of-uncertainty |
cor:meas-relative |
True |
Quotients and powers |
Quotients and powers |
2.9 |
13 |
parts/01-foundations/02-measurement-si-error.tex |
197 |
/chapter/01-foundations/02-measurement-si-error#lbl-cor-meas-relative |
|
def:epis-law-theory
|
definition |
ch:01-epistemology@sec-primitive-notions |
def:epis-law-theory |
True |
Law and theory |
Law and theory |
1.7 |
8 |
parts/01-foundations/01-epistemology.tex |
388 |
/chapter/01-foundations/01-epistemology#lbl-def-epis-law-theory |
|
def:epis-particle-field
|
definition |
ch:01-epistemology@sec-primitive-notions |
def:epis-particle-field |
True |
Particle and field |
Particle and field |
1.6 |
8 |
parts/01-foundations/01-epistemology.tex |
380 |
/chapter/01-foundations/01-epistemology#lbl-def-epis-particle-field |
|
def:epis-space-time
|
definition |
ch:01-epistemology@sec-primitive-notions |
def:epis-space-time |
True |
Space and time |
Space and time |
1.5 |
8 |
parts/01-foundations/01-epistemology.tex |
371 |
/chapter/01-foundations/01-epistemology#lbl-def-epis-space-time |
|
def:epis-state
|
definition |
ch:01-epistemology@sec-primitive-notions |
def:epis-state |
True |
State |
State |
1.4 |
8 |
parts/01-foundations/01-epistemology.tex |
362 |
/chapter/01-foundations/01-epistemology#lbl-def-epis-state |
|
def:epis-system
|
definition |
ch:01-epistemology@sec-primitive-notions |
def:epis-system |
True |
System |
System |
1.3 |
8 |
parts/01-foundations/01-epistemology.tex |
355 |
/chapter/01-foundations/01-epistemology#lbl-def-epis-system |
|
def:meas-error-types
|
definition |
ch:02-measurement-si-error@sec-the-theory-of-errors |
def:meas-error-types |
True |
Random and systematic errors |
Random and systematic errors |
2.5 |
12 |
parts/01-foundations/02-measurement-si-error.tex |
97 |
/chapter/01-foundations/02-measurement-si-error#lbl-def-meas-error-types |
|
def:meas-quantity
|
definition |
ch:02-measurement-si-error@sec-measurement |
def:meas-quantity |
True |
Physical quantity |
Physical quantity |
2.1 |
11 |
parts/01-foundations/02-measurement-si-error.tex |
16 |
/chapter/01-foundations/02-measurement-si-error#lbl-def-meas-quantity |
|
def:meas-sample
|
definition |
ch:02-measurement-si-error@sec-repeated-measurements |
def:meas-sample |
True |
Sample mean and variance |
Sample mean and variance |
2.6 |
12 |
parts/01-foundations/02-measurement-si-error.tex |
115 |
/chapter/01-foundations/02-measurement-si-error#lbl-def-meas-sample |
|
ex:meas-pendulum-dimensional
|
example |
ch:02-measurement-si-error@sec-dimensional-analysis |
ex:meas-pendulum-dimensional |
True |
|
|
2.4 |
12 |
parts/01-foundations/02-measurement-si-error.tex |
83 |
/chapter/01-foundations/02-measurement-si-error#lbl-ex-meas-pendulum-dimensional |
|
prop:B-planck-units
|
proposition |
app:B-constants-units@sec-planck-units |
prop:B-planck-units |
True |
Planck units |
Planck units |
B.1 |
3194 |
appendices/B-constants-units.tex |
212 |
/chapter/appendices/B-constants-units#lbl-prop-B-planck-units |
|
rem:E-alpha-tension
|
remark |
app:E-dimensionless@sec-the-couplings |
rem:E-alpha-tension |
True |
The last digits are less settled than they look |
The last digits are less settled than they look |
D.6 |
3218 |
appendices/E-dimensionless-constants.tex |
244 |
/chapter/appendices/E-dimensionless-constants#lbl-rem-E-alpha-tension |
|
rem:E-convention
|
remark |
app:E-dimensionless@sec-why-only-dimensionless-numbers-carry-content |
rem:E-convention |
True |
Convention and content |
Convention and content |
D.1 |
3215 |
appendices/E-dimensionless-constants.tex |
32 |
/chapter/appendices/E-dimensionless-constants#lbl-rem-E-convention |
|
rem:app-lf-back
|
remark |
app:A-long-proofs@sec-proof-of-the-theorem-6 |
rem:app-lf-back |
True |
|
|
A.191 |
2884 |
appendices/A-long-proofs.tex |
9778 |
/chapter/appendices/A-long-proofs#lbl-rem-app-lf-back |
|
rem:epis-analytic-methodological
|
remark |
ch:01-epistemology@sec-how-the-choice-shows-on-the-page |
rem:epis-analytic-methodological |
True |
|
|
1.1 |
7 |
parts/01-foundations/01-epistemology.tex |
296 |
/chapter/01-foundations/01-epistemology#lbl-rem-epis-analytic-methodological |
|
rem:epis-knowledge-graph
|
remark |
ch:01-epistemology@sec-how-this-treatise-is-organized |
rem:epis-knowledge-graph |
True |
The logical structure is itself a checked object |
The logical structure is itself a checked object |
1.8 |
9 |
parts/01-foundations/01-epistemology.tex |
411 |
/chapter/01-foundations/01-epistemology#lbl-rem-epis-knowledge-graph |
|
rem:epis-no-final-truth
|
remark |
ch:01-epistemology@sec-the-scientific-method-as-used-in-this-treatise |
rem:epis-no-final-truth |
True |
|
|
1.2 |
8 |
parts/01-foundations/01-epistemology.tex |
340 |
/chapter/01-foundations/01-epistemology#lbl-rem-epis-no-final-truth |
|
thm:meas-buckingham
|
theorem |
ch:02-measurement-si-error@sec-dimensional-analysis |
thm:meas-buckingham |
True |
Buckingham $\pi$ theorem |
Buckingham π theorem |
2.3 |
12 |
parts/01-foundations/02-measurement-si-error.tex |
59 |
/chapter/01-foundations/02-measurement-si-error#lbl-thm-meas-buckingham |
|
thm:meas-least-squares
|
theorem |
ch:02-measurement-si-error@sec-combining-and-fitting-data |
thm:meas-least-squares |
True |
Least-squares line |
Least-squares line |
2.11 |
14 |
parts/01-foundations/02-measurement-si-error.tex |
232 |
/chapter/01-foundations/02-measurement-si-error#lbl-thm-meas-least-squares |
|
thm:meas-mean
|
theorem |
ch:02-measurement-si-error@sec-repeated-measurements |
thm:meas-mean |
True |
The mean improves as $1/\sqrt{N}$ |
The mean improves as 1/\sqrtN |
2.7 |
12 |
parts/01-foundations/02-measurement-si-error.tex |
122 |
/chapter/01-foundations/02-measurement-si-error#lbl-thm-meas-mean |
|
thm:meas-propagation
|
theorem |
ch:02-measurement-si-error@sec-propagation-of-uncertainty |
thm:meas-propagation |
True |
First-order propagation |
First-order propagation |
2.8 |
13 |
parts/01-foundations/02-measurement-si-error.tex |
175 |
/chapter/01-foundations/02-measurement-si-error#lbl-thm-meas-propagation |
|
thm:meas-weighted-mean
|
theorem |
ch:02-measurement-si-error@sec-combining-and-fitting-data |
thm:meas-weighted-mean |
True |
Weighted mean |
Weighted mean |
2.10 |
14 |
parts/01-foundations/02-measurement-si-error.tex |
211 |
/chapter/01-foundations/02-measurement-si-error#lbl-thm-meas-weighted-mean |