Die meisten Websites, die ich zum Thema gelesen habe, geben etwas Ähnliches an
"Die einzigen Zweierpotenzen (außer 2 selbst), die in dieser Sequenz auftreten, sind diejenigen mit dem Prim-Exponenten" (MathWorld)
oder
"Nach 2 enthält diese Sequenz die folgenden Potenzen von 2: [...] das sind die Primzahlen von 2." (Wikipedia)
Diese vorsichtigen Formulierungen würden implizieren, dass die in der Sequenz erzeugte Menge von Potenzen von 2 eine Teilmenge von Primzahlen von 2 ist.
Der OEIS scheint jedoch absolut sicher zu sein, dass die beiden Mengen gleich sind: http://oeis.org/A034785
Dieses Ergebnis wird auch auf anderen Websites zitiert, die ich für den genauen Wortlaut als nicht sehr zuverlässig erachte, z. B. http://esolangs.org/wiki/Fractran .
Ehrlich gesagt, ich habe die internen Mechanismen von PRIMEGAME noch nicht genug verstanden, um meine eigene Frage zu beantworten. Ich denke jedoch, dass dies einen signifikanten Unterschied in der Attraktivität von PRIMEGAME ausmacht. Warum sollten Websites wie MathWorld nicht die vollständige Tatsache angeben?