Talk:Universal constructor

From LifeWiki
Jump to navigation Jump to search

> ... it has not been proven that all possible glider fleets are constructible...

Hmm, this isn't exactly true any more. All glider fleets are definitely constructible:

http://conwaylife.com/forums/viewtopic.php?f=2&t=1512&p=23828#p23813

It's just a matter of formalizing the proof a little bit, to make it as simple as possible.