Wolfram blocked publication of a mathematical proof with a court order

The Rule 110 cellular automaton (often called simply Rule 110) is an elementary cellular automaton with interesting behavior on the boundary between stability and chaos. In this respect, it is similar to Conway's Game of Life: like the Game of Life, Rule 110 with a particular…