4 ms·
Can automated theorem proving software be coaxed into finding recipes for GOL constructions? I would find it interesting trying to formalize notions that we ea
by sagebird 4y ago
Can automated theorem proving software be coaxed into finding recipes for GOL constructions?
I would find it interesting trying to formalize notions that we easily perceive into computer-understood definitions.
May end up with strange formalizations to make things as orthogonal as possible: IE a beehive is a glider speed zero.
- OscarCunningham 4y agoI have a program called LLS that uses SAT solvers to find patterns with specified properties. https://conwaylife.com/wiki/Logic_Life_Search https://conwaylife.com/wiki/Logic_Life_Search But it only works cell-by-cell, so it can't make big patterns like this.
- aidenn0 4y agoSAT has been used to find many things in GoL. IIRC the first "grandfatherless" pattern was found with one.