Conway's Game of Life
Martin Gardner credits Alvy Ray Smith with the observation that the Garden of Eden theorem applies to Conway's Game of Life, and proves the existence of Gardens of Eden for this rule.