## My All 2020 Mathematics A to Z: Gottfried Wilhelm Leibniz

Today’s topic suggestion was suggested by bunnydoe. I know of a project bunnydoe runs, but not whether it should be publicized. It is another biographical piece. Biographies and complex numbers, that seems to be the theme of this year.

# Gottfried Wilhelm Leibniz.

The exact suggestion I got for L was “Leibniz, the inventor of Calculus”. I can’t in good conscience offer that. This isn’t to deny Leibniz’s critical role in calculus. We rely on many of the ideas he’d had for it. We especially use his notation. But there are few great big ideas that can be truly credited to an inventor, or even a team of inventors. Put aside the sorry and embarrassing priority dispute with Isaac Newton. Many mathematicians in the 16th and 17th century were working on how to improve the Archimedean “method of exhaustion”. This would find the areas inside select curves, integral calculus. Johannes Kepler worked out the areas of ellipse slices, albeit with considerable luck. Gilles Roberval tried working out the area inside a curve as the area of infinitely many narrow rectangular strips. We still learn integration from this. Pierre de Fermat recognized how tangents to a curve could find maximums and minimums of functions. This is a critical piece of differential calculus. Isaac Barrow, Evangelista Torricelli (of barometer fame), Pietro Mengoli, and Stephano Angeli all pushed mathematics towards calculus. James Gregory proved, in geometric form, the relationship between differentiation and integration. That relationship is the Fundamental Theorem of Calculus.

This is not to denigrate Leibniz. We don’t dismiss the Wright Brothers though we know that without them, Alberto Santos-Dumont or Glenn Curtiss or Samuel Langley would have built a workable airplane anyway. We have Leibniz’s note, dated the 29th of October, 1675 (says Florian Cajori), writing out $\int l$ to mean the sum of all l’s. By mid-November he was integrating functions, and writing out his work as $\int f(x) dx$. Any mathematics or physics or chemistry or engineering major today would recognize that. A year later he was writing things like $d(x^n) = n x^{n - 1} dx$, which we’d also understand if not quite care to put that way.

Though we use his notation and his basic tools we don’t exactly use Leibniz’s particular ideas of what calculus means. It’s been over three centuries since he published. It would be remarkable if he had gotten the concepts exactly and in the best of all possible forms. Much of Leibniz’s calculus builds on the idea of a differential. This is a quantity that’s smaller than any positive number but also larger than zero. How does that make sense? George Berkeley argued it made not a lick of sense. Mathematicians frowned, but conceded Berkeley was right. By the mid-19th century they had a rationale for differentials that avoided this weird sort of number.

It’s hard to avoid the differential’s lure. The intuitive appeal of “imagine moving this thing a tiny bit” is always there. In science or engineering applications it’s almost mandatory. Few things we encounter in the real world have the kinds of discontinuity that create logic problems for differentials. Even in pure mathematics, we will look at a differential equation like $\frac{dy}{dx} = x$ and rewrite it as $dy = x dx$. Leibniz’s notation gives us the idea that taking derivatives is some kind of fraction. It isn’t, but in many problems we act as though it were. It works out often enough we forget that it might not.

Better, though. From the 1960s Abraham Robinson and others worked out a different idea of what real numbers are. In that, differentials have a rigorous logical definition. We call the mathematics which uses this “non-standard analysis”. The name tells something of its use. This is not to call it wrong. It’s merely not what we learn first, or necessarily at all. And it is Leibniz’s differentials. 304 years after his death there is still a lot of mathematics he could plausibly recognize.

There is still a lot of still-vital mathematics that he touched directly. Leibniz appears to be the first person to use the term “function”, for example, to describe that thing we’re plotting with a curve. He worked on systems of linear equations, and methods to find solutions if they exist. This technique is now called Gaussian elimination. We see the bundling of the equations’ coefficients he did as building a matrix and finding its determinant. We know that technique, today, as Cramer’s Rule, after Gabriel Cramer. The Japanese mathematician Seki Takakazu had discovered determinants before Leibniz, though.

Leibniz tried to study a thing he called “analysis situs”, which two centuries on would be a name for topology. My reading tells me you can get a good fight going among mathematics historians by asking whether he was a pioneer in topology. So I’ll decline to take a side in that.

In the 1680s he tried to create an algebra of thought, to turn reasoning into something like arithmetic. His goal was good: we see these ideas today as Boolean algebra, and concepts like conjunction and disjunction and negation and the empty set. Anyone studying logic knows these today. He’d also worked in something we can see as symbolic logic. Unfortunately for his reputation, the papers he wrote about that went unpublished until late in the 19th century. By then other mathematicians, like Gottlob Frege and Charles Sanders Peirce, had independently published the same ideas.

We give Leibniz’ name to a particular series that tells us the value of π:

$1 - \frac13 + \frac15 - \frac17 + \frac19 - \frac{1}{11} + \cdots = \frac{\pi}{4}$

(The Indian mathematician Madhava of Sangamagrama knew the formula this comes from by the 14th century. I don’t know whether Western Europe had gotten the news by the 17th century. I suspect it hadn’t.)

The drawback to using this to figure out digits of π is that it takes forever to use. Taking ten decimal digits of π demands evaluating about five billion terms. That’s not hyperbole; it just takes like forever to get its work done.

Which is something of a theme in Leibniz’s biography. He had a great many projects. Some of them even reached a conclusion. Many did not, and instead sprawled out with great ambition and sometimes insight before getting lost. Consider a practical one: he believed that the use of wind-driven propellers and water pumps could drain flooded mines. (Mines are always flooding.) In principle, he was right. But they all failed. Leibniz blamed deliberate obstruction by administrators and technicians. He even blamed workers afraid that new technologies would replace their jobs. Yet even in this failure he observed and had bracing new thoughts. The geology he learned in the mines project made him hypothesize that the Earth had been molten. I do not know the history of geology well enough to say whether this was significant to that field. It may have been another frustrating moment of insight (lucky or otherwise) ahead of its time but not connected to the mainstream of thought.

Another project, tantalizing yet incomplete: the “stepped reckoner”, a mechanical arithmetic machine. The design was to do addition and subtraction, multiplication and division. It’s a breathtaking idea. It earned him election into the (British) Royal Society in 1673. But it never was quite complete, never getting carries to work fully automatically. He never did finish it, and lost friends with the Royal Society when he moved on to other projects. He had a note describing a machine that could do some algebraic operations. In the 1690s he had some designs for a machine that might, in theory, integrate differential equations. It’s a fantastic idea. At some point he also devised a cipher machine. I do not know if this is one that was ever used in its time.

His greatest and longest-lasting unfinished project was for his employer, the House of Brunswick. Three successive Brunswick rulers were content to let Leibniz work on his many side projects. The one that Ernest Augustus wanted was a history of the Guelf family, in the House of Brunswick. One that went back to the time of Charlemagne or earlier if possible. The goal was to burnish the reputation of the house, which had just become a hereditary Elector of the Holy Roman Empire. (That is, they had just gotten to a new level of fun political intriguing. But they were at the bottom of that level.) Starting from 1687 Leibniz did good diligent work. He travelled throughout central Europe to find archival materials. He studied their context and meaning and relevance. He organized it. What he did not do, by his death in 1716, was write the thing.

It is always difficult to understand another person. Moreso someone you know only through biography. And especially someone who lived in very different times. But I do see a particular an modern personality type here. We all know someone who will work so very hard getting prepared to do a project Right that it never gets done. You might be reading the words of one right now.

Leibniz was a compulsive Society-organizer. He promoted ones in Brandenberg and Berlin and Dresden and Vienna and Saint Petersburg. None succeeded. It’s not obvious why. Leibniz was well-connected enough; he’s known to have over six hundred correspondents. Even for a time of great letter-writing, that’s a lot.

But it does seem like something about him offended others. Failing to complete big projects, like the stepped reckoner or the History of the Guelf family, seems like some of that. Anyone who knows of calculus knows of the dispute about the Newton-versus-Leibniz priority dispute. Grant that Leibniz seems not to have much fueled the quarrel. (And that modern historians agree Leibniz did not steal calculus from Newton.) Just being at the center of Drama causes people to rate you poorly.

There seems like there’s more, though. He was liked, for example, by the Electress Sophia of Hanover and her daughter Sophia Charlotte. These were the mother and the sister of Britain’s King George I. When George I ascended to the British throne he forbade Leibniz coming to London until at least one volume of the history was written. (The restriction seems fair, considering Leibniz was 27 years into the project by then.)

There are pieces in his biography that suggest a person a bit too clever for his own good. His first salaried position, for example, was as secretary to a Nuremberg alchemical society. He did not know alchemy. He passed himself off as deeply learned, though. I don’t blame him. Nobody would ever pass a job interview if they didn’t pretend to have expertise. Here it seems to have worked.

But consider, for example, his peace mission to Paris. Leibniz was born in the last years of the Thirty Years War. In that, the Great Powers of Europe battled each other in the German states. They destroyed Germany with a thoroughness not matched until World War II. Leibniz reasonably feared France’s King Louis XIV had designs on what was left of Germany. So his plan was to sell the French government on a plan of attacking Egypt and, from there, the Dutch East Indies. This falls short of an early-Enlightenment idea of rational world peace and a congress of nations. But anyone who plays grand strategy games recognizes the “let’s you and him fight” scheming. (The plan became irrelevant when France went to war with the Netherlands. The war did rope Brandenberg-Prussia, Cologne, Münster, and the Holy Roman Empire into the mess.)

And I have not discussed Leibniz’s work in philosophy, outside his logic. He’s respected for the theory of monads, part of the long history of trying to explain how things can have qualities. Like many he tried to find a deductive-logic argument about whether God must exist. And he proposed the notion that the world that exists is the most nearly perfect that can possibly be. Everyone has been dragging him for that ever since he said it, and they don’t look ready to stop. It’s an unfair rap, even if it makes for funny spoofs of his writing.

The optimal world may need to be badly defective in some ways. And this recognition inspires a question in me. Obviously Leibniz could come to this realization from thinking carefully about the world. But anyone working on optimization problems knows the more constraints you must satisfy, the less optimal your best-fit can be. Some things you might like may end up being lousy, because the overall maximum is more important. I have not seen anything to suggest Leibniz studied the mathematics of optimization theory. Is it possible he was working in things we now recognize as such, though? That he has notes in the things we would call Lagrange multipliers or such? I don’t know, and would like to know if anyone does.

Leibniz’s funeral was unattended by any dignitary or courtier besides his personal secretary. The Royal Academy and the Berlin Academy of Sciences did not honor their member’s death. His grave was unmarked for a half-century. And yet historians of mathematics, philosophy, physics, engineering, psychology, social science, philology, and more keep finding his work, and finding it more advanced than one would expect. Leibniz’s legacy seems to be one always rising and emerging from shade, but never being quite where it should.

And that’s enough for one day. All of the 2020 A-to-Z essays should be at this link. Both 2020 and all past A-to-Z essays should be at this link. And, as I am hosting the Playful Math Education Blog Carnival at the end of September, I am looking for any blogs, videos, books, anything educational or recreational or just interesting to read about. Thank you for your reading and your help.

## Reading the Comics, May 12, 2020: Little Oop Counts For More Edition

The past week had a fair number of comic strips mentioning some aspect of mathematics. One of them is, really, fairly slight. But it extends a thread in the comic strip that I like and so that I will feature here.

Jonathan Lemon and Joey Alison Sayers’s Little Oop for the 10th continues the thread of young Alley Oop’s time discovering numbers. (This in a storyline that’s seen him brought to the modern day.) The Moo researchers of the time have found numbers larger than three. As I’d mentioned when this joke was first done, that Oop might not have had a word for “seven” until recently doesn’t mean he wouldn’t have understood that seven of a thing was more than five of a thing, or less than twelve of a thing. At least if he could compare them.

Sam Hurt’s Eyebeam for the 11th uses heaps of mathematical expressions, graphs, charts, and Venn diagrams to represent the concept of “data”. It’s spilled all over to represent “sloppy data”. Usually by the term we mean data that we feel is unreliable. Measurements that are imprecise, or that are unlikely to be reliable. Precision is, roughly, how many significant digits your measurement has. Reliability is, roughly, if you repeated the measurement would you get about the same number?

Nate Fakes’s Break of Day for the 12th is the anthropomorphic numerals joke for the week.

Ryan North’s Dinosaur Comics for the 12th talks about immortality. And what the probability of events means when there are infinitely many opportunities for a thing to happen.

We’re accustomed in probability to thinking of the expectation value. This is the chance that something will happen, given some number N opportunities to happen, if at each opportunity it has the probability p of happening. Let me assume the probability is always the same number. If it’s not, our work gets harder, although it’s basically the same kind of work. But, then, the expectation value, the number of times we’d expect to see the thing happen, is N times p. Which, as Utahraptor points out, we can expect has to be at least 1 for any event, however unlikely, given enough chances. So it should be.

But, then, to take Utahraptor’s example: what is the probability that an immortal being never trips down the stairs? At least not badly enough to do harm? Why should we think that’s zero? It’s not as if there’s a physical law that compels someone to go to stairs and then to fall down them to their death. And, if there’s any nonzero chance of someone not dying this way? Then, if there are enough immortals, there’s someone who will go forever without falling down stairs.

That covers just the one way to die, of course. But the same reasoning holds for every possible way to die. If there’s enough immortals, there’s someone who would not die from falling down stairs and from never being struck by a meteor. And someone who’d never fall down stairs and never be struck by a meteor and never fall off a cliff trying to drop an anvil on a roadrunner. And so on. If there are infinitely many people, there’s at least one who’d avoid all possible accidental causes of death.

More. If there’s infinitely many immortals, then there are going to be a second and a third — indeed, an infinite number — of people who happen to be lucky enough to never die from anything. Infinitely many immortals die of accidents, sure, but somehow not all of them. We can’t even say that more immortals die of accidents than don’t.

My point is that probability gets really weird when you try putting infinities into it. Proceed with extreme caution. But the results of basic, incautious, thinking can be quite heady.

Bill Amend’s FoxTrot Classics for the 12th has Paige cramming for a geometry exam. Don’t cram for exams; it really doesn’t work. It’s regular steady relaxed studying that you need. That and rest. There is nothing you do that you do better for being sleep-deprived.

Bob Weber Jr and Jay Stephens’s Oh Brother for the 12th has Lily tease her brother with a story problem. I believe the strip’s a rerun, but it had been gone altogether for more than a year. It’s nice to see it returned anyway.

And while I don’t regularly cover web-only comics here, Norm Feuti has carried on his Gil as a Sunday-only web comic. The strip for the 10th of May has Gil using a calculator for mathematics homework, with a teacher who didn’t say he couldn’t. I’m surprised she hadn’t set a guideline.

This carries me through half a week. I’ll have more mathematically-themed comic strips at this link soon. Thanks for reading.

## Reading the Comics, March 17, 2020: Random Edition

I thought last week’s comic strips mentioning mathematics in detail were still subjects easy to describe in one or two paragraphs each. I wasn’t quite right. So here’s a half of a week, even if it is a day later than I had wanted to post.

John Zakour and Scott Roberts’s Working Daze for the 15th is a straggler Pi Day joke, built on the nerd couple Roy and Kathy letting the date slip their minds. This is a very slight Pi Day reference but I feel the need to include it for completeness’s sake. It reminds me of the sequence where one year Schroeder forgot Beethoven’s birthday, and was devastated.

Lincoln Peirce’s Big Nate for the 15th is a wordy bit of Nate refusing the story problem. Nate complains about a lack of motivation for the characters in it. But then what we need for a story problem isn’t the characters to do something so much as it is the student to want to solve the problem. That’s hard work. Everyone’s fascinated by some mathematical problems, but it’s hard to think of something that will compel everyone to wonder what the answer could be.

At one point Nate wonders what happens if Todd stops for gas. Here he’s just ignoring the premise of the question: Todd is given as travelling an average 55 mph until he reaches Saint Louis, and that’s that. So this question at least is answered. But he might need advice to see how it’s implied.

So this problem is doable by long division: 1825 divided by 80, and 1192 divided by 55, and see what’s larger. Can we avoid dividing by 55 if we’re doing it by hand? I think so. Here’s what I see: 1825 divided by 80 is equal to 1600 divided by 80 plus 225 divided by 80. That first is 20; that second is … eh. It’s a little less than 240 divided by 80, which is 3. So Mandy will need a little under 23 hours.

Is 23 hours enough for Todd to get to Saint Louis? Well, 23 times 55 will be 23 times 50 plus 23 times 5. 23 times 50 is 22 times 50 plus 1 times 50. 22 times 50 is 11 times 100, or 1100. So 23 times 50 is 1150. And 23 times 5 has to be 150. That’s more than 1192. So Todd gets there first. I might want to figure just how much less than 23 hours Mandy needs, to be sure of my calculation, but this is how I do it without putting 55 into an ugly number like 1192.

Mark Leiknes’s Cow and Boy repeat for the 17th sees the Boy, Billy, trying to beat the lottery. He throws at it the terms chaos theory and nonlinear dynamical systems. They’re good and probably relevant systems. A “dynamical system” is what you’d guess from the name: a collection of things whose properties keep changing. They change because of other things in the collection. When “nonlinear” crops up in mathematics it means “oh but such a pain to deal with”. It has a more precise definition, but this is its meaning. More precisely: in a linear system, a change in the initial setup makes a proportional change in the outcome. If Todd drove to Saint Louis on a path two percent longer, he’d need two percent more time to get there. A nonlinear system doesn’t guarantee that; a two percent longer drive might take ten percent longer, or one-quarter the time, or some other weirdness. Nonlinear systems are really good for giving numbers that look random. There’ll be so many little factors that make non-negligible results that they can’t be predicted in any useful time. This is good for drawing number balls for a lottery.

Chaos theory turns up a lot in dynamical systems. Dynamical systems, even nonlinear ones, often have regions that behave in predictable patterns. We may not be able to say what tomorrow’s weather will be exactly, but we can say whether it’ll be hot or freezing. But dynamical systems can have regions where no prediction is possible. Not because they don’t follow predictable rules. But because any perturbation, however small, produces changes that overwhelm the forecast. This includes the difference between any possible real-world measurement and the real quantity.

Obvious question: how is there anything to study in chaos theory, then? Is it all just people looking at complicated systems and saying, yup, we’re done here? Usually the questions turn on problems such as how probable it is we’re in a chaotic region. Or what factors influence whether the system is chaotic, and how much of it is chaotic. Even if we can’t say what will happen, we can usually say something about when we can’t say what will happen, and why. Anyway if Billy does believe the lottery is chaotic, there’s not a lot he can be doing with predicting winning numbers from it. Cow’s skepticism is fair.

Ryan North’s Dinosaur Comics for the 17th is one about people asked to summon random numbers. Utahraptor is absolutely right. People are terrible at calling out random numbers. We’re more likely to summon odd numbers than we should be. We shy away from generating strings of numbers. We’d feel weird offering, say, 1234, though that’s as good a four-digit number as 1753. And to offer 2222 would feel really weird. Part of this is that there’s not really such a thing as “a” random number; it’s sequences of numbers that are random. We just pick a number from a random sequence. And we’re terrible at producing random sequences. Here’s one study, challenging people to produce digits from 1 through 9. Are their sequences predictable? If the numbers were uniformly distributed from 1 through 9, then any prediction of the next digit in a sequence should have a one chance in nine of being right. It turns out human-generated sequences form patterns that could be forecast, on average, 27% of the time. Individual cases could get forecast 45% of the time.

There are some neat side results from that study too, particularly that they were able to pretty reliably tell the difference between two individuals by their “random” sequences. We may be bad at thinking up random numbers but the details of how we’re bad can be unique.

And I’m not done yet. There’s some more comic strips from last week to discuss and I’ll have that post here soon. Thanks for reading.

## Reading the Comics, January 11, 2020: Saturday was Quiet Too Edition

So I did get, as I hoped, to Saturday’s comics and they didn’t have much of deep mathematical content. There was an exception, though.

Morrie Turner’s Wee Pals for the 8th has Rocky failing a mathematics test.

Lorie Ransom’s The Daily Drawing for the 10th is the anthropomorphic geometric-figures joke for the week.

Mark Pett’s Mr Lowe rerun for the 11th has Quentin sitting through a dull mathematics class. And then, ah, the exceptional case …

Ryan North’s Dinosaur Comics for the 10th sees T-Rex pondering the point of solitaire. As he notes, there’s the weird aspect of solitaires that many of them can’t be won, even if you play perfectly. This comes close, without mentioning, an important event in numerical mathematics. So let me mention it.

There have always been things we could compute by random experiments. The digits of π, for example, if we’re willing to work at it. The catch is that this takes a lot of work. So we did not do much of this before we had computers, which are able to do a lot of work for the cost of electricity. There is a deep irony in this, since computers are — despite appearances — deterministic. They cannot do anything unpredictable. We have to provide random numbers, somehow. Or numbers that look enough like random numbers that we won’t make a grave error by using them.

Many of these techniques are known as Monte Carlo methods. These were developed in the 1940s. Stanislaw Ulam described convalescing from an illness, and playing a lot of solitaire. He pondered particularly the chance of winning a Canfield solitaire, a kind of game I have never heard of outside this anecdote. There seemed no way to work out this problem by reason alone. But he could imagine doing it in simulation, and with John von Neumann began calculating. Nicholas Metropolis gave it the gambling name, although something like that would be hard to resist. This is far from the only game that’s inspired useful mathematics. It is a good one, though.

That’s the mathematical comics for the week. Sunday, at this link, should see my next posting, with whatever comics up this week. Thanks for reading me reading the comics.

## Reading the Comics, November 21, 2019: Computational Science Edition

There were just a handful of comic strips that mentioned mathematical topics I found substantial. Of those that did, computational science came up a couple times. So that’s how we got to here.

Rick Detorie’s One Big Happy for the 17th has Joe writing an essay on the history of computing. It’s basically right, too, within the confines of space and understandable mistakes like replacing Pennsylvania with an easier-to-spell state. And within the confines of simplification for the sake of getting the idea across briefly. Most notable is Joe explaining ENIAC as “the first electronic digital computer”. Anyone calling anything “the first” of an invention is simplifying history, possibly to the point of misleading. But we must simplify any history to have it be understandable. ENIAC is among the first computers that anyone today would agree is of a kind with the laptop I use. And it’s certainly the one that, among its contemporaries, most captured the public imagination.

Incidentally, Heman Hollerith was born on Leap Day, 1860; this coming year will in that sense see only his 39th birthday.

Ryan North’s Dinosaur Comics for the 18th is based on the question of whether P equals NP. This is, as T-Rex says, the greatest unsolved problem in computer science. These are what appear to be two different kinds of problems. Some of them we can solve in “polynomial time”, with the number of steps to find a solution growing as some polynomial function of the size of the problem. Others seem to be “non-polynomial”, meaning the number of steps to find a solution grows as … something not a polynomial.

You see one problem. Not knowing a way to solve a problem in polynomial time does not necessarily mean there isn’t a solution. It may mean we just haven’t thought of one. If there is a way we haven’t thought of, then we would say P equals NP. And many people assume that very exciting things would then follow. Part of this is because computational complexity researchers know that many NP problems are isomorphic to one another. That is, we can describe any of these problems as a translation of another of these problems. This is the other part which makes this joke: the declaration that ‘whether God likes poutine’ is isomorphic to the question ‘does P equal NP’.

We tend to assume, also, that if P does equal NP then NP problems, such as breaking public-key cryptography, are all suddenly easy. This isn’t necessarily guaranteed. When we describe something as polynomial or non-polynomial time we’re talking about the pattern by which the number of steps needed to find the solution grows. In that case, then, an algorithm that takes one million steps plus one billion times the size-of-the-problem to the one trillionth power is polynomial time. An algorithm that takes two raised to the size-of-the-problem divided by one quintillion (rounded up to the next whole number) is non-polynomial. But for most any problem you’d care to do, this non-polynomial algorithm will be done sooner. If it turns out P does equal NP, we still don’t necessarily know that NP problems are practical to solve.

Bil Keane and Jeff Keane’s The Family Circus for the 20th has Dolly explaining to Jeff about the finiteness of the alphabet and infinity of numbers. I remember in my childhood coming to understand this and feeling something unjust in the difference between the kinds of symbols. That we can represent any of those whole numbers with just ten symbols (thirteen, if we include commas, decimals, and a multiplication symbol for the sake of using scientific notation) is an astounding feat of symbolic economy.

Zach Weinersmth’s Saturday Morning Breakfast cereal for the 21st builds on the statistics of genetics. In studying the correlations between one thing and another we look at something which varies, usually as the result of many factors, including some plain randomness. If there is a correlation between one variable and another we usually can describe how much of the change in one quantity depends on the other. This is what the scientist means on saying the presence of this one gene accounts for 0.1% of the variance in eeeeevil. The way this is presented, the activity of one gene is responsible for about one-thousandth of the level of eeeeevil in the person.

As the father observes, this doesn’t seem like much. This is because there are a lot of genes describing most traits. And that before we consider epigenetics, the factors besides what is in DNA that affect how an organism develops. I am, unfortunately, too ignorant of the language of genetics to be able to say what a typical variation for a single gene would be, and thus to check whether Weinersmith has the scale of numbers right.

This finishes the mathematically-themed comic strips from this past week. If all goes to my plan, Tuesday and Thursday will find the last of this year’s A-to-Z postings for this year. And Wednesday? I’ll try to think of something for Wednesday. It’d be a shame to just leave it hanging loose like it might.

## Reading the Comics, October 19, 2019: Just The Casual Mentions Edition

Let me get out of the way last week’s comic strips that I thought didn’t need much discussion. There’s discussion creeping into them anyway. This is why there’s such a rush.

Greg Cravens’s The Buckets for the 14th has a kid longing for help with algebra.

Gary Wise and Lance Aldrich’s Real Life Adventures for the 15th is a percentages joke. It’s really tempting to just add and subtract percentages like this, when talking about sales and interest and such. If the percentages are small, like, one or two percent, this is near enough to being right. A sale of 15 percent and interest of 22 percent? That’s not close enough to approximate like that. A 15 percent sale with 22 percent interest charge would come to about a 3.7 percent surcharge. But how long the charge stays on the credit card will affect the amount.

Bob Scott’s Bear With Me for the 17th has one of Molly’s friends trying to print a mathematics assignment.

Ryan North’s Dinosaur Comics for the 17th has one long message turn out to encode a completely unrelated thing. This is something you can deliberately build in to a signal. You might want to, in order to confound codebreakers working on your message. It’s possible in any message to encode a second by accident. As you’d think, the longer the unintentional message the less likely it is to just turn up.

Next Sunday should be the next time I do a Reading the Comics essay. Tomorrow and Thursday I hope to extend the A-to-Z sequence. I don’t know what’s going to happen here on Wednesday. I’m looking forward to finding out myself. See you then.

## Reading the Comics, October 2019: Cube Edition

Comic Strip Master Command hoped to give me an easy week, one that would let me finally get ahead on my A-to-Z essays and avoid the last-minute rush to complete tasks. I showed them, though. I can procrastinate more than they can give me breaks. This essay alone I’m writing about ten minutes after you read it.

Eric the Circle for the 7th, by Shoy, is one of the jokes where Eric’s drawn as something besides a circle. I can work with this, though, because the cube is less far from a circle than you think. It gets to what we mean by “a circle”. If it’s all the points that are exactly a particular distance from a given center? Or maybe all the points up to that particular distance from a given center? This seems too reasonable to argue with, so you know where the trick is.

The trick is asking what we mean by distance? The ordinary distance that normal people use has a couple names. The Euclidean distance, often. Or Euclidean metric. Euclidean norm. It has some fancier names that can wait. Give two points. You can find this distance easily if you have their coordinates in a Cartesian system. (There’s infinitely many Cartesian systems you could use. You can pick whatever one you like; the distance will be the same whatever they are.) That’s that thing about finding the distance between corresponding coordinates, squaring those distances, adding that up, and taking the square root. And that’s good.

That’s not our only choice, though. We can make a perfectly good distance using other rules. For example, take the difference between corresponding coordinates, take the absolute value of each, and add all those absolute values up. This distance even has real-world application. It’s how far it is to go from one place to another on a grid of city squares, where it’s considered poor form to walk directly through buildings. There’s another. Instead of adding those absolute values up? Just pick the biggest of the absolute values. This is another distance. In it, circles look like squares. Or, in three dimensions, spheres look like cubes.

Ryan North’s Dinosaur Comics for the 9th builds on a common science fictional premise, that contact with an alien intelligence is done through mathematics first. It’s a common supposition in science fiction circles, and among many scientists, that mathematics is a truly universal language. It’s hard to imagine a species capable of communication with us that wouldn’t understand two and two adding up to four. Or about the ratio of a circle circumference to its diameter being independent of that diameter. Or about how an alternating knot for which the minimum number of crossing points is odd can’t ever be amphicheiral.

All right, I guess I can imagine a species that never ran across that point. Which is one of the things we suppose in using mathematics as a universal language. Its truths are indisputable, if we allow the rules of logic and axioms and definitions that we use. And I agree I don’t know that it’s possible not to notice basic arithmetic and basic geometry, not if one lives in a sensory world much like humans’. But it does seem to me at least some of mathematics is probably idiosyncratic. In representation at least; certainly in organization. I suspect there may be trouble in using universal and generically true things to express something local and specific. I don’t know how to go from deductive logic to telling someone when my birthday is. Well, I’m sure our friends in the philosophy department have considered that problem and have some good thoughts we can use, if there were only some way to communicate with them.

Bill Whitehead’s Free Range for the 12th is your classic blackboard-full-of-symbols. I like the beauty of the symbols used. I mean, the whole expression doesn’t parse, but many of the symbols do and are used in reasonable ways. Long trailing strings of arrows to extend one line to another are common and reasonable too. In the middle of the second line is $\vec{n = z}$, which doesn’t make sense, but which doesn’t make sense in a way that seems authentic to working out an idea. It’s something that could be cleaned up if the reasoning needed to be made presentable.

Later this week I’ll run a list of the fair number of comics that mentioned mathematics along the way to a joke, but that don’t do much with that mention. And this week in the A-to-Z sequence should see both M and N given their chances.

## Reading the Comics, September 28, 2019: Modeling Edition

The second half of last week’s mathematically-themed comic strips had an interesting range of topics. Two of them seemed to circle around the making of models. So that’s my name for this installment.

Ryan North’s Dinosaur Comics for the 26th has T-Rex trying to build a model. In this case, it’s to project how often we should expect to see a real-life Batman. T-Rex is building a simple model, which is fine. Simple models, first, are usually easier to calculate with. How they differ from reality can give a guide to how to make a more complex model. Or they can indicate the things that have to be learned in order to make a more complex model. The difference between a model’s representation and the observed reality (or plausibly expected reality) can point out problems in one’s assumptions, too.

For example, T-Rex supposes that a Batman needs to have billionaire parents. This makes for a tiny number of available parents. But surely what’s important is that a Batman be wealthy enough he doesn’t have to show up to any appointments he doesn’t want to make. Having a half-billion dollars, or a “mere” hundred million, would allow that. Even a Batman who had “only” ten million dollars would be about as free to be a superhero. Similarly, consider the restriction to Olympic athletes. Astronaut Ed White, who on Gemini IV became the first American to walk in space, was not an Olympic athlete; but he certainly could have been. He missed by a split-second in the 400 meter hurdles race. Surely someone as physically fit as Ed White would be fit enough for a Batman. Not to say that “Olympic athletes or NASA astronauts” is a much bigger population than “Olympic athletes”. (And White was unusually fit even for NASA astronauts.) But it does suggest that merely counting Olympic athletes is too restrictive.

But that’s quibbling over the exact numbers. The process is a good rough model. List all the factors, suppose that all the factors are independent of one another, and multiply how likely it is each step happens by the population it could happen to. It’s hard to imagine a simpler model, but it’s a place to start.

Greg Wallace’s Nothing Is Not Something for the 26th is a bit of a geometry joke. It’s built on the idiom of the love triangle, expanding it into more-sided shapes. Relationships between groups of people like this can be well-represented in graph theory, with each person a vertex, and each pair of involved people an edge. There are even “directed graphs”, where each edge contains a direction. This lets one represent the difference between requited and unrequited interests.

Brian Anderson’s Dog Eat Doug for the 27th has Sophie the dog encounter some squirrels trying to disprove a flat Earth. They’re not proposing a round Earth either; they’ve gone in for a rhomboid. Sophie’s right to point out that drilling is a really hard way to get through the Earth. That’s a practical matter, though.

Is it possible to tell something about the shape of a whole thing from a small spot? In the terminology, what kind of global knowledge can we get from local information? We can do some things. For example, we can draw a triangle on the surface of the Earth and measure the interior angles to see what they sum to. If this could be done perfectly, finding that the interior angles add up to more than 180 degrees would show the triangle’s on a spherical surface. But that also has practical limitations. Like, if we find that locally the planet is curved then we can rule out it being entirely flat. But it’s imaginable that we’d be on the one dome of an otherwise flat planet. At some point you have to either assume you’re in a typical spot, or work out ways to find what’s atypical. In the Conspiracy Squirrels’ case, that would be the edge between two faces of the rhomboid Earth. Then it becomes something susceptible to reason.

Zach Weinersmith’s Saturday Morning Breakfast Cereal for the 27th has the mathematician making another model. And this is one of the other uses of a model: to show a thing can’t happen, show that it would have results contrary to reason. But then you have to validate the model, showing that its premises do represent reality so well that its conclusion should be believed. This can be hard. There’s some nice symbol-writing on the chalkboard here, although I don’t see that they parse. Particularly, the bit on the right edge of the panel, where the writing has a rotated-by-180-degrees ‘E’ followed by an ‘x’, a rotated-by-180-degrees ‘A’, and then a ‘z’, is hard to fit inside an equation like this. The string of symbols mean “there exists some x for which, for all z, (something) is true”. This fits at the start of a proof, or before an equation starts. It doesn’t make grammatical sense in the middle of an equation. But, in the heat of writing out an idea, mathematicians will write out ungrammatical things. As with plain-text writing, it’s valuable to get an idea down, and edit it into good form later.

Tom Batiuk’s Funky Winkerbean Vintage for the 28th sees the school’s Computer explaining the nature of its existence, and how it works. Here the Computer claims to just be filled with thousands of toes to count on. It’s silly, but it is the case that there’s no operation a computer does that isn’t something a human can do, manually. If you had the paper and the time you could do all the steps of a Facebook group chat, a game of SimCity, or a rocket guidance computer’s calculations. The results might just be impractically slow.

And that’s finished the comic strips of last week! Sunday I should have a new Reading the Comics post. And then tomorrow I hope to resume the Fall 2019 A to Z series with ‘J’. Thanks for reading.

## Reading the Comics, September 7, 2019: Dinosaur Follow-Up Edition

One thing to worry about during an A To Z sequence is how busy Comic Strip Master Command will decide I need to be. I’m glad to say that this first week, it wasn’t too overly busy. Even the comic strips that are most on topic are not ones that need too much explanation. They’re also all reruns from their original publication, although I don’t know the dates that any of these first ran. A casual search doesn’t find that I said anything about these in their previous appearances.

Mac King and Bill King’s Magic in a Minute for the 1st is a rerun printed without the editor reading the thing. If they had, they’d have edited the 13 to be a 19. As the explanation at the bottom of the page almost makes clear, the ‘magic number’ produced by this will be the last two digits of the current year. After all, your age (at the end of this year) will be this year minus the year of your birth.

That this can be used for a magic trick relies on two things. One is that while, yes, anyone who thinks about it sees the relationship between their birth year, their age, and the current year, the magic trick is done before they can do that thinking. They’re too busy calculating, and then counting out cards and trying to see where this is going. Calculating without thinking about why this calculation is dangerous for mathematics. But it allows for some recreational fun. the other thing this trick depends on is showmanship: the purpose of the calculation is meant to be surprising enough, and delightful enough, that people won’t care to deconstruct its logic.

Morrie Turner’s Wee Pals rerun for the 1st is your basic joke about the kid subverting a word problem. But it also shows a bit why mathematicians get trained to make as explicit as possible their assumptions. This saves us from dumb mistakes, but at the cost of putting a prologue to anything we do want to ask. But it’s a legitimate part of mathematics to look at the questions someone else has asked and find their unstated assumptions, the things that could be true and would make their claims wrong.

Ryan North’s Dinosaur Comics rerun for the 2nd presents Utahraptor struggling with a mathematics problem. This is in character for him and for the comic. The particular problem is a classic recreational mathematics puzzle. Given a balance that can only give relative weights, and that you can use up to three times, find the one ball out of twelve which is of a different weight. It’s also a classic information theory problem. We know we can solve it, though. Each weighing gives us information about which of the twelve balls might, or might not, be abnormal. There is enough information in these three weighings to pick out which ball is the unusual one.

Granted, though, just knowing three weighings are enough doesn’t tell us what to weigh, or in what order. I haven’t looked at the GoComics comments. But there are likely at least three people who’ve explained some way to do it. It’s worth playing with the problem a while to see if you have any good ideas. You can use coins if you want to play with possibilities.

Ryan North’s Dinosaur Comics rerun for the 6th is, as the last panels suggest, a sequel to a comic rerun in mid-August. The question of whether the word ‘heterological’ is itself heterological is a recasting of one of Eubulides’s paradoxes. It’s the problem of working out whether a self-referential statement can be true. Or false. It shouldn’t surprise us that common language statements can defy being called true or false. But definitions are so close to logical structures that it’s hard to see why these refuse to fit. The problem is silly, but why it’s silly is hard to say.

There were also comics so casual in their mention of mathematics that I don’t have essays to write about them. I’ll list those soon, all going well, at this link. And then Tuesday, I hope, resume the Fall 2019 A-to-Z Sequence. Thanks for reading.

## Reading the Comics, August 23, 2019: Basics of Logic Edition

While there were a good number of comic strips to mention mathematics this past week, there were only a few that seemed substantial to me. This works well enough. This probably is going to be the last time I keep the Reading the Comics post until after Sunday, at least until the Fall 2019 A To Z is finished.

And I’m still open to topics for the first third of the alphabet. If you’d like to see my try to understand a thing of your choice please nominate one or more concepts over at this page. You might be the one to name a topic I can’t possibly summarize!

Gordon Bess’s Redeye rerun for the 18th is a joke building on animals’ number sense. And, yeah, about dumb parents too. Horses doing arithmetic have a noteworthy history. But more in the field of understanding how animals learn, than in how they do arithmetic. In particular in how animals learn to respond to human cues, and how slight a cue has to be to be recognized and acted on. I imagine this reflects horses being unwieldy experimental animals. Birds — pigeons and ravens, particularly — make better test animals.

Art Sansom and Chip Sansom’s The Born Loser for the 18th gives a mental arithmetic problem. It’s a trick question, yes. But Brutus gives up too soon on what the problem is supposed to be. Now there’s no calculating, in your head, exactly how many seconds are in a year; that’s just too much work. But an estimate? That’s easy.

At least it’s easy if you remember one thing: a million seconds is about eleven and a half days. I find this easy to remember because it’s one of the ideas used all the time to express how big a million, a billion, and a trillion are. A million seconds are about eleven and a half days. A billion seconds are a little under 32 years. A trillion seconds are about 32,000 years, which is about how long it’s been since the oldest known domesticated dog skulls were fossilized. I’m sure that gives everyone a clear idea of how big a trillion is. The important thing, though, is that a million seconds is about eleven and a half days.

So. Think of the year. There are — as the punch line to Hattie’s riddle puts it — twelve 2nd’s in the year. So there are something like a million seconds spent each year on days that are the 2nd of the month. There about a million seconds spent each year on days that are the 1st of the month, too. There are about a million seconds spent each year on days that are the 3rd of the month. And so on. So, there’s something like 31 million seconds in the year.

You protest. There aren’t a million seconds in twelve days; there’s a million seconds in eleven and a half days. True. Also there aren’t 31 days in every month; there’s 31 days in seven months of the year. There’s 30 days in four months, and 28 or 29 in the remainder. That’s fine. This is mental arithmetic. I’m undercounting the number of seconds by supposing that a million seconds makes twelve days. I’m overcounting the number of seconds by supposing that there are twelve months of 31 days each. I’m willing to bet this undercount and this overcount roughly balance out. How close do I get?

There are 31,536,000 seconds in a common year. That is, a non-leap-year. So “31 million” is a bit low. But it’s not bad for working without a calculator.

Ryan North’s Dinosaur Comics for the 19th lays on us the Eubulides Paradox. It’s traced back to the fourth century BCE. Eubulides was a Greek philosopher, student of “Not That” Euclid of Megara. We know Eubulides for a set of paradoxes, including the Sorites paradox. As T-Rex’s friends point out, we’ve all heard this paradox. We’ve all gone on with our lives, knowing that the person who said it wanted us to say they were very clever. Fine.

But if we take this seriously we find … this keeps not being simple. We can avoid the problem by declaring self-referential statements exist outside of truth or falsity. This forces us to declare the sentence “this sentence is true” can’t be true. This seems goofy. We can avoid the problem by supposing there are things that are neither true nor false. That solves our problem here at the mere cost of ruining our ability to prove stuff by contradiction. There’s a lot of stuff we prove by contradiction. It’s hard to give that all up for this (Although, so far as I’m aware, anything that can be proved by contradiction can also be proven by a direct line of reasoning. The direct line may just be tedious.) We can solve this problem by saying that our words are fuzzy imprecise things. This is true enough, as see any time my love and I debate how many things are in “a couple of things”. But declaring that we just can’t express the problem well enough to answer it seems like running away from the question. We can resolve things by accepting there are limits to what can be proved by logic. Gödel’s Incompleteness Theorem shows that any interesting enough logic system has statements that are true but unprovable. A version of this paradox helps us get to this interesting conclusion.

So this is one of those things it should be easy to laugh off, but why it should be easy is hard.

Zach Weinersmith’s Saturday Morning Breakfast Cereal for the 21st is about the other great logic problem of the 20th century. The Halting Problem here refers to Turing Machines. This is the algorithmic model for computing devices. It’s rather abstract, so the model won’t help you with your C++ homework, but nothing will. But it turns out we can represent a computer running a program as a string of cells. Each cell holds one of a couple possible values. The program is a series of steps. Each step starts at one cell. The program resets the value of that cell to something dictated by the algorithm. Then, the program moves focus to another cell, again as the algorithm dictates. Do enough of this and you get SimCity 2000. I don’t know all the steps in-between.

So. The Halting Program is this: take a program. Run it. What happens in the long run? Well, it does something or other, yes. But there’s three kinds of things it can do. It can run for a while and then finish, that is, ‘halt’. It can run for a while and then get into a repeating loop, after which it repeats things forever. It can run forever without repeating itself. (Yeah, I see the structural resemblance to terminating decimals, repeating decimals, and irrational numbers too, but I don’t know of any link there.) The Halting Problem asks, if all we know is the algorithm, can we know what happens? Can we say for sure the program will always end, regardless of what the data it works on are? Can we say for sure the program won’t end if we feed it the right data to start?

If the program is simple enough — and it has to be extremely simple — we can say. But, basically, if the program is complicated enough to be even the least bit interesting, it’s impossible to say. Even just running the program isn’t enough: how do you know the difference between a program that takes a trillion seconds to finish and one that never finishes?

For human needs, yes, a program that needs a trillion seconds might as well be one that never finishes. Which is not precisely the joke Weinersmith makes here, but is circling around similar territory.

Mark Anderson’s Andertoons for the 23rd is the Mark Anderson’s Andertoons for the week. And it teases my planned post for Thursday, available soon at this link. Thanks for reading.

## Reading the Comics, February 9, 2019: Garfield Outwits Me Edition

Comic Strip Master Command decreed that this should be a slow week. The greatest bit of mathematical meat came at the start, with a Garfield that included a throwaway mathematical puzzle. It didn’t turn out the way I figured when I read the strip but didn’t actually try the puzzle.

Jim Davis’s Garfield for the 3rd is a mathematics cameo. Working out a problem is one more petty obstacle in Jon’s day. Working out a square root by hand is a pretty good tedious little problem to do. You can make an estimate of this that would be not too bad. 324 is between 100 and 400. This is worth observing because the square root of 100 is 10, and the square root of 400 is 20. The square of 16 is 256, which is easy for me to remember because this turns up in computer stuff a lot. But anyway, numbers from 300 to 400 have square roots that are pretty close to but a little less than 20. So expect a number between 17 and 20.

But after that? … Well, it depends whether 324 is a perfect square. If it is a perfect square, then it has to be the square of a two-digit number. The first digit has to be 1. And the last digit has to be an 8, because the square of the last digit is 4. But that’s if 324 is a perfect square, which it almost certainly is … wait, what? … Uh .. huh. Well, that foils where I was going with this, which was to look at a couple ways to do square roots.

One is to start looking at factors. If a number is equal to the product of two numbers, then its square root is the product of the square roots of those numbers. So dividing your suspect number 324 by, say, 4 is a great idea. The square root of 324 would be 2 times the square root of whatever 324 &div; 4 is. Turns out that’s 81, and the square root of 81 is 9 and there we go, 18 by a completely different route.

So that works well too. If it had turned out the square root was something like $2\sqrt{82}$ then we get into tricky stuff. One response is to leave the answer like that: $2\sqrt{82}$ is exactly the square root of 328. But I can understand someone who feels like they could use a numerical approximation, so that they know whether this is bigger than 19 or not. There are a bunch of ways to numerically approximate square roots. Last year I worked out a way myself, one that needs only a table of trigonometric functions to work out. Tables of logarithms are also usable. And there are many methods, often using iterative techniques, in which you make ever-better approximations until you have one as good as your situation demands.

Anyway, I’m startled that the cheese doodles price turned out to be a perfect square (in cents). Of course, the comic strip can be written to have any price filled in there. The joke doesn’t depend on whether it’s easy or hard to take the square root of 324. But that does mean it was written so that the problem was surprisingly doable and I’m amused by that.

Ryan North’s Dinosaur Comics for the 4th goes in some odd directions. But it’s built on the wonder of big numbers. We don’t have much of a sense for how big truly large numbers. We can approach pieces of that, such as by noticing that a billion seconds is a bit more than thirty years. But there are a lot of truly staggeringly large numbers out there. Our basic units for things like distance and mass and quantity are designed for everyday, tabletop measurements. The numbers don’t get outrageously large. Had they threatened to, we’d have set the length of a meter to be something different. We need to look at the cosmos or at the quantum to see things that need numbers like a sextillion. Or we need to look at combinations and permutations of things, but that’s extremely hard to do.

Tom Horacek’s Foolish Mortals for the 4th is a marginal inclusion for this week’s strips, but it’s a low-volume week. The intended joke is just showing off a “tube sock” and an “inner tube sock”. But it happens to depict these as a cylinder and a torus and those are some fun shapes to play with. Particularly, consider this: it’s easy to go from a flat surface to a cylinder. You know this because you can roll a piece of paper up and get a good tube. And it’s not hard to imagine going from a cylinder to a torus. You need the cylinder to have a good bit of give, but it’s easy to imagine stretching it around and taping one end to the other. But now you’ve got a shape that is very different from a sheet of paper. The four-color map theorem, for example, no longer holds. You can divide the surface of the torus so it needs at least seven colors.

Mastroianni and Hart’s B.C. for the 5th is a bit of wordplay. As I said, this was a low-volume week around here. The word “logarithm” derives, I’m told, from the modern-Latin ‘logarithmus’. John Napier, who advanced most of the idea of logarithms, coined the term. It derives from ‘logos’, here meaning ‘ratio’, and ‘re-arithmos’, meaning ‘counting number’. The connection between ratios and logarithms might not seem obvious. But suppose you have a couple of numbers, and we’ll reach deep into the set of possible names and call them a, b, and c. Suppose a &div; b equals b &div; c. Then the difference between the logarithm of a and the logarithm of b is the same as the difference between the logarithm of b and the logarithm of c. This lets us change calculations on numbers to calculations on the ratios between numbers and this turns out to often be easier work. Once you’ve found the logarithms. That can be tricky, but there are always ways to do it.

Bill Rechin’s Crock for the 8th is not quite a bit of wordplay. But it mentions fractions, which seem to reliably confuse people. Otis’s father is helpless to present a concrete, specific example of what fractions mean. I’d probably go with change, or with slices of pizza or cake. Something common enough in a child’s life.

And I grant there have been several comic strips here of marginal mathematics value. There was still one of such marginal value. Mark Parisi’s Off The Mark for the 7th has anthropomorphized numerals, in service of a temperature joke.

These are all the mathematically-themed comic strips for the past week. Next Sunday, I hope, I’ll have more. Meanwhile please come around here this week to see what, if anything, I think to write about.

## Reading the Comics, July 21, 2018: Infinite Hotels Edition

Ryan North’s Dinosaur Comics for the 18th is based on Hilbert’s Hotel. This is a construct very familiar to eager young mathematicians. It’s an almost unavoidable pop-mathematics introduction to infinitely large sets. It’s a great introduction because the model is so mundane as to be easily imagined. But you can imagine experiments with intuition-challenging results. T-Rex describes one of the classic examples in the third through fifth panels.

The strip made me wonder about the origins of Hilbert’s Hotel. Everyone doing pop mathematics uses the example, but who created it? And the startling result is, David Hilbert, kind of. My reference here is Helge Kragh’s paper The True (?) Story of Hilbert’s Infinite Hotel. Apparently in a 1924-25 lecture series in Göttingen, Hilbert encouraged people to think of a hotel with infinitely many rooms. He apparently did not use it for so many examples as pop mathematicians would. He just used the question of how to accommodate a single new guest after the infinitely many rooms were first filled. And then went to imagine an infinite dance party. I don’t remember ever seeing the dance party in the wild; perhaps it’s a casualty of modern rave culture.

Hilbert’s Hotel seems to have next seen print in George Gamow’s One, Two Three … Infinity. Gamow summoned the hotel back from the realms of forgotten pop mathematics with a casual, jokey tone that fooled Kragh into thinking he’d invented the model and whimsically credited Hilbert with it. (Gamow was prone to this sort of lighthearted touch.) He came back to it in The Creation Of The Universe, less to make readers consider the modern understanding of infinitely large sets than to argue for a universe having infinitely many things in it.

And then it disappeared again, except for cameo appearances trying to argue that the steady-state universe would be more bizarre than what we actually see. The philosopher Pamela Huby seems to have made Hilbert’s Hotel a thing to talk about again, as part of a debate about whether a universe could be infinite in extent. William Lane Craig furthered using the hotel, as part of the theological debate about whether there could be an infinite temporal regress of events. Rudy Rucker and Eli Maor wrote descriptions of the idea in the 1980s, with vague ideas about whether Hilbert actually had anything to do with the place. And since then it’s stayed, a famous fictional hotel.

David Hilbert was born in 1862; T-Rex misspoke.

Ernie Bushmiller’s Nancy Classics for the 20th gets me out of my Olivia Jaimes rut. We could probably get a good discussion going about whether giving an example of a sphere is an adequate description of a sphere. Granted that a bubble-gum bubble won’t be perfectly spherical; neither will any example that exists in reality. We always trust that we can generalize to an ideal example of this thing.

I did get to wondering, in Sluggo’s description of the octagon, why the specification of eight sides and eight angles. I suspect it’s meant to avoid calling an octagon something that, say, crosses over itself, thus having more angles than sides. Not sure, though. It might be a phrasing intended to make sure one remembers that there are sides and there are angles and the polygon can be interesting for both sets of component parts.

John Atkinson’s Wrong Hands for the 20th is the Venn Diagram joke for the week. The half-week anyway. Also a bunch of other graph jokes for the week. Nice compilation of things. I love the paradoxical labelling of the sections of the Venn Diagram.

Tom II Wilson’s Ziggy for the 20th is a plaintive cry for help from a despairing soul. Who’s adding up four- and five-digit numbers by hand for some reason. Ziggy’s got his projects, I guess is what’s going on here.

Glenn McCoy and Gary McCoy’s The Duplex for the 21st is set up as an I-hate-word-problems joke. The cop does ask something people would generally like to know, though: how much longer would it take, going 60 miles per hour rather than 70? It turns out it’s easy to estimate what a small change in speed does to arrival time. Roughly speaking, reducing the speed one percent increases the travel time one percent. Similarly, increasing speed one percent decreases travel time one percent. Going about five percent slower should make the travel time a little more than five percent longer. Going from 70 to 60 miles per hour reduces the speed about fifteen percent. So travel time is going to be a bit more than 15 percent longer. If it was going to be an hour to get there, now it’ll be an hour and ten minutes. Roughly. The quality of this approximation gets worse the bigger the change is. Cutting the speed 50 percent increases the travel time rather more than 50 percent. But for small changes, we have it easier.

There are a couple ways to look at this. One is as an infinite series. Suppose you’re travelling a distance ‘d’, and had been doing it at the speed ‘v’, but now you have to decelerate by a small amount, ‘s’. Then this is something true about your travel time ‘t’, and I ask you to take my word for it because it has been a very long week and I haven’t the strength to argue the proposition:

$t = \frac{d}{v - s} = \frac{d}{v}\left(1 + \left(\frac{s}{v}\right) + \left(\frac{s}{v}\right)^2 + \left(\frac{s}{v}\right)^3 + \left(\frac{s}{v}\right)^4 + \left(\frac{s}{v}\right)^5 + \cdots \right)$

‘d’ divided by ‘v’ is how long your travel took at the original speed. And, now, $\left(\frac{s}{v}\right)$ — the fraction of how much you’ve changed your speed — is, by assumption, small. The speed only changed a little bit. So $\left(\frac{s}{v}\right)^2$ is tiny. And $\left(\frac{s}{v}\right)^3$ is impossibly tiny. And $\left(\frac{s}{v}\right)^4$ is ridiculously tiny. You make an error in dropping these $\left(\frac{s}{v}\right)$ squared and cubed and forth-power and higher terms. But you don’t make much of one, not if s is small enough compared to v. And that means your estimate of the new travel time is:

$\frac{d}{v} \left(1 + \frac{s}{v}\right)$

Or, that is, if you reduce the speed by (say) five percent of what you started with, you increase the travel time by five percent. Varying one important quantity by a small amount we know as “perturbations”. Working out the approximate change in one quantity based on a perturbation is a key part of a lot of calculus, and a lot of mathematical modeling. It can feel illicit; after a lifetime of learning how mathematics is precise and exact, it’s hard to deliberately throw away stuff you know is not zero. It gets you to good places, though, and fast.

Morrie Turner’s Wee Pals for the 21st shows Wellington having trouble with partitions. We can divide any counting number up into the sum of other counting numbers in, usually, many ways. I can kind of see his point; there is something strange that we can express a single idea in so many different-looking ways. I’m not sure how to get Wellington where he needs to be. I suspect that some examples with dimes, quarters, and nickels would help.

And this is marginal but the “Soul Circle” personal profile for the 20th of July — rerun from the 20th of July, 2013 — was about Dr Cecil T Draper, a mathematics professor.

You can get to this and more Reading the Comics posts at this link. Other essays mentioning Dinosaur Comics are at this link. Essays that describe Nancy, vintage and modern, are at this link. Wrong Hands gets discussed in essays on this link. Other Ziggy-based essays are at this link. The Duplex will get mentioned in essays at this link if any other examples of the strip get tagged here. And other Wee Pals strips get reviewed at this link.

## Reading the Comics, March 9, 2018: Some Old Lines Edition

To close out last week’s comics I got a bunch of strips that were repeats, or that touch on topics I’ve discussed quite a bit around these parts already. I’m pretty sure all the words I have here are new in their specific organization. The words themselves are pretty old.

Maria Scrivan’s Half Full for the 4th is the Rubik’s Cube joke for the week. I ought to write up a proper description of the algebra of Rubik’s Cubes. The real stuff is several books’ worth of material, yes. But a couple hundred words about what’s interesting should be doable. … Or I could just ask folks if they’ve read good descriptions of the group theory that cubes show off. I’m always open to learning other people have said stuff better than me. This is part of why I’ve never published an essay about Cantor’s Diagonal Proof; many people have written such essays and I couldn’t add anything useful to that heap of words.

Ryan North’s Dinosaur Comics for the 5th is about the heap paradox. Or the sorites paradox, depending on what book you’ve been reading from. The problem is straightforward enough. As God, in the strip says, a big pile of sand is clearly a heap. One or two grains of sand is clearly not. If you remove grains from the heap, eventually, you lose the heap-ness. T-Rex suggests solving the question of when that happens by statistical survey, finding what people on average find to be the range where things shift over.

As with many attempts to apply statistical, or experimental, methods to philosophical questions it misses the point. There are properties that things seem to have only as aggregations. Where do they come from? How can there be something true about a collection of things that isn’t true about any part of the thing? This is not just about messy real-world properties either; we can say stuff about groups of mathematical objects that aren’t true about individual objects within the set. For example, suppose we want to draw a real number at random, uniformly, from the continuous interval 0 to 10. There’s a 50% chance we’ll draw a number greater than 5. The chance of drawing any specific number greater than 5, though, is zero. But we can always draw one. Something weird is happening here, as often happens with questions we’ve been trying to answer for thousands of years.

Norm Feuti’s Retail for the 6th is a new strip, although the joke’s appeared before. There’s some arithmetic calculations that are easy to do, or that become easy because you do them a lot. Or because you see them done a lot and learn what the patterns are. A handful of basic tricks — like that 80 percent off is 20 percent of something, or that 20 percent of a thing is one-fifth the original thing — can be stunning. Stage magicians find the same effect.

John Zakour and Scott Roberts’s Working Daze for the 6th is another chance for me to talk about the supposed folly of giving 110 percent. Or point you to where I did already. I’m forgiving of the use of the phrase.

Bob Shannon’s Tough Town for the 7th is the anthropomorphized abacus joke of the week. Been a while since we had one of those. I suppose an adding machine would be at least as good a representative of the abstract concept of doing arithmetic, but it’s likely harder to draw too. This is just tiring to draw.

Zach Weinersmith’s Saturday Morning Breakfast Cereal for the 8th presents the old complaint about mathematics’s utility, here in an ancient setting. I’m intereste that the caveman presents counting in terms of matching up other things to his fingers. We use this matching of one set of things to another even today. It gets us to ordinal and cardinal numbers, and the to what we feel pretty sure about with infinitely large sets. An idea can be ancient and basic and still be vital.

Steve Sicula’s Home and Away for the 9th is about the hatred people profess for mathematics. Some of that is more hatred of how it’s taught, which is too often as a complicated and apparently pointless activity. Some of that is hatred of how it’s used, since it turns up in a lot of jobs. And for some reason we’ve designed society so that we do jobs we don’t like. I don’t know why we think that’s a good idea. We should work on that.

## Reading the Comics, September 22, 2017: Doughnut-Cutting Edition

The back half of last week’s mathematically themed comic strips aren’t all that deep. They make up for it by being numerous. This is how calculus works, so, good job, Comic Strip Master Command. Here’s what I have for you.

Mark Anderson’s Andertoons for the 20th marks its long-awaited return to these Reading The Comics posts. It’s of the traditional form of the student misunderstanding the teacher’s explanations. Arithmetic edition.

Marty Links’s Emmy Lou for the 20th was a rerun from the 22nd of September, 1976. It’s just a name-drop. It’s not like it matters for the joke which textbook was lost. I just include it because, what the heck, might as well.

Jef Mallett’s Frazz for the 21st uses the form of a story problem. It’s a trick question anyway; there’s really no way the Doppler effect is going to make an ice cream truck’s song unrecognizable, not even at highway speeds. Too distant to hear, that’s a possibility. Also I don’t know how strictly regional this is but the ice cream trucks around here have gone in for interrupting the music every couple seconds with some comical sound effect, like a “boing” or something. I don’t know what this hopes to achieve besides altering the timeline of when the ice cream seller goes mad.

Mark Litzler’s Joe Vanilla for the 21st I already snuck in here last week, in talking about ‘x’. The variable does seem like a good starting point. And, yeah, hypothesis block is kind of a thing. There’s nothing quite like staring at a problem that should be interesting and having no idea where to start. This happens even beyond grade school and the story problems you do then. What to do about it? There’s never one thing. Study it a good while, read about related problems a while. Maybe work on something that seems less obscure a while. It’s very much like writer’s block.

Ryan North’s Dinosaur Comics rerun for the 22nd straddles the borders between mathematics, economics, and psychology. It’s a problem about making forecasts about other people’s behavior. It’s a mystery of game theory. I don’t know a proper analysis for this game. I expect it depends on how many rounds you get to play: if you have a sense of what people typically do, you can make a good guess of what they will do. If everyone gets a single shot to play, all kinds of crazy things might happen.

Jef Mallet’s Frazz gets in again on the 22nd with some mathematics gibberish-talk, including some tossing around of the commutative property. Among other mistakes Caulfield was making here, going from “less is more to therefore more is less” isn’t commutation. Commutation is about binary operations, where you match a pair of things to a single thing. The operation commutes if it never matters what the order of the pair of things is. It doesn’t commute if it ever matters, even a single time, what the order is. Commutativity gets introduced in arithmetic where there are some good examples of the thing. Addition and multiplication commute. Subtraction and division don’t. From there it gets forgotten until maybe eventually it turns up in matrix multiplication, which doesn’t commute. And then it gets forgotten once more until maybe group theory. There, whether operations commute or not is as important a divide as the one between vertebrates and invertebrates. But I understand kids not getting why they should care about commuting. Early on it seems like a longwinded way to say what’s obvious about addition.

Michael Cavna’s Warped for the 22nd is the Venn Diagram joke for this round of comics.

Bud Blake’s Tiger rerun for the 23rd starts with a real-world example of your classic story problem. I like the joke in it, and I also like Hugo’s look of betrayal and anger in the second panel. A spot of expressive art will do so good for a joke.

## Reading the Comics, September 19, 2017: Visualization Edition

Comic Strip Master Command apparently doesn’t want me talking about the chances of Friday’s Showcase Showdown. They sent me enough of a flood of mathematically-themed strips that I don’t know when I’ll have the time to talk about the probability of that episode. (The three contestants spinning the wheel all tied, each spinning $1.00. And then in the spin-off, two of the three contestants also spun$1.00. And this after what was already a perfect show, in which the contestants won all six of the pricing games.) Well, I’ll do what comic strips I can this time, and carry on the last week of the Summer 2017 A To Z project, and we’ll see if I can say anything timely for Thursday or Saturday or so.

Jim Scancarelli’s Gasoline Alley for the 17th is a joke about the student embarrassing the teacher. It uses mathematics vocabulary for the specifics. And it does depict one of those moments that never stops, as you learn mathematics. There’s always more vocabulary. There’s good reasons to have so much vocabulary. Having names for things seems to make them easier to work with. We can bundle together ideas about what a thing is like, and what it may do, under a name. I suppose the trouble is that we’ve accepted a convention that we should define terms before we use them. It’s nice, like having the dramatis personae listed at the start of the play. But having that list isn’t the same as saying why anyone should care. I don’t know how to balance the need to make clear up front what one means and the need to not bury someone under a heap of similar-sounding names.

Mac King and Bill King’s Magic in a Minute for the 17th is another puzzle drawn from arithmetic. Look at it now if you want to have the fun of working it out, as I can’t think of anything to say about it that doesn’t spoil how the trick is done. The top commenter does have a suggestion about how to do the problem by breaking one of the unstated assumptions in the problem. This is the kind of puzzle created for people who want to motivate talking about parity or equivalence classes. It’s neat when you can say something of substance about a problem using simple information, though.

Terri Libenson’s Pajama Diaries for the 18th uses trigonometry as the marker for deep thinking. It comes complete with a coherent equation, too. It gives the area of a triangle with two legs that meet at a 45 degree angle. I admit I am uncomfortable with promoting the idea that people who are autistic have some super-reasoning powers. (Also with the pop-culture idea that someone who spots things others don’t is probably at least a bit autistic.) I understand wanting to think someone’s troubles have some compensation. But people are who they are; it’s not like they need to observe some “balance”.

Lee Falk and Wilson McCoy’s The Phantom for the 10th of August, 1950 was rerun Monday. It’s a side bit of joking about between stories. And it uses knowledge of mathematics — and an interest in relativity — as signifier of civilization. I can only hope King Hano does better learning tensors on his own than I do.

Mike Thompson’s Grand Avenue for the 18th goes back to classrooms and stuff for clever answers that subvert the teacher. And I notice, per the title given this edition, that the teacher’s trying to make the abstractness of three minus two tangible, by giving it an example. Which pairs it with …

Will Henry’s Wallace the Brace for the 18th, wherein Wallace asserts that arithmetic is easier if you visualize real things. I agree it seems to help with stuff like basic arithmetic. I wouldn’t want to try taking the cosine of an apple, though. Separating the quantity of a thing from the kind of thing measured is one of those subtle breakthroughs. It’s one of the ways that, for example, modern calculations differ from those of the Ancient Greeks. But it does mean thinking of numbers in, we’d say, a more abstract way than they did, and in a way that seems to tax us more.

Wallace the Brave recently had a book collection published, by the way. I mention because this is one of a handful of comics with a character who likes pinball, and more, who really really loves the Williams game FunHouse. This is an utterly correct choice for favorite pinball game. It’s one of the games that made me a pinball enthusiast.

Ryan North’s Dinosaur Comics rerun for the 19th I mention on loose grounds. In it T-Rex suggests trying out an alternate model for how gravity works. The idea, of what seems to be gravity “really” being the shade cast by massive objects in a particle storm, was explored in the late 17th and early 18th century. It avoids the problem of not being able to quite say what propagates gravitational attraction. But it also doesn’t work, analytically. We would see the planets orbit differently if this were how gravity worked. And there’s the problem about mass and energy absorption, as pointed out in the comic. But it can often be interesting or productive to play with models that don’t work. You might learn something about models that do, or that could.

## Reading the Comics, March 11, 2017: Accountants Edition

And now I can wrap up last week’s delivery from Comic Strip Master Command. It’s only five strips. One certainly stars an accountant. one stars a kid that I believe is being coded to read as an accountant. The rest, I don’t know. I pick Edition titles for flimsy reasons anyway. This’ll do.

Ryan North’s Dinosaur Comics for the 6th is about things that could go wrong. And every molecule of air zipping away from you at once is something which might possibly happen but which is indeed astronomically unlikely. This has been the stuff of nightmares since the late 19th century made probability an important part of physics. The chance all the air near you would zip away at once is impossibly unlikely. But such unlikely events challenge our intuitions about probability. An event that has zero chance of happening might still happen, given enough time and enough opportunities. But we’re not using our time well to worry about that. If nothing else, even if all the air around you did rush away at once, it would almost certainly rush back right away.

Mark Anderson’s Andertoons for the 7th is the Mark Anderson’s Andertoons for last week. It’s another kid-at-the-chalkboard panel. What gets me is that if the kid did keep one for himself then shouldn’t he have written 38?

Brian Basset’s Red and Rover for the 8th mentions fractions. It’s just there as the sort of thing a kid doesn’t find all that naturally compelling. That’s all right I like the bug-eyed squirrel in the first panel.

Bill Holbrook’s On The Fastrack for the 9th concludes the wedding of accountant Fi. It uses the square root symbol so as to make the cake topper clearly mathematical as opposed to just an age.

## Reading the Comics, January 14, 2017: Redeye and Reruns Edition

So for all I worried about the Gocomics.com redesign it’s not bad. The biggest change is it’s removed a side panel and given the space over to the comics. And while it does show comics you haven’t been reading, it only shows one per day. One week in it apparently sticks with the same comic unless you choose to dismiss that. So I’ve had it showing me The Comic Strip That Has A Finale Every Day as a strip I’m not “reading”. I’m delighted how thisbreaks the logic about what it means to “not read” an “ongoing comic strip”. (That strip was a Super-Fun-Pak Comix offering, as part of Ruben Bolling’s Tom the Dancing Bug. It was turned into a regular Gocomics.com feature by someone who got the joke.)

Comic Strip Master Command responded to the change by sending out a lot of comic strips. I’m going to have to divide this week’s entry into two pieces. There’s not deep things to say about most of these comics, but I’ll make do, surely.

Julie Larson’s Dinette Set rerun for the 8th is about one of the great uses of combinatorics. That use is working out how the number of possible things compares to the number of things there are. What’s always staggering is that the number of possible things grows so very very fast. Here one of Larson’s characters claims a science-type show made an assertion about the number of possible ideas a brain could hold. I don’t know if that’s inspired by some actual bit of pop science. I can imagine someone trying to estimate the number of possible states a brain might have.

And that has to be larger than the number of atoms in the universe. Consider: there’s something less than a googol of atoms in the universe. But a person can certainly have the idea of the number 1, or the idea of the number 2, or the idea of the number 3, or so on. I admit a certain sameness seems to exist between the ideas of the numbers 2,038,412,562,593,604 and 2,038,412,582,593,604. But there is a difference. We can out-number the atoms in the universe even before we consider ideas like rabbits or liberal democracy or jellybeans or board games. The universe never had a chance.

Or did it? Is it possible for a number to be too big for the human brain to ponder? If there are more digits in the number than there are atoms in the universe we can’t form any discrete representation of it, after all. … Except that we kind of can. For example, “the largest prime number less than one googolplex” is perfectly understandable. We can’t write it out in digits, I think. But you now have thought of that number, and while you may not know what its millionth decimal digit is, you also have no reason to care what that digit is. This is stepping into the troubled waters of algorithmic complexity.

Bob Weber Jr’s Slylock Fox and Comics for Kids for the 9th is built on soap bubbles. The link between the wand and the soap bubble vanishes quickly once the bubble breaks loose of the wand. But soap films that keep adhered to the wand or mesh can be quite strangely shaped. Soap films are a practical example of a kind of partial differential equations problem. Partial differential equations often appear when we want to talk about shapes and surfaces and materials that tug or deform the material near them. The shape of a soap bubble will be the one that minimizes the torsion stresses of the bubble’s surface. It’s a challenge to solve analytically. It’s still a good challenge to solve numerically. But you can do that most wonderful of things and solve a differential equation experimentally, if you must. It’s old-fashioned. The computer tools to do this have gotten so common it’s hard to justify going to the engineering lab and getting soapy water all over a mathematician’s fingers. But the option is there.

Gordon Bess’s Redeye rerun from the 28th of August, 1970, is one of a string of confused-student jokes. (The strip had a Generic Comedic Western Indian setting, putting it in the vein of Hagar the Horrible and other comic-anachronism comics.) But I wonder if there are kids baffled by numbers getting made several different ways. Experience with recipes and assembly instructions and the like might train someone to thinking there’s one correct way to make something. That could build a bad intuition about what additions can work.

Corey Pandolph’s Barkeater Lake rerun for the 9th just name-drops algebra. And that as a word that starts with the “alj” sound. So far as I’m aware there’s not a clear etymological link between Algeria and algebra, despite both being modified Arabic words. Algebra comes from “al-jabr”, about reuniting broken things. Algeria comes from Algiers, which Wikipedia says derives from `al-jaza’ir”, “the Islands [of the Mazghanna tribe]”.

Guy Gilchrist’s Nancy for the 9th is another mathematics-cameo strip. But it was also the first strip I ran across this week that mentioned mathematics and wasn’t a rerun. I’ll take it.

Donna A Lewis’s Reply All for the 9th has Lizzie accuse her boyfriend of cheating by using mathematics in Scrabble. He seems to just be counting tiles, though. I think Lizzie suspects something like Blackjack card-counting is going on. Since there are only so many of each letter available knowing just how many tiles remain could maybe offer some guidance how to play? But I don’t see how. In Blackjack a player gets to decide whether to take more cards or not. Counting cards can suggest whether it’s more likely or less likely that another card will make the player or dealer bust. Scrabble doesn’t offer that choice. One has to refill up to seven tiles until the tile bag hasn’t got enough left. Perhaps I’m overlooking something; I haven’t played much Scrabble since I was a kid.

Perhaps we can take the strip as portraying the folk belief that mathematicians get to know secret, barely-explainable advantages on ordinary folks. That itself reflects a folk belief that experts of any kind are endowed with vaguely cheating knowledge. I’ll admit being able to go up to a blackboard and write with confidence a bunch of integrals feels a bit like magic. This doesn’t help with Scrabble.

Gordon Bess’s Redeye continued the confused-student thread on the 29th of August, 1970. This one’s a much older joke about resisting word problems.

Ryan North’s Dinosaur Comics rerun for the 10th talks about multiverses. If we allow there to be infinitely many possible universes that would suggest infinitely many different Shakespeares writing enormously many variations of everything. It’s an interesting variant on the monkeys-at-typewriters problem. I noticed how T-Rex put Shakespeare at typewriters too. That’ll have many of the same practical problems as monkeys-at-typewriters do, though. There’ll be a lot of variations that are just a few words or a trivial scene different from what we have, for example. Or there’ll be variants that are completely uninteresting, or so different we can barely recognize them as relevant. And that’s if it’s actually possible for there to be an alternate universe with Shakespeare writing his plays differently. That seems like it should be possible, but we lack evidence that it is.