Table of Contents
1. Axioms
2. Definitions
- Description list
Is this description list?
3. Propositions
4. Proofs
5. Questions
6. Drafts
6.1. Missing type system in physics
- We must have strings as a data type in physics.
- For a discipline pretending to be a “mathematical! science!” physics does not even have a rigorous data typing system.
- This places physics, in the hierarchy of sciences, below computer science.
- In computer programming, you have numbers and strings, among other data types.
- I propose to introduce “string data type” to physics.
- If a term cancels out of an equation, it is either a placeholder or a label; it cannot be a quantity relevant to that equation.
- Such terms must be indicated as strings and enclosed in double quotation marks.
- So, we should write that famous double definition written as \(F=ma\), as, \enquote{F} = \enquote{m} \(a\).
- Because the only non-cancelling physical quantity in \(F=ma\) is acceleration, \(a\), which is
- So \(F = ma\) merely declares “acceleration” and “force” to be synonymes.
- By writing \enquote{F} and \enquote{m} as strings in double quotation marks we make clear that they are placeholders and not real physical quantites..
- Next, we should make illegal to load the equation sign with for meanings: definition, equality, identity, and proportionality.
- No science can have a notation as fundametal as the equation sign to be a loaded sign. A loaded sign belongs to casuistry not to science.
- But no physicist will ever obey these rules and give up his freedom to practice casuistry.
6.2. Ratios and Proportions in Newton (Densmore)
p.xlvii
- A general problem with using ewuations is that they assume dhe definition of standard units for all variables, and this assumption presupposes the whole structure of mathematical physics that Newton was beginning to develop.
- In othor words, it's anachronistic.
- We must always bear in mind, as we study this book, that there were no such things as "grams" or "newtons" that could be plugged into equations.
- The ideas of force, mass, and so on, were defined in terms of ratios, and their relationships were explored and developed in the course of the book.
- To treat them as magnitudes given in themselves is to obscure the way these ideas grew out of Newton's work.