The second moment of area is a value which—given an origin—describes how point masses are distributed around that origin. (i.e. a number for how point masses are distributed). It is in units \(m^{4}\).

Take, for instance, the following picture:

We have defined an origin at \((0,0)\) of the figure above. Furthermore, we have some \(\rho_{i}\) which is the distance from that origin to each of the infinitesimal areas \(\dd{A}\).

Then, the second moment of area is defined as:

the trick

Here is a pretty ubiquitous trick to solve differential equations of the second order differential equations. It is used to change a second order differential equation to a First-Order Differential Equations.

If you have a differential equation of the shape:

\begin{equation} x^{’’} = f(x,x’) \end{equation}

that, the second derivative is strictly a function between the first derivative value and the current value.

We are going to define a notation \(x’ = v\), which makes sense.

• generate
• prune a lot
• sample the values of conjectures based on the closest “unsolved” parts

There is a Self-Printing Turing Machine

Q

There’s a computable function \(q: \Sigma^{*} \to \Sigma ^{*}\) such that for every string \(w\), the computation \(q(w)\) produces the description of a Turing machine \(P_{w}\) such that on every input, it spits out \(w\) and then accepts.

B

For some turing machine code \(m\) making TM \(M\), the computable function \(B\) composes \(P_{m}\) from above and \(M\) (that is, the composition of \(P_{m}\) and \(M\) first disregards it input, prints \(m\), and give it to \(M\)).