“Fog Everywhere” Continued

[read the previous essay on this topic]

Consider mathematics and the aspect of fog. Nietzsche argued that the world is not knowable to us as a whole. This includes trying to express it with numbers. A recent example is Max Tegmark’s assertion that the universe is not something explained by mathematics; rather, it is itself mathematics. To contrast, Karl Jaspers, summarizing Nietzsche, wrote:

We cannot say what the world as a whole is. It is false to change all processes into a familiar world of our own, and then say: “All is will (everything wills); all is pleasure or pain (everything endures); all is motion (everything flows); all is tone (everything sounds); all is spirit (everything thinks); all is number (everything reckons).” Nietzsche warns us against all notions of the whole: “Let us guard against thinking that the world is a living being…or that the universe is a machine…Let us guard against saying that there are laws of nature…Let us guard against thinking that the world eternally creates novelties.” All these “shadows of God” darken actuality. We are within the world, and the whole of the world is, as a whole, not accessible to us.

Karl Jaspers, Nietzsche: An Introduction to the Understanding of His Philosophical Activity, Henry Regnery Company, 1966, p. 293

Notice in the paragraph quoted above that Nietzsche specifically excludes reducing everything to numbers, in opposition to Tegmark and the simulation hypothesis.

Robert Kanigel describes Srinivasa Ramanujan as “the man who knew infinity” in his biography of the same title, but mathematicians disagree on the ontological status and utility of infinity. The discussion of applying Ramanujan’s sum to arrive at -1/12 is very intricate and complex.

To make things even more puzzling, math students are confronted with the Gaussian integral, with its positive and negative infinities.

You can gain additional insight into infinity with:

Cauchy and Weierstrass had eliminated infinitely small and infinitely great numbers from analysis and replaced them by limits. But the theory of limits that thereby became so central required a clearer theory of the real line, that is to say, a theory of the irrational numbers. And that theory promptly reintroduced the infinite into analysis. The old infinity of infinitesimal and infinite numbers was simply replaced by the new infinity of infinitely large collections.12

In 1831 Carl Friedrich Gauss said [Kli72, p. 994], “I protest against the use of an infinite quantity as an actual entity; this is never allowed in mathematics. The infinite is only a manner of speaking, in which one properly speaks of limits to which certain ratios can come as near as desired, while others are permitted to increase without bound.” But only 52 years later, we find this in Cantor’s Grundlagen [Can76, p. 75]: “The idea of considering the infinitely large not only in the form of the unlimitedly increasing magnitude and in the closely related form of convergent infinite series…but to also fix it mathematically by numbers in the definite form of the completed infinite was logically forced upon me, almost against my will since it was contrary to traditions which I had come to cherish in the course of many years of scientific effort and investigations.”

12 See Russell’s Principles of Mathematics [Rus03, p. 304] for a related sentiment.

Shaughan Lavine, Understanding the Infinite, Harvard University Press, 1994, pgs. 38-39

In 1961, the great Russian physicist George Gamow’s popular math and physics overview was republished to great acclaim among science and math aficionados. Intriguingly titled One, Two, Three…Infinity, the book gives you a hint that the relationship of numbers and integers to the concept of infinity is still intriguing even after the intricate analyses of Cauchy, Weierstrass et al.

Let us conclude by considering Zeno’s dichotomy paradox of motion, in which “That which is in locomotion must arrive at the half-way stage before it arrives at the goal.” As the goal is divided into halves, one must complete an infinite number of tasks, which Zeno maintains is an impossibility.

[read the previous essay on this topic]

Education and “Intuition Pumps”

Professor Daniel Dennett of Tufts uses the word “intuition pumps” in discussing intuitive understanding and its tweaking.

Let’s do a simple example, avoiding as always “rocket science,” where the intricacies weigh you down in advance. We make a U-turn and go back by choice to elementary notions and examples.

Think of the basic statistics curve. It’s called the Bell Curve, the Gaussian, the Normal Curve.

The first name is sort of intuitive based on appearance unless of course it’s shifted or squeezed and then it’s less obvious. The second name must be based on either the discoverer or the “name-giver” or both, if the same person. The third is a bit vague.

Already one’s intuitions and hunches are not fool-proof.

The formula for the Bell Curve is:

\begin{equation} y = \frac{1}{\sqrt{2\pi}}e^{\frac{-x^2}{2}} \end{equation}

We immediately see the two key constants: π (pi) and e. These are: 22/7 and 2.71823 (base of natural logs).

The first captures something about circularity, the second continuous growth as in continuous compounding of interest.

You would not necessarily anticipate seeing these two “irrational numbers” (they “go on” forever) in a statistics graph. Does that mean your intuition is poor or untutored or does it mean that “mathworld” is surprising?

It’s far from obvious.

For openers, why should π (pi) be everywhere in math and physics?

Remember Euler’s identity: e + 1 = 0

That the two key integers (1 and 0) should relate to π (pi), e, and i (-1) is completely unexpected and exotic.

Our relationship to “mathworld” is quite enigmatic and this raises the question whether Professor Max Tegmark of MIT who proposes to explain “ultimate reality” through the “math fabric” of all reality might be combining undoubted brilliance with quixotism. We don’t know.

Education and Finality Claims

Stephen Hawking kept saying he wanted to discover the ultimate world-equation. This would be the final “triumph of the rational human mind.”

This would presumably imply that if one had such a world-equation, one could infer or deduce all the formalisms in a university physics book with its thousand pages of equations, puzzles and conundrums, footnotes and names and dates.

While hypothetically imaginable, this seems very unlikely because too many phenomena are included, too many topics, too many rules and laws.

There’s another deep problem with such Hawking-type “final equation” quests. Think of the fact that a Henri Poincaré (died in 1912) suddenly appears and writes hundreds of excellent science papers. Think of Paul Erdős (died in 1996) and his hundreds of number theory papers. Since the appearance of such geniuses and powerhouses is not knowable in advance, the production of new knowledge is unpredictable and would “overwhelm” any move towards some world-equation which was formulated without the new knowledge since it was not known at the time that the world-equation was formalized.

Furthermore, if the universe is mathematical as MIT’s Professor Max Tegmark claims, then a Hawking-type “world-equation” would cover all mathematics without which parts of Tegmark’s universe would be “unaccounted for.”

In other words, history and the historical experience, cast doubt on the Stephen Hawking “finality” project. It’s not just that parts of physics don’t fit together. (General relativity and quantum mechanics, gravity and the other three fundamental forces.) Finality would also imply that there would be no new Stephen Hawking who would refute the world-equation as it stands at a certain point in time. In other words, if you choose, as scientists like Freeman Dyson claim that the universe is a “vast evolutionary” process, then the mathematical thinking about it is also evolving or co-evolving and there’s no end.

There are no final works in poetry, novels, jokes, language, movies or songs and there’s perhaps also no end to science.

Thus a Hawking-type quest for the final world-equation seems enchanting but quixotic.

Science and Its Limits

The outstanding physics theoretician Max Tegmark of MIT tells the story of how Ernest Rutherford’s 1933 prediction about atomic energy (i.e., that is was “moonshine”)—was refuted before 24 hours had passed when Szilard (the Hungarian genius) realized that a nuclear chain reaction could be set in motion getting around Rutherford’s pessimistic prediction of only a few hours before:

“In London, where Southampton Row passes Russell Square, across from the British Museum in Bloomsbury, Leo Szilard waited irritably one gray Depression morning for the stoplight to change. A trace of rain had fallen during the night; Tuesday, September 12, 1933, dawned cool, humid and dull. Drizzling rain would begin again in early afternoon. When Szilard told the story later he never mentioned his destination that morning. He may have had none; he often walked to think. In any case another destination intervened. The stoplight changed to green. Szilard stepped off the curb. As he crossed the street time cracked open before him and he saw a way to the future, death into the world and all our woes, the shape of things to come…”

(Richard Rhodes, The Making of the Atomic Bomb)

This Tegmark/Szilard “refutation” of Rutherford in our times reminds one of MIT’s AI pioneer, Prof. Marvin Minsky’s limitless and perhaps too rosy predictions for AI and human intelligence in the sixties and seventies.

A student pursuing education has to live with the paradox and puzzle that unpredicted surprises and leaps do occur in the world of science and they are astonishing. It is true at the same time, that the realm of science (i.e., “how” questions) cannot address “why” questions. The question “how was I born?” cannot replace “why was I born?”

Both of these questions have possible answers at various levels and are subject to hierarchies.

Steven Jay Gould, the late Harvard biologist, had a felicitous phrase, “separate magisteria” (i.e., separate realms or domains) to describe this gap between the pursuit of personal meaning (human quest) and the pursuit of (tentative) accuracy (scientific quest).