## Roadmap for Formal Mathematical Physics Content

 Explanation: Identify relevant words and Physics-specific keywords in each sentence. Optionally, link these keywords to ScienceWise database or Wikipedia entry. Here the keywords are visually indicated using labeled boxes. Who does this work: human content creator. A machine learning algorithm using natural language processing techniques (Named Entity Recognition tailored to a given domain) could potentially do this work. Motive for doing this work: linking words as concepts to provide clear definition of terms. Navigation: lecture video hand-written notes Latex document Content tags section document structure tagging words expression semantics tags for sections and words and expressions concepts to variables all steps derivation graph validation of steps replace symbols with numeric ID validation of dimension proof of inference rule Back to layers overview

Suppose an

tangible entity object
condition starts
an
location infinite distance
from a
tangible entity moon
and is
action dropped
,
action falling
direction towards
the
tangible entity moon
cause due to
measure gravitational acceleration.
What is the
measure speed
of the
tangible entity object
condition when
tangible entity it
is
measure distance
$$r$$ from the
tangible entity moon?
Figure 1: small mass falling towards a moon from initial position at infinity.

The

condition initial condition
is $$v(x=\infty) =0 \label{eq:initial_velocity}$$ The
measure force
acting on the
tangible entity object
is $$\vec{F} = \frac{-G m_1 m_2}{x^2} \hat{x} \label{eq:gravitational force}$$ The
measure work
is calculated using W = $$\Delta E$$ since the
measure force
changes. To find the cumulative
measure work
done on the
tangible entity object
, integrate over all positions between $$\infty$$ and $$r$$ $$W = \int_{\infty}^r \vec{F}\cdot d\vec{r} \label{eq:work as function of force}$$ Substituting the
measure gravitational force
into Eq. \ref{eq:work as function of force}, $$W = \int_{\infty}^r \frac{-G m_1 m_2}{x^2} dx$$ Factor out the constants, $$W = -G m_1 m_2\int_{\infty}^r \frac{1}{x^2} dx$$ which leads to $$W = \frac{G m_1 m_2}{r}$$ Another definition of
measure work
is that it is the change in
measure energy
for a system: $$W = \Delta E$$ Because the
measure initial velocity
was
value zero
, the
measure work
here is $$W = \Delta KE$$ Thus we can combine the two definitions of
measure work
to get $$W = \frac{1}{2} m_1 v^2 = \frac{G m_1 m_2}{r}$$ The $$m_1$$ cancels, leaving $$v(r) = \sqrt{\frac{2Gm_2}{r}}$$