An attempted proof sketch for the total aperiodicity of the Rule 30 elementary cellular automaton.
More art? Rule 22 Rule 37 …and more.
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…
1. horizontal union 2. vertical union