What would this mean? You could have a rule that just implemented rule 30 for one adjacent row or column of the plane, but that would just give you stripes of 1d rule 30. Is there some obvious way of generalizing the 1d rules to 2d that I'm missing? What properties would you expect to be conserved?
My main attack vector is to build up a simple new math starting with just 1 and 0 to define both the problem and solution in and see where it goes, hopefully creating useful side effects along the way. If I were to solve a problem my hunch is it will be related to impossibilities in formally defining "infinite sequence" in the problem definition in such a language.
