Większość stron, które odwiedziłem czytając ten interesujący temat, podaje coś podobnego
„jedynymi potęgami dwóch (innych niż 2), które występują w tej sekwencji, są te z głównym wykładnikiem potęgi” (MathWorld)
lub
„Po 2 sekwencja ta zawiera następujące potęgi 2: [...], które są podstawowymi potęgami 2”. (Wikipedia)
Te staranne sformułowania sugerowałyby, że zbiór potęg 2 generowanych w sekwencji jest podzbiorem potęg pierwszych 2.
Jednak OEIS wydaje się absolutnie pewne, że oba zestawy są równe: http://oeis.org/A034785
Ten wynik jest również cytowany na innych stronach, które nie uważam za bardzo wiarygodne pod względem dokładnego sformułowania, takich jak http://esolangs.org/wiki/Fractran .
Szczerze mówiąc, nie zrozumiałem jeszcze wewnętrznej mechaniki PRIMEGAME, aby odpowiedzieć na moje własne pytanie. Myślę jednak, że ma to znaczący wpływ na ciekawość PRIMEGAME. Dlaczego strony takie jak MathWorld nie przedstawiają pełnego faktu?
źródło
Odpowiedzi:
Tak, PRIMEGAME generuje wtedy i tylko wtedy, gdy k2)k k jest liczbą pierwszą.
Oryginalny papier Conwaya jest wart przeczytania, jeśli możesz go wyśledzić. Bardzo wyraźną ekspozycję można także znaleźć w artykule Richarda Guya, głównej maszynie produkcyjnej Conwaya ( Mathematics Magazine 56 (1): 26–33, 1983), w tym wspaniałą kreskówkę poniżej. (Tak, to Conway z rogami Aleksandra, nawiązujący do słynnego rysunku Simona Frasera). Sam Conway umieścił zwięzły dowód na liście matematycznej . Istnieje również krótkie wyjaśnienie na blogu OEIS .
źródło