# Proof of Conway's Lost Cosmological Theorem

- Published in 1998
- Added on

In the collections

John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.

## Links

### BibTeX entry

@article{ProofofConwaysLostCosmologicalTheorem, title = {Proof of Conway's Lost Cosmological Theorem}, 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.}, url = {http://arxiv.org/abs/math/9808077v1 http://arxiv.org/pdf/math/9808077v1}, author = {Shalosh B. Ekhad and Doron Zeilberger}, comment = {}, urldate = {2017-07-26}, archivePrefix = {arXiv}, eprint = {math/9808077}, primaryClass = {math.CO}, year = 1998, collections = {Attention-grabbing titles,Basically computer science,Easily explained,The act of doing maths,About proof} }