Interesting Esoterica

Proof of Conway's Lost Cosmological Theorem

Article by Shalosh B. Ekhad and Doron Zeilberger
  • Published in 1998
  • Added on
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

Other information

key
ProofofConwaysLostCosmologicalTheorem
type
article
date_added
2017-07-26
date_published
1998-06-10

BibTeX entry

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