On the persistence of zeros in Rule 30

An attempted proof sketch for the total aperiodicity of the Rule 30 elementary cellular automaton.

ECA matrices

More art? Rule 22 Rule 37 …and more.

factor pushing

Factor pushing is an idea I came up with when trying to establish an easy proof of the existence of a prime in $(n,n^2)$. I haven’t managed that yet, but it’s still on my bucket list. To do it, you take some set of numbers, write them out in a row, and then generate new…

h vs. v

1. horizontal union 2. vertical union