The OEIS meta sequence and subway stations

Hacker News Top News

Summary

Explores the OEIS meta sequence A051070, where each term is the n-th term of sequence A_n, highlighting quirky entries involving New York subway stops and the paradoxical self-reference of sequence A102288.

No content available
Original Article
View Cached Full Text

Cached at: 05/20/26, 11:30 PM

# The OEIS meta sequence and subway stations Source: [https://www.jeremykun.com/shortform/2026-04-09-0556/](https://www.jeremykun.com/shortform/2026-04-09-0556/) [A051070](https://oeis.org/A051070)is a sequence about OEIS sequences\. a\(n\) is the n\-th term in sequence A\_n \(or \-1 if A\_n doesn’t have enough terms\)\. So the first term in A051070 is 1 because A000001 is the number of groups of order n, and that sequence has 1 as its entry in index 1\. A000002 is the Kolakoski sequence \(what? For another time\) and has value 2 in entry 2\. The sequence continues: 1, 2, 1, 0, 2, 3, 0, 7, 8, 4, 63, 1, 316, … At first you might think, “what in the Gödel?” What if the arbitrary indexing of the OEIS changes over time? Aren’t these sequences supposed to be defined by mathematical rules? Not the fun ones, apparently\. In the comments, Pontus von Brömssen noted that a\(58\) has 58669977298272603 digits, so it’s too large to include in the database entry for A051070\. a\(66\) is the first unknown value, because A000066 \(Smallest number of vertices in trivalent graph with girth \(shortest cycle\) = n\) is only known up to 12 vertices\. And then we get to my two favorite quirks about this sequence\. The first is that the first time a\(n\) = \-1 occurs, it’s for n = 53 and 54, quoting the OEIS, “in both cases because the relevant New York subway lines do not have enough stops\.” What? Why are New York Subway lines involved? Turns out, the OEIS has roughly a dozen sequences of numbered stops on train lines\. A000053 is “Local stops on New York City 1 Train \(Broadway\-7 Avenue Local\) subway\.” A001049 is “Numbered stops in Manhattan on the Lexington Avenue subway\.” Of course, this chips away even further at the idea that OEIS sequences need to have a mathematical definition removed from worldly messiness\. Digging around, I could only find a short note in[this Numberphile video](https://www.youtube.com/watch?v=ydn7s9-3GRc)where Neil Sloane \(who created OEIS and added these entries\) mentioned that they’re commonly used on math quizzes and tests\. If you know someone who has used train lines on their quizzes, and didn’t already know about these OEIS entries, please let me know\. I need this to be a common organic experience\. The second quirk is that A051070 leaves open the question of what the value of a\(51070\) is\. It gets worse with[A102288](https://oeis.org/A102288), which is defined as 1 \+ the n\-th term in sequence A\_n\. \(There are some slight differences about offsets here, but I’m using A102288 because it has juicier comments\) Even if there was a default value for the 102288\-th entry in this sequence, it would contradict its own definition\. There is an argument in the comments section, which starts with an unattributed “What is a\(102288\)?\!” M\. F\. Hasler complained in 2017: “The term a\(102288\) has no possible value according to the present definition, so the definition of this term should be changed\.” Neil Sloane replied the same day: “I disagree with the previous comment\! I prefer the present, deliberately paradoxical, definition\.” In the age\-old battle between whimsy and well\-definedness, whimsy wins again\. --- ---

Similar Articles

Unusual uses of OEIS sequences on GitHub

Hacker News Top

This article explores quirky real-world uses of OEIS integer sequences found in open-source code on GitHub, including music generation frameworks, a pen tool for e-readers, and a geocaching app.

Slava's Monoid Zoo

Hacker News Top

A personal research page cataloging small finitely-presented monoids and their word-problem difficulty, motivated by Swift compiler’s use of Knuth-Bendix completion for generic-signature equivalence.

Extraordinary Ordinals

Lobsters Hottest

An academic exploration of various encodings for ordinal numbers within lambda calculus, comparing Linear, Affine, and Non-Linear systems including Mackie and Parigot encodings.

What are you doing this week?

Lobsters Hottest

The author shares a personal project implementing the Red & Black knights pattern from a Numberphile video, finding joy in the emergent patterns from a number spiral, and plans to optimize and extend it.

Sum-product, unit distances, and number fields

Hacker News Top

Thomas Bloom provides an expository blog post on recent counterexamples to the Erdős unit distance conjecture and sum-product conjecture over the reals, including an OpenAI-assisted disproof of the unit distance conjecture and a collaborative disproof of the sum-product conjecture, sketching the constructions and intuition behind them.