## Dilbert, Infinity, and 17

I dreamed recently that I opened the Sunday comics to find Scott Adams’s Dilbert strip turned into a somewhat lengthy, weird illustrated diatribe about how all numbers smaller than infinity were essentially the same, with the exception of the privileged number 17, which was the number of kinds of finite groups sharing some interesting property. Before I carry on I should point out that I have no reason to think that Scott Adams has any particularly crankish mathematical views, and no reason to think that he thinks much about infinity, finite groups, or the number 17. Imagining he has some fixation on them is wholly the creation of my unconscious or semiconscious mind, whatever parts of mind and body create dreams. But there are some points I can talk about from that start.

First I should say what a finite group is. It’s not important to the imaginary screed, but, it’s an interesting idea that doesn’t get a lot of pop mathematical attention. Groups, in this context, are creations of abstract algebra. Ordinary algebra, such as you deal with in middle or high school when suddenly arithmetic involves spelling, challenges you to do arithmetic when you don’t know what one or more of the numbers are: suppose that all you know about a number is that three times it minus four is equal to twice it plus two; what can you conclude from that? Abstract algebra looks at the question of can you do the operations of arithmetic, things like addition and subtraction, multiplication, maybe even division, without it having to be numbers you add together? Can you add together other stuff?

A group is a collection of things on which, yes, you can do addition and subtraction. We don’t worry about multiplication, or division (if you can do them, you call the group a ring, or a field, respectively). In some cases this looks obviously like addition and subtraction. Imagine taking an object and rotating it either clockwise or counterclockwise; you can easily say that rotating it some angle clockwise, and then clockwise again, looks like adding two numbers together. Rotating it clockwise, then counterclockwise, looks like adding a number and then subtracting it.

In some cases the structure is less familiar. Imagine that you have a square, and you’re allowed to rotate it, but only 90, 180, 270, or 360 degrees clockwise or counterclockwise; that is, when you set it down, the corners have to be pinned down to the spots the corners were originally in (although the corners themselves can change spots). This addition and subtraction still works, but you only have a couple of possible elements to add or subtract. But that still looks like ordinary arithmetic, just, using the whole numbers 0, 1, 2, and 3, with any number larger than 3 or less than 0 looped back around: 3 + 1 is 0, and a 270 degree rotation plus a 90 degree rotation is a 0 degree rotation; 2 + 3 is 1, and 180 degrees plus 270 degrees is indistinguishable from 90 degrees.

In some cases the correspondence between addition and subtraction is hard to identify. For example, imagine that you have a couple of characters, such as — from today’s Jumble — “PRELUP”. You can think of unscrambling this as swapping any pair of letters, like, the second and fifth, or the third and fourth. These swaps — not the letters, but the idea of swapping the second and fifth letters in a string — done in order are like addition, and you can make a group out of these swapping instructions.

So that’s groups: collections of things that are not necessarily numbers, on which you can do something that works like addition and subtraction. The real definition is more precise than that, but this should make the idea not so intimidating and abstract.

A finite group is just a group — a collection of things on which you can do addition and subtraction — where there’s only finitely many different things to add or subtract. The whole numbers aren’t a finite group, but, the rotations of that square (there’s only four to be done there), or the swaps of letters (for “PRELUP” there’s only — well, that’s a fun little puzzle for after you’ve figured what word that is), are finite groups.

Classifications of groups, well, that’s a little bit like classifying birds or flowers. When you look at their structures you might spot that they look very nearly the same, or they have structures that are the same. For example, it’s possible for a group to have a subgroup, a collection of pieces within it that, by the same rules for addition and subtraction, is itself a group. It’s possible to have subgroups that have really wild properties that take me too far away from my main point to describe here.

So this would just be the background of what my imaginary Scott Adams decided was so all-fired important that it should take over his strip for an imaginary Sunday: the discovery that there was some classification of finite groups which had exactly seventeen different kinds of groups in it, and that this was somehow unique to all numbers less than infinity.

In my dream I only skimmed over the dense scrawling of the argument, partly because that’s what all extremely wordy cartoons get (I don’t disparage cartoonists wanting to write — good writing is always precious — but it can get too much), partly because, well, infinity is one of those things that gets cranky writers a lot, and it’s almost never worth reading. The arguments tend to be loopy or vapid, when they can be made out at all.

It’s too glib to say that every scientific or related field thinks they get the most amateur cranks intruding with what has been so well described as “not even wrong” screeds. I think mathematics is prone to such, since the barriers for entry are quite low: in principle, you just need the ability to reason. I suppose philosophy suffers the same problem, and I have heard that judges are getting fed up with extraordinarily complicated loopy screeds that have to be read carefully just in case the self-representing party has hit on something that’s a coherent legal argument, but I don’t know from experience.

But not all fields of math get crankish submissions. I can’t remember seeing anything about directed graphs and sign nonsingular matrices, for example, probably because you don’t even hear about those until you’ve gotten fairly well into a mathematics education. You might suspect I just made those terms up; I promise I didn’t. Even if someone moderately mathematics-nutty gets to that point, there’s almost nobody it can be communicated to.

In comparison, infinity is a very welcoming subject for the novice mathematician. What’s probably the most remarkable result — that there are different sizes of infinity, and indeed, there are infinitely many different sizes of infinity — is so accessible that its core gimmick, Cantor’s Diagonal Argument, could be understood correctly in elementary school. *[Edit: I mean, here, just showing there are more reals than there are integers, the version where you get shown lists of numbers between 0 and 1. The Power Set version is a bigger challenge.]* It’s about as easy to understand the thing being talked about as it is to understand the statements of Fermat’s Last Theorem, or the Goldbach Conjecture, or the classic Greek compass-and-straightedge problems of squaring the circle or trisecting an angle. (The other great problem of classic Greek compass-and-straightedge mathematics which can’t be done, the doubling of the cube, gets little attention, possibly because it’s so hard to draw solid geometry if you aren’t a tolerably skilled artist.)

Once you have grasped the idea that the set of real numbers is bigger than the set of integers — and many never get to that point — the next staggering idea, that it’s literally undecidable whether the set of real numbers is the smallest set bigger than the integers, or whether there’s an infinite set of size between the two (or whether there’s many such sets), is easy to hear and still the more staggering. This isn’t a matter of “we don’t know”; it’s a matter of, based on the rules of set theory up to that point, we can build logically consistent mathematics by assuming there’s no infinities of intermediate size, or assuming there’s one, or assuming there’s many. The rules are consistent whatever way, just as the rules of baseball are consistent with there being eight teams in the league, or sixteen, or as few as two or as many as a hundred. (I suppose they’re consistent with one or zero teams, but the pennant races are duller.)

So accessibility is probably important to a field drawing cranks. As best I can tell from the physics side of things the favorite crank magnet is special relativity, the important reasoning behind which is open to anyone who’s got the hang of the Pythagorean Theorem, and maybe who’s comfortable using a letter in place of a number since it’s quite convenient to speak of arbitrary velocities *v* and to replace the speed of light with the letter *c*. Quantum mechanics gets a fair amount of crankery too, although since you can’t do most of it without advanced calculus, what really gets built upon is the pop science treatment, which for sad but logical reasons hypes up the “spooky” and “mysterious” and ignores how sound and predictable the subject is. (However, I do recommend Richard Feynman’s QED as it teaches some of the most important stuff using a scheme that looks weirdly arbitrary, but tucks all the trick calculus parts off where they don’t have to bother the reader who doesn’t know calculus. It’s a masterpiece of popular science.)

In biology, evolutionary theory attracts all the attention, possibly in part because — as Adam Gropnik points out in Angels and Ages — Charles Darwin’s The Origin Of Species is pretty near the only important scientific result whose presentation is reliably read for pleasure, or can be. (The only other candidate I can think of is Euclid’s Elements and that’s a distant second. One might fairly quibble that the Elements are more a textbook of mathematics than a collection of fresh results.) I grant there’s some religious influences there too.

Sometimes arguments about infinities attract religious overtones too, since infinity has connotations of being the domain of God. The sense I get is infinity-cranks tend to find the infinity of different infinities an affront to God. I suspect that if I believed there were a God who could make something mathematically sound or not — and I can’t figure any way to do that, since the conclusions follow from deductive logic, with no room for God to rule anything in or out — the idea there could be this incredible structure to the incredible would inspire awe at the work, not horror. But I don’t have any particularly crankish thoughts about infinity, at least not that I’ve noticed.

So all this is why I can imagine someone deciding to write a screed about infinities and how everything which isn’t an infinity is essentially the same thing. Why I should imagine someone getting into finite groups I can’t be quite as sure about, although quite a few neat and accessible mathematics problems, Fermat’s Last Theorem among them, encourage one into the study of how arithmetic works, which takes one to abstract algebra and to groups almost right away, and serve as good places to crash up. Why Scott Adams, I can’t say. Possibly I know Bill Amend wouldn’t do such a thing in FoxTrot. The 17 is probably because it’s the least random of numbers.

## elkement 7:10 pm

onThursday, 8 November, 2012 Permalink |Interesting – I would have guessed that math isn’t at all subject to so-called crankery. As for physics, I think many ‘outsider physicists’ try to develop a whole theory of the universe from scratch, including particles and gravity.

I have read an interesting account of Margaret Wertheim on this recently – http://physicsonthefringe.com . She portrays a typical physics outsider, and this narrative has confirmed my theory: Outsiders(*) sometimes seem to believe or hope that there needs to be an explanation of ‘the world’ that does not require all that advanced math – even if there are already valid explanations in ‘orthodox physics’. That’s why I wondered that there is something as math crankery.

(*) I am reluctant to use terms like crackpot or cranks – for the same reasons as Wertheim – despite the fact I enjoy dissecting the theories.

LikeLike

## Joseph Nebus 4:38 am

onFriday, 9 November, 2012 Permalink |I haven’t read Wertheim’s book, although seeing the cover makes me realize I did consider it at the bookstore. Your foot note raises a fair point; it’s prejudicial to call such things crank work, at least before the work’s been looked at. Mathematics is a field where the amateur or outsider can enter and have a reasonable hope of doing meaningful work.

But, yeah, mathematics does enjoy a streak of fringe work. The most notorious such work tends to focus on questions that don’t require any mathematics to hear about, such as Fermat’s Last Theorem — there was one person on the Usenet group sci.math who spent an eight-year and utterly compelling odyssey of proving Fermat’s Last Theorem over and over and over again, wrong every time, and eventually spun it out into a factorization algorithm that produced the most hilarious attempted factorization of 15 I imagine I will ever see (several thousand words in it hadn’t got anywhere near three or five) — or whether pi can be written as a rational number.

Easy as the challenges are to state, these aren’t ones that have easy answers; indeed, just explaining why the answers aren’t easy tends not to be easy. That seems consistent with the idea that there’s a hope for explanations of the world that don’t require advanced math.

LikeLike

## Geoffrey Brent (@GeoffreyBrent) 2:26 am

onWednesday, 16 January, 2013 Permalink |Sorry I missed this discussion when it first appeared…

Unfortunately, mathematics gets its share of cranks. You can see a selection of amateur cranks over at http://en.wikipedia.org/wiki/Talk:0.999…/Arguments where people argue about whether 0.999999… is equal to 1.

My reading of this: although we have a rigorous logical framework for mathematics, that’s not really the whole picture. For many people – even sensible mathematicians – mathematical work begins with intuition. Long before we fill in a rigorous proof, intuition is telling us what the answer SHOULD look like, and that directs the process. (If it weren’t so, we’d just be exercising a breadth-first search over the space of all mathematical proofs – and mathematicians would be obsolete, because a computer does that better and faster.)

Intuition doesn’t always work; even Ramanujan got it wrong occasionally. A good mathematician acknowledges when they can’t find a solid proof to support their intuition, but some bad mathematicians mangle the logic to fit their intuition.

Topics relating to infinity are popular crank-bait, because there are a lot of non-intuitive results combined with some imprecise terminology. Negative numbers also cause trouble occasionally: e.g. some folk refuse to accept that -1 * -1 = +1, and I suspect this is because they’re attached to an intuitive understanding of a minus sign as “making smaller”.

And then there are the moral objectors. A lot of people try to view everything in life through a religious/pseudoreligious lens, mathematics included. Georg Cantor’s work on infinite sets is well accepted by modern mathematicians, but in his own day a lot of eminent mathematicians and philosophers took great exception, as some cranks still do. If you’re a monotheist who believes that infinity = God, and then Cantor comes along with a proof that there are many different types of infinity and some are larger than others, that’s a difficult pill to swallow.

On a side note: I don’t know whether Scott Adams has crankish views about mathematics as such, but he DEFINITELY has crankish views about many other things, including evolution and physics.

LikeLike

## Joseph Nebus 11:56 pm

onWednesday, 16 January, 2013 Permalink |I do think the role of intuition in mathematics is understated, probably as part of a well-meant attempt to highlight how mathematics is utterly logical and reasonable. Thinking over the specification of a problem and concluding, “oh, it must be” and then following that up with “because of symmetries” and maybe later on “because in the limiting case this becomes almost everywhere indistinguishable from a uniform distribution” is a fun narrative but nobody wants to hear about the narrative of your silly little four-page paper on point charge equilibriums.

You’re probably right about moral objections being part of what attracts certain topics to, to be charitable, nonstandard opinions, particularly from people who haven’t got much experience in the field. I only just learned (or became aware) that Robert Heinlein offered Cantor-as-obscurantist-nonsense sentiments in a couple of his later novels. (Since I haven’t read Number of the Beast or Time Enough For Love, what with their being late-era Robert Heinlein novels and my being able to learn from experience, I can’t say whether they’re offered as opinions of the characters or of the narrator, and I am aware the viewpoint of a book’s narrator is not necessarily the viewpoint of the author, and that an author may advance a contrary view just because it’s interesting.)

Now that you mention I remember Scott Adams expressing crankish views about evolution (I remember some amusement in rec.arts.comics.strips over it), although I missed any physics points he might have said something dumb about. I feel cynical that I suppose he might have offered opinions regarding climatology which are at considerable variance from the generally accepted understandings of the field.

LikeLike

## Reading the Comics, November 11, 2012 | nebusresearch 10:57 pm

onSunday, 11 November, 2012 Permalink |[…] Dilbert, Infinity, and 17 […]

LikeLike

## Your Questions About What Type Of Math Is On The Asvab | Practice ASVAB Questions 6:05 am

onMonday, 3 December, 2012 Permalink |[…] polynomials over finite fields of large characteristic, and a regularity lemma for definable setsDilbert, Infinity, and 17 .recentcomments a{display:inline !important;padding:0 !important;margin:0 […]

LikeLike