Talk:Universal constructor
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.