## Archive for the ‘**Math**’ Category

## Useful password idea from xkcd

Full disclosure: I don’t like to remember dozens of different passwords — well, more like I can’t — so I use a password manager. I used to use LastPass, but they have had too many data breaches and have not been forthcoming about what all they lost, so I switched to 1Password, which I like a lot. LastPass was free but bad; 1Password is less than 75¢ a week (paid annually) and very good — plus they maintain it.

But with a password manager, you still need a master password — something long, so that it’s hard to break, but also easy to remember. For that, the idea above is excellent. A master password of (say) correct+horse+battery+staple or correct.horse.battery.staple or the like would work well and also be easy to remember.

## Emmy Noether and the conservation of momentum

Emmy Noether is a big name in mathematics (e.g., Noetherian rings), so that title of a post by Kevin Drum caught my eye. Drum writes:

Yesterday I asked why there’s no name for a unit of momentum. Today I have answers. Plus, if you read all the way to the end, I have a genuinely constructive suggestion.

First things first, in case you have no idea what I’m talking about. In the metric system—officially known as SI—there are three basic quantities: the meter, the kilogram, and the second.¹ Everything else is derived from those three. For example,

force = mass * acceleration, so:F = ma

a = distance / seconds²

Therefore, F = mass * distance / seconds²

One unit of force = 1 kg * 1 meter / 1 second²

This quantity is called a

newton, named after Isaac Newton. Lots of other things have names too: ohm, watt, lumen, joule, and so forth. Click here for a list.Momentum is a critically important quantity, equal to

mass * velocity. So why wasn’t it ever given a name? I did several minutes of research on this question, and the most authoritative sounding answer came from a commenter at Stack Exchange called Conifold. He or she explains that there were two waves of standardization and naming:The second wave, started in the 1860s and formalized by the 1880s in both SI and its competitor CGS, was meant to catch up with developments in thermodynamics and electromagnetism,

and gave us ohms, volts, farads, watts, etc.Kilograve was renamed into kilogram and became the unit of mass. The unit of force was named dyne in CGS (from Greek dynamis — force) and newton in SI.….The unit for power, watt, was suggested even before joule, by Siemens in 1882, to replace Watt’s own horsepower used to measure the output of steam engines. Siemens was an electric engineer. Joule himself was honored by a unit name for determining the mechanical equivalent of heat.

Momentum was out of luck.In other words, momentum has no name because no one ever bothered to give it one. However, another commenter, jkien, tells us that it

wasgiven a name in the CGS systemIn 1887 . . .

## Animating the Mercator projection to correct size and shape

Fascinating animation that takes countries enlarged by the Mercator projection and shrinks them down to their actual relative size. The lighter a country’s color, the more its size has been enlarged by the Mercator projection (so the more it shrinks in the animation to get down to its correct relative size).

## List of common misconceptions

Wikipedia has a listicle of common misconceptions.

- 1Arts and culture
- 2History
- 3Science, technology, and mathematics
- 4See also

## Can God Be Proved Mathematically?

Spoiler alert: You already know…

Manon Bischoff writes in *Scientific American*:

Who would have thought about God as an apt topic for an essay about mathematics? Don’t worry, the following discussion is still solidly grounded within an intelligible scientific framework. But the question of whether God can be proved mathematically is intriguing. In fact, over the centuries, several mathematicians have repeatedly tried to prove the existence of a divine being. They range from Blaise Pascal and René Descartes (in the 17th century) to Gottfried Wilhelm Leibniz (in the 18th century) to Kurt Gödel (in the 20th century), whose writings on the subject were published as recently as 1987. And probably the most amazing thing: in a preprint study first posted in 2013 an algorithmic proof wizard checked Gödel’s logical chain of reasoning—and found it to be undoubtedly correct. Has mathematics now finally disproved the claims of all atheists?

As you probably already suspect, it has not. Gödel was indeed able to prove that the existence of

something, which he defined as divine, necessarily follows from certain assumptions. But whether these assumptions are justified can be called into doubt. For example, if I assume that all cats are tricolored and know that tricolored cats are almost always female, then I can conclude: almost all cats are female. Even if the logical reasoning is correct, this of course does not hold. For the very assumption that all cats are tricolored is false. If one makes statements about observable things in our environment, such as cats, one can verify them by scientific investigations. But if it is about the proof of a divine existence, the matter becomes a little more complicated.While Leibniz, Descartes and Gödel relied on an ontological proof of God in which they deduced the existence of a divine being from the mere possibility of it by logical inference, Pascal (1623–1662) chose a slightly different approach: he analyzed the problem from the point of view of what might be considered today as game theory and developed the so-called Pascal’s wager.

To do this, he considered two possibilities. First, . . .

## The Biggest Project in Modern Mathematics

The video description:

In a 1967 letter to the number theorist André Weil, a 30-year-old mathematician named Robert Langlands outlined striking conjectures that predicted a correspondence between two objects from completely different fields of math. The Langlands program was born. Today, it’s one of the most ambitious mathematical feats ever attempted. Its symmetries imply deep, powerful and beautiful connections between the most important branches of mathematics. Many mathematicians agree that it has the potential to solve some of math’s most intractable problems, in time, becoming a kind of “grand unified theory of mathematics,” as the mathematician Edward Frenkel has described it. In a new video explainer, Rutgers University mathematician Alex Kontorovich takes us on a journey through the continents of mathematics to learn about the awe-inspiring symmetries at the heart of the Langlands program, including how Andrew Wiles solved Fermat’s Last Theorem.

## So where is the number designated by “1”?

The comic strip at the left ponders a well-worn question: Is the subject of mathematics real? or not? Or, to put it another way, are mathematical entities discovered? or invented?

My view is that mathematics has a kind of intermediate reality. The reality of mathematics, unlike, say, the reality of the Moon, is restricted to human culture. Within human culture, the number one is real, but if there were no humans, there would be no number one.

In other words, math is as real as a human language. Sounds exist within nature, and humans can make complex sounds, but *language* — those sounds together with their meaning — exists only insofar as there are people who understand the meaning of sounds. The meaning is not “out there” — where the sounds are, in the vibration of air — but “in here,” where the brain extracts the meaning conveyed.

The meaning clearly exists in a sense, and indeed has consequences “out there” in the “real” world — the Industrial Revolution and the consequences (such as the climate change we now are experiencing) wold not have occurred without language. But once all those who understand some language are gone, the language is no more. There may be carvings in rocks or marks on vellum, but the meaning of those is absent, so the incisions and marks no long longer are language but just physical things, bereft of the meaning they once conveyed.

(For that matter, sound is not “out there.” What’s “out there” are vibrations in the air. Sound is the way our brain interprets air vibrations that have been fed to it as electrical impulses from the motion of tiny hairs in the liquid contained in the cochleae of our ears. Until that transition is made, there is no sound, only air vibrations. Thus a tree falling in a remote forest with no animals nearby will produce air vibrations but not sounds, because there’s no one to translate air vibrations to brain signals.)

So a sheep on a hillside is not “one” sheep unless it is observed by a person who has learned the human idea (the meme) of counting, and only such a person might observe that there are “zero” horses and “zero” cows on the hillside.

Math, like language, like music, like fashion, and like religion, is a cultural construct, a set of memes. Math has the reality of memes (as does, say Don Quixote or unicorns) but it is “in here,” not “out there.” And even “in here” there are problems, as Kurt Gödel pointed out.

And yet, consider this poem by Clarence R. Wylie Jr.:

Paradox

Not truth, nor certainty. These I forswore

In my novitiate, as young men called

To holy orders must abjure the world.

‘If…,then…,’ this only I assert;

And my successes are but pretty chains

Linking twin doubts, for it is vain to ask

If what I postulate be justified,

Or what I prove possess the stamp of fact.

Yet bridges stand, and men no longer crawl

In two dimension. And such triumphs stem

In no small measure from the power this game,

Played with the thrice-attentuated shades

Of things, has over their originals.

How frail the wand, but how profound the spell!

## Can computer simulations help fix democracy by curtailing gerrymandering?

Harry Stevens has a good article (gift link, no paywall) in the *Washington Post* on a good approach to help even mathematically illiterate judges — that is, the great majority of judges — to understand when gerrymandering has been done. The article begins:

After the release of the 2020 Census, legislatures across the country redrew their states’ congressional district maps, just like they do every decade. And, just like every decade, aggrieved citizens sued them for gerrymandering — the process whereby politicians craft district boundaries to ensure their own parties’ victory.

But this time around, something has changed. A technological revolution, decades in the making, has added a sharp new arrow to those citizens’ quiver of legal arguments. Known as algorithmic redistricting, the technology has persuaded judges to throw out gerrymandered maps in several states, including New York and Ohio.

And it will be part of a case before the Supreme Court in October that could play a role in the 2024 election and the future of voting rights.Here is how it works. . .

Continue reading. (gift link, no paywall)

It’s a very good article, with interactive graphics to explain the approach clearly.

## Prediction of China’s 9/11: “China’s ENTIRE economy will crash by September 11, 2022”

That’s the prediction made in the video below: that China’s economy will collapse 34 days after August 7, 2022. Perhaps by coincidence, that date is 9/11/2022. I have marked my calendar. In the meantime, it’s an interesting report and worth watching.

## The mathematical power of 3 random words

Mary Lynn Reed, Professor of Mathematics, Rochester Institute of Technology, writes in *The Conversation*:

It’s hard to imagine that three random words have the power to both map the globe and keep your private data secure. The secret behind this power is just a little bit of math.

What3words is an app and web-based service that provides a geographic reference for every 3-meter-by-3-meter square on Earth using three random words. If your brain operates more naturally in the English measurement system, 3 meters is about 9.8 feet. So, you could think of them as roughly 10-foot-by-10-foot squares, which is about the size of a small home office or bedroom. For example, there’s a square in the middle of the Rochester Institute of Technology Tigers Turf Field coded to brilliance.bronze.inputs.

This new approach to geocoding is useful for several reasons. First, it’s more precise than regular street addresses. Also, three words are easier for humans to remember and communicate to one another than, say, detailed latitude and longitude measurements. This makes the system well suited for emergency services. Seeing these advantages, some car manufacturers are starting to integrate what3words into their navigation systems.

## Ordered triples

Here’s how three random words in English or any other language can identify such precise locations across the whole planet. The key concept is ordered triples.

Start with the basic assumption that the Earth is a sphere, recognizing that this is an approximate truth, and that its radius is approximately 3,959 miles (6,371 kilometers). To compute the surface area of the Earth, use the formula 4πr

^{2.}With r = 3,959 (6,371), this works out to approximately 197 million square miles (510 million square kilometers). Remember: What3words is using 3-meter-by-3-meter squares, each of which contains 9 square meters of surface area. So, working in the metric system, Earth’s surface area is equivalent to 510 trillion square meters. Dividing 9 into 510 trillion reveals that uniquely identifying each square requires around 57 trillion ordered triples of three random words.An ordered triple is just a list of three things in which the order matters. So “brilliance.bronze.inputs” would be considered a different ordered triple than “bronze.brilliance.inputs”. In fact, in the what3words system, bronze.brilliance.inputs is on a mountain in Alaska, not in the middle of the RIT Tigers Turf Field, like brilliance.bronze.inputs.

The next step is figuring out how many words there are in a language, and whether there are enough ordered triples to map the globe. Some scholars estimate there are more a million English words; however, many of them are very uncommon. But even using only common English words, there are still plenty to go around. You can find many word lists online.

The developers at what3words came up with a list of 40,000 English words. (The what3words system works in 50 different languages with independently assigned words.) The next question is determining how many ordered triples of three random words can be made from a list of 40,000 words. If you allow repeats, as what3words does, there would be 40,000 possibilities for the first word, 40,000 possibilities for the second word, and 40,000 possibilities for the third word. The number of possible ordered triples would then be 40,000 times 40,000 times 40,000, which is 64 trillion. That provides plenty of “three random word” triples to cover the globe. The excess combinations also allow what3words to eliminate offensive words and words that would be easily confused for one another.

## Passwords you can actually remember

While the power of three random words is being used to map the Earth, the U.K. National Cyber Security Centre (NCSC) is also advocating their use as passwords. Password selection and related security analysis are more complicated than attaching three words to small squares of the globe. But a similar calculation is illuminating. If you string together an ordered triple of words – such as brilliancebronzeinputs – you get a nice long password that a human should be able to remember far more easily than a random string of letters, numbers and special characters designed to meet a set of complexity rules.

If you increase your word list beyond 40,000, you’ll get . . .

## A Mirror of Nature

In *Introspection* Mike Edmunds has an interesting essay on implications of the Antikythera mechanism. The essay begins:

THE ANTIKYTHERA MECHANISM, an astronomical calculator found in a first-century BCE shipwreck, has proven to be mechanically more sophisticated than anything known from the subsequent millennium. While many are amazed at such a discovery, a more appropriate response would be admiration, for the mechanism fits well into its historic context. Indeed, the ancient scholar Cicero offered contemporary accounts of similar devices, which he saw as embodying the peak of human ingenuity.

^{1}But the significance of the Antikythera mechanism extends beyond the elegance and complexity of its design. It may also represent a major development in our understanding of the universe.## Astronomical Mechanisms

IN THE SPRING of 1900, sponge divers working near the Greek island of Antikythera came across the wreck of a Roman cargo ship. Among the remains was a corroded shoebox-sized case with more than thirty bronze gear wheels in interlaced trains.

^{2}Those who attempted to reconstruct it over the next century would learn that it included annular dials on its front and large spiral dials on the back that represented the day in the year, the lunar month in the 235-month Metonic cycle, the lunar phase, the position of the sun and moon in the zodiac, and whether the month might contain a lunar or solar eclipse. Irregularities in lunar motion were incorporated by means of an ingenious pin-and-slot variable-speed device. Predicted eclipses and the lunar calendar were based on observed cycles passed down to the Greeks from the Babylonians. The device itself was probably constructed in Rhodes sometime between 150 and 160 BCE, though both the date—it might be as early as 205 BCE—and the source are subject to debate. Inscriptions on the device strongly suggest that its front face also displayed the positions in the zodiac of the known planets: Mercury, Venus, Mars, Jupiter, and Saturn.The significance of the Antikythera mechanism, as it came to be called, only began to be more broadly realized after the publication of Derek de Solla Price’s paper “Gears from the Greeks” in 1974. Price found the mechanism so sophisticated that it might “involve a completely new appraisal of the scientific technology of the Hellenistic period.”

^{3}Just four years earlier, Germaine Aujac had written a perceptive, although largely forgotten, review of several kinds of mechanical devices that could have influenced Greek views of the universe.^{4}Price may well have been unaware of Aujac’s article. He does not reference it and Aujac does not mention the Antikythera mechanism. It would take another thirty years before the publications of the international Antikythera Mechanism Research Project (AMRP) and of Michael Wright prompted more general awareness of the artifact as confirming the reality of such complex machines in the ancient world.^{5}The devices Aujac wrote about were

sphaerae—orsphéropéein the original French—mechanisms depicting the sky moving around the earth, with or without the planets.Sphaeraecould be three-dimensional terrestrial or celestial globes and armillary spheres, but also two-dimensional circular constructions like the Antikythera mechanism. According to Aujac, by combining observation with the theory and construction ofsphaerae, the Greeks were bringing models of the earth and heavens closer to their real equivalents. In his writings, Ptolemy acknowledged the existence ofsphaerae, although he seems to have thought that they were admired more for their craftsmanship than for their value as physical models.^{6}James Evans and Christián Carlos Carman have argued that geared technology may slightly predate, and might actually have inspired, the mathematical developments around 200 BCE in Greek planetary theory such as eccentrics and epicycles.^{7}## A Mechanical Universe

FROM MY OWN perspective, the deeper question concerning

sphaeraeis to what extent the development of this technology prompted the Greeks and Romans into a new worldview.^{8}The technology may have affected not only mathematics, but also the idea that the universe itself is in some sense mechanical—and long before the so-called scientific revolution of the Renaissance. For Samuel Sambursky, the question iswhether these models are only convenient means of illustration, devices adapted to our needs for an ordered description, or whether they represent to a greater or lesser degree some faithful image of a physical reality corresponding to them.

^{9}If meant as a faithful image of reality, there are several themes present in such an image. The first would be the . . .

## The Riddle That Seems Impossible Even If You Know The Answer

The key is that if you start with the box labeled with your number, then either you arrive at a box that contains that number or you open boxes endlessly. Given that there are a finite number of boxes, that’s impossible. So by starting with the box labeled with your number, you *know* that you are in the loop with a box that contains your number. The only issue is whether that loop is 50 boxes or fewer.

## Ingenious numerals

And there’s more to this than just the system of numerals. Some links from the video description:

► SCRIPT w/ SOURCES: https://docs.google.com/document/d/1f…

► CORRECTIONS: https://docs.google.com/document/d/1m…

► WORLD ANVIL: https://www.worldanvil.com/about

—————

ARTIFEXIAN ON THE INTERWEB:

► TWITTER: https://www.twitter.com/artifexian

► PODCAST: https://www.youtube.com/channel/UC21W…

► REDDIT: https://www.reddit.com/r/artifexian/

## Gödel’s theoren explained

Kevin Drum takes a solid swing at explaining Gödel’s theorem — what it is and what it means — in a post that begins:

Bob Somerby wants to know if the logician/mathematician Kurt Gödel is a genius or a charlatan. The answer is “genius,” but it’s hard for non-mathematicians to understand his seminal theorem or why it matters. Bob is relying on Rebecca Goldstein’s biography of Gödel, and this is a mistake since it’s a biography, not a mathematical treatise.

But it’s dex night, so I’ll take a crack at it. Fair warning: you really need to have at least a little bit of background in math to understand this. There’s just no way around it. However, you don’t need much as long as you’re willing to tolerate a bit of mathematical symbology. Here goes.

## 1. Mathematical symbols

Although most of us don’t think of it this way, mathematics is actually a formal logical system of symbol manipulation.¹ For this to work, it must be possible to express all mathematical statements in a formal symbolic language. And it is! Take this statement, for example:

For every number there is a number that’s one higher

In mathematical symbology it looks like this:

∀ x ∃ x + 1

(For all numbers x there exists x + 1)

There is a symbol for anything you can say in the language of mathematics. If you’re interested, a complete list is here—though there are some complicated nuances for certain kinds of expressions. Basically, though, there’s a symbol for everything, although non-mathematicians are unfamiliar with most of them.

## 2. Gödel numbering

Gödel’s initial insight was that

## The Art of John Edmark

I recently posted a video of John Edmark discussing his work. Here is another talk on Edmark”s work.

## Penrose-tiling a bathroom

Cool idea. Penrose tiling should be more common. Image is from a post by Lior Pachter that describes the project. I blogged earlier a video on Penrose tiling.