Proof of Conway's Lost Cosmological Theorem

Shalosh B. Ekhad, Doron Zeilberger

Published: 1998-08-17

Comments: Plain TeX

Note:

Journal: Electronic Research Announcements of the Amer. Math. Soc. 3(1997), 78-82

DOI: 10.1090/s1079-6762-97-00026-7

sequence

# BIB PDF ARXIV

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.

arXiv++ Combinatorics

Proof of Conway's Lost Cosmological Theorem

Abstract

BibTeX