Proof of Conway's Lost Cosmological Theorem
Combinatorics
2007-05-23 v1
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.
Cite
@article{arxiv.math/9808077,
title = {Proof of Conway's Lost Cosmological Theorem},
author = {Shalosh B. Ekhad and Doron Zeilberger},
journal= {arXiv preprint arXiv:math/9808077},
year = {2007}
}
Comments
Plain TeX