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:

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