Proof of Conway's Lost Cosmological Theorem
arXiv:math/9808077
Abstract
John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.
Plain TeX
arXiv:math/9808077
John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.
Plain TeX