, 27 tweets, 7 min read Read on Twitter
I think it’s time for a thread on the cultural history of this tweet. (1/?)
Martin Gardner wrote the Mathematical Games column in Scientific American every month for 24 complete years, from 1957 to 1980.

Douglas Hofstadter took over the column, and, in an attempt to step out of Gardner’s shadow, renamed it with an anagram: Metamagical Themas.
For the whole of 1981, Hofstadter’s new Metamagical Themas column alternated with Gardner’s Mathematical Games, before Gardner finally retired from writing the column at the end of the year.
Hofstadter’s first column, in January 1981, was about self-referential sentences, an abiding obsession of his.

He received many letters in response and, a year later in January 1982, returned to the subject.

One response quoted there was from Lee Sallows, an electronic engineer
In February 1983, the Dutch writer Rudy Kousbroek wrote an article for the Dutch newspaper NRC Handelsblad about the remarkable sentence Lee Sallows had discovered and – to Sallows’ astonishment – including a translation into Dutch.
Unfortunately for Kousbroek, Lee Sallows *was* fool enough to take the trouble to verify it, and he found some mistakes: some letters whose count did not match.
Alerted to the errors, Kousbroek was able to find a corrected version very quickly, which he published a month later, in March 1983, in the same newspaper.
In revenge, Kousbroek followed his correction with a Dutch pangram of perfect elegance, with no extraneous words at all, and challenged Sallows to translate it into English.
Thus began Lee Sallows’ epic quest for the perfect self-enumerating pangram.

At first he tried to find a solution by hand. He did find a solution of sorts, but only by cheating a little:
Having given up on finding a solution by hand, he turned to computer search, and wrote a program for the VAX 11/780 to search for solutions.

After it had been running for several nights, it occurred to him to estimate how long it would take to run to completion.
He was somewhat taken aback to discover that it would take 31.7 million years.
Lee Sallows therefore decided that, being an electronic engineer, he should build a special-purpose electronic machine to search for solutions.

The first version took three months of hard work to design and build.
The machine was turned on with great ceremony, and ran for 22 days. On the 25th October 1983, the machine completed its search.

It found no solution.
While the machine had been running, Sallows had been contemplating its design, and it took him only a month to build its successor: the Pangram Machine Mark II.
The new machine could run a complete search in a matter of hours rather than days, and Sallows tried several different openings.

“This pangram comprises …”
“This pangram consists of …”
“This pangram uses …”
“This pangram employs …”
“This pangram has…”

No solutions.
An anachronistic interjection: a couple of years later, Edward S Miller discovered, using a computer search, that several of these openings *do* have solutions; so Sallows’ machine was clearly not allowing for all possibilities.
Shortly thereafter, he struck gold.
Then he had the bright idea of replacing the final “and” with an ampersand, and discovered this “magnificent trophy”: This pangram contains four a’s, one b, two c’s, one d, thirty e’s, six f’s, five g’s, seven h’s, eleven i’s, one j, one k, two l’s, two m’s, eighteen n’s, fifteen o’s, two p’s, one q, five r’s, twenty-seven s’s, eighteen t’s, two u’s, seven v’s, eight w’s, two x’s, three y’s, & one z.
You can read Lee Sallows’ own account of his adventure here: leesallows.com/files/In%20Que…
His final glorious solution will even fit in a tweet, if you change the punctuation:
“This pangram contains four As, one B, two Cs, one D, thirty Es, six Fs, five Gs, seven Hs, eleven Is, one J, one K, two Ls, two Ms, eighteen Ns, fifteen Os, two Ps, one Q, five Rs, twenty-seven Ss, eighteen Ts, two Us, seven Vs, eight Ws, two Xs, three Ys, & one Z.”
For a thorough history of self-enumerating pangrams up to 1999, Eric Wassenaar’s document is an amazing resource: web.archive.org/web/2013052420…
As for how I found the autogrammatic tweet, I used a remarkable program written by @chrispatuzzo.
It’s remarkable, among other things, for being written in a programming language of his own invention which (in my limited understanding) compiles down to instances of the Boolean satisfiability problem, and uses a SAT solver as its runtime. sentient-lang.org
There’s a wonderful interview with @chrispatuzzo at whyarecomputers.com/4 (audio and transcript), where he talks about the development of the language, among other interesting things.
Somewhere along the way, in November 2015, Patuzzo found a truly extraordinary self-referential sentence:
Matthias Belz’s site autograms.net includes subsequent refinements of this idea, from @userjjb and Belz himself.

Here’s one where the percentages are exactly correct, rather than only to one decimal place.
Missing some Tweet in this thread?
You can try to force a refresh.

Like this thread? Get email updates or save it to PDF!

Subscribe to Robin Houston
Profile picture

Get real-time email alerts when new unrolls are available from this author!

This content may be removed anytime!

Twitter may remove this content at anytime, convert it as a PDF, save and print for later use!

Try unrolling a thread yourself!

how to unroll video

1) Follow Thread Reader App on Twitter so you can easily mention us!

2) Go to a Twitter thread (series of Tweets by the same owner) and mention us with a keyword "unroll" @threadreaderapp unroll

You can practice here first or read more on our help page!

Follow Us on Twitter!

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just three indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3.00/month or $30.00/year) and get exclusive features!

Become Premium

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!