Sebagian besar situs yang saya kunjungi membaca tentang topik menarik ini menyatakan sesuatu di sepanjang baris
"Satu-satunya kekuatan dua (selain 2 itu sendiri) yang muncul dalam urutan ini adalah yang memiliki eksponen utama" (MathWorld)
atau
"Setelah 2, urutan ini berisi kekuatan 2 berikut: [...] yang merupakan kekuatan utama 2." (Wikipedia)
Formulasi yang hati-hati ini akan menyiratkan bahwa himpunan kekuatan 2 yang dihasilkan dalam urutan adalah bagian dari kekuatan utama 2.
Namun, OEIS tampaknya benar-benar yakin bahwa kedua perangkat itu sama: http://oeis.org/A034785
Hasil ini juga dikutip di situs lain yang saya pikir tidak terlalu andal untuk kata-kata yang tepat, seperti http://esolangs.org/wiki/Fractran .
Sejujurnya, saya belum cukup memahami mekanisme internal PRIMEGAME untuk menjawab pertanyaan saya sendiri. Namun, saya pikir itu membuat perbedaan yang signifikan dalam daya tarik PRIMEGAME. Mengapa situs seperti MathWorld tidak menyatakan fakta lengkap?
Jawaban:
Ya, PRIMEGAME menghasilkan jika dan hanya jika k adalah prima.2k k
Kertas asli Conway layak dibaca jika Anda dapat melacaknya. Anda juga dapat menemukan eksposisi yang sangat jelas dalam makalah Richard Guy, mesin penghasil utama Conway ( Majalah Matematika 56 (1): 26–33, 1983), termasuk kartun indah di bawah ini. (Ya, itu Conway dengan tanduk Alexander, mengacu pada gambar terkenal oleh Simon Fraser.) Conway sendiri memposting bukti singkat di milis matematika-menyenangkan . Ada juga penjelasan singkat di blog OEIS .
sumber