Skip to the view

Centerline

Every arrow a theorem.

✓ Verify it yourself (verify it yourself)

Switch vantage You are reading as

Wolfram's Rule 30 Prize · Problem 1

Does the center column of Rule 30 ever repeat?

Six vantages, one proof

About

Centerline is the stakeholder view of the Rule 30 Problem 1 formalization, rendered by bin/r30 view render from frontier.toml; the register is the source and the kernel is the judge. Every vantage is a lesson Presentation.lex.tex declares step by step and the kernel decides to be complete; so is this page's navigation (the WAI-ARIA Authoring Practices) and its design system (WCAG 2.2 contrast, decided).

Find your way

Standards this page implements

An independent research effort; not affiliated with, endorsed by, or imitating Wolfram Research or the Rule 30 Prize. Logo: the first twelve rows of Rule 30 from a single black cell, the center column in amber.