Backus on IBM / Fortran

Much of my work has come from being lazy. I didn’t like writing programs, and so, when I was working on the IBM 701, writing programs for computing missile trajectories, I started work on a programming system to make it easier to write programs.

John Backus, 1979, Interview IBM Think Magazine

Origins of Graph Theory

Graph theory emerged in the 18th century, connecting geometry with fields like topology and set theory. Leonhard Euler formulated graph theory during his time in Königsberg, now Kalingrad. His seminal work began with the 1736 paper, “The Seven Bridges of Königsberg.”

Residents of Königsberg enjoyed crossing the city’s seven bridges in one outing – considered impossible, but not proven. Euler approached this challenge not by traditional geometry or algebra, but through an abstraction where cities and bridges became vertices and edges in a graph. This approach showed that a path crossing each bridge once was impossible if more than two vertices had an odd number of edges.

Euler’s insights created the foundation for graph theory, now used in various applications from computer algorithms for facial recognition to network and process design. Or perhaps a bit of frustration by myself in graduate school studying math in the physics department at Penn State. Crossing all the bridges became possible later on in Kalingrad due to war, as they were partly destroyed.

See

MSDOS 4 Source Code

Find myself going down the rabbit hole as MS posted their MSDOS assembly code on GITHUB. Initials JK appear through source code, which I’m not sure who it belongs to. My assembly programming is at best poor. It’s fun to read the commands like del.asm etc. DOS seemed to be behind the times in 1986, while groups at Bell labs etc. were ahead of the times with parallel or multi-thread programs.

Revisiting \(e\) History

\(e\), defined by the limit \(\lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n\) and approximating 2.71828, is characterized by its irrational and transcendental nature, indicating it cannot be depicted as a quotient of two integers nor as a solution to any non-trivial polynomial equation with rational coefficients.

John Napier, a Scottish mathematician and theologian, significantly contributed to the field of mathematics through his invention of logarithms, detailed in his seminal work “Mirifici Logarithmorum Canonis Descriptio,” (1614). This development facilitated the transformation of cumbersome multiplicative calculations into simpler additive operations. Napier’s logarithms laid the groundwork for the natural logarithm concept, where \(e\) emerged as the fundamental base that equates the value of the logarithm to unity.

One hundred years later, Jacob Bernoulli, Swiss, explored the concept of compound interest, leading to the discovery of \(e\)’s significance in financial mathematics. His investigations, as detailed in his posthumously published research “Ars Conjectandi,” (1713), demonstrated that continuous compounding yields a growth factor of \(e\), showing \(e\)’s utility in not only financial models but also in natural processes like population dynamics and radioactive decay.

References

  • Napier, John (1614), Mirifici Logarithmorum Canonis Descriptio.
  • Bernoulli, Jakob (1713), Ars conjectandi, opus posthumum. Accedit Tractatus de seriebus infinitis, et epistola gallicé scripta de ludo pilae reticularis.

Removal of Tenure at the University of Florida

A university cannot exist without academic freedom. Academic freedom is the core value under which American universities have operated for nearly the last century. It is outlined in multiple works, including the Chicago Principles and by the American Association of University Professors. Academic freedom is protected by the tenure system. Tenure, which was popularized in America, is the reason why the country today has so many excellent universities. Without tenure, a university is one in name only.

Less than two years ago, I wrote that I earned and was awarded tenure at University of Florida. See https://saemiller.com/2022/07/01/associate-professor-and-tenure/. When I came home last night, I realized that tenure no longer exists at University of Florida, due to the new policies being put in place by all administrators at the university.

Though I have tenure at the University of Florida, I believe it is in name only. It is a facade that covers an Iron Tower, that has transitioned from the Ivory Tower.

References:

Binary’s Origin

Binary numbers were originally used for encryption and communication, a fact recognized as early as the 17th century by Francis Bacon. Bacon used the binary system for encoding the alphabet using strings of binary characters. This laid the framework for subsequent developments in coded communication, such as technologies like the telegraph (Samuel Morse), which relied on a binary tones of ‘dots’ and ‘dashes.’ Binary’s mathematical formulation was created by Gottfried Wilhelm Leibniz, who recognized the system’s elegance. Leibniz’s research created a formal basis for binary arithmetic, outlining methods for converting between binary, decimal, and other number systems.

References:

  • Bacon, F. (1605), “The Advancement of Learning.” Book VI. London: Henrie Tomes.
  • Leibniz, G.W. (1703), “Explication de l’Arithmétique Binaire.” Mémoires de l’Académie Royale des Sciences, pp. 85-89. Paris.

Earth Density and Cavendish, 1798

Newton knew that the force of gravity causes falling objects near the Earth’s surface (such as the famous apple) to accelerate toward the Earth at a rate of 9.8 m/s2. He also knew that the Moon accelerated toward the Earth at a rate of 0.00272 m/s2. If it was the same force that was acting in both instances, Newton had to come up with a plausible explanation for the fact that the acceleration of the Moon was so much less than that of the apple. What characteristic of the force of gravity caused the more distant Moon’s rate of acceleration to be a mere 1/3600th of the acceleration of the apple?

It seemed obvious that the force of gravity was weakened by distance. But what was the formula for determining it? An object near the Earth’s surface is approximately 60 times closer to the center of the Earth than the Moon is. It is roughly 6,350, km from the surface to the center of the Earth and the Moon orbits at a distance of 384,000, \text{km}$ from the Earth. The Moon experiences a force of gravity that is 1/3600 that of the apple. Newton realized that the force of gravity follows an inverse square law \(6,350 \times 60 \approx 384,000\)).

In 1798, by careful experiment, Henry Cavendish succeeded in making an accurate determination of G, the gravitational constant, as \(6.67 \times 10^{-11}\). This meant that the mass of the Earth could now be determined. A 1-kg mass at the Earth’s surface is approximately 6.3 Mm from the center of the Earth, and the force acting on it is approximately 10 N. So, by using these values into the gravity equation, we can find that the mass of the Earth is roughly \(6 \times 10^{24} , \text{kg}\).

See Cavendish, H., Experiments to Determine the Density of the Earth. Philosophical Transactions of the Royal Society of London, 1798.

Rodi and Algebraic Stress Models

Rodi examined nonlinear algebraic stress models by approximating the convective transport terms of the Reynolds stress tensor and normalizing Reynolds stress with turbulent kinetic energy, coupled with a transport equation for turbulent kinetic energy. This approach simplifies the Reynolds stress transport terms, resulting in an algebraic equation essential for determining the Reynolds stress tensor. This led to the development of algebraic stress models, where Reynolds stress is normalized by turbulent kinetic energy and includes a production and dissipation term. This introduces a nonlinear relationship with the dissipation tensor and pressure strain correlation tensor. These models, referred to as algebraic stress models in turbulence literature, have been further developed, showing their capability in predicting secondary flow effects in ducts and other applications. However, nonlinear equation solvers cause numerical issues in implementation in CFD codes.