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.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- August 1998
- DOI:
- 10.48550/arXiv.math/9808077
- arXiv:
- arXiv:math/9808077
- Bibcode:
- 1998math......8077E
- Keywords:
-
- Mathematics - Combinatorics
- E-Print:
- Plain TeX