Hello, Selamat datang di wikitanic.com.
John Horton Conway (1937–2020) pada tahun 2009 [Photo (c) Denise Applewhite, Princeton University]
Dalam penghargaan memorial di Notices of the American Mathematical Society (Ryba, et al, 2022), Dierk Schleicher menulis tentang bagaimana dia meyakinkan John Conway untuk menerbitkan makalah, “Tentang masalah aritmatika yang tidak dapat diselesaikan”, yang mencakup diskusi tentang Permutasi Amusik. Makalah ini, yang membahas pernyataan aritmatika yang hampir pasti benar tetapi kemungkinan besar tidak dapat dibuktikan, terpilih untuk “The Best Writing on Mathematics” edisi 2014, yang diterbitkan oleh Princeton University Press [Pitici, 2014]. Permutasi Amusik adalah upaya untuk menemukan urutan sederhana yang perilakunya tidak dapat diputuskan.
Dugaan Collatz
Peta Collatz didefinisikan secara sederhana. Ini adalah peta pada bilangan asli: bilangan genap dipetakan ke
; angka ganjil
dipetakan ke
. Ini dikenal sebagai peta HOTPO (HOTPO = Half Atau Triple Plus One). Sejak
ganjil, nomor
harus genap, kita dapat menggabungkan dua langkah dan menulis peta dalam bentuk padat
Peta ini, untuk argumen dari 1 sampai 100, diilustrasikan pada Gambar di bawah ini.
Peta Collatz (padat). untuk 100 nomor pertama.
Ketika peta Collatz diulang, urutan angka diperoleh. Eksperimen numerik menunjukkan bahwa, dalam semua kasus, urutan yang muncul dari peta yang diringkas (1) memasuki siklus atau sederhana
. Itu Dugaan Collatz adalah bahwa siklus ini dicapai dari semua nilai awal
tapi tidak ada bukti yang pernah ditemukan.
Conway (2013) berspekulasi bahwa Konjektur Collatz “tidak dapat diselesaikan”. Maksudnya, hal itu tidak dapat dibuktikan atau disangkal dari aksioma dasar teori himpunan. Itu ditunjukkan oleh Kurt Gödel pada tahun 1931 bahwa selalu ada masalah yang tidak dapat diputuskan, dan Conway, yang curiga bahwa masalah seperti itu mungkin sangat umum, bertanya apa pernyataan benar paling sederhana yang tidak dapat dibuktikan atau disangkal. Dia membahas sejumlah kandidat, termasuk fungsi Collatz, dan menganalisis kasus tertentu, yang disebutnya permutasi musikal.
Permutasi Amusik
Automorfisme dapat didefinisikan sebagai berikut:
Kami mencatat bahwa, berbeda dengan peta Collatz, fungsi ini dapat dibalik, sehingga dapat “dijalankan” di kedua arah. Tindakan fungsi pada yang pertama angka ditunjukkan pada Gambar berikut:
Permutasi lucu untuk 100 angka pertama.
Conway mempresentasikan empat siklus terbatas, yang dia yakini sebagai satu-satunya siklus untuk peta tersebut:
Dia juga mencantumkan beberapa nilai dari apa yang diduga sebagai urutan tak terbatas. Tidak ada bukti yang tersedia, tetapi bukti numeriknya meyakinkan. Misalnya, urutan mulai dari angka 8 dihitung sebanyak 200.000 iterasi, ketika nilainya melebihi . Hampir tidak mungkin untuk percaya bahwa istilah dengan nilai 8 akan pernah muncul kembali.
Argumen probabilistik mendukung pernyataan bahwa tidak ada lagi siklus berhingga. Sebuah angka akan dikalikan (kurang-lebih) dengan
jika bahkan atau oleh
jika ganjil. Mari kita asumsikan bahwa nilai genap dan ganjil dari
sama-sama mungkin. Kemudian, rata-rata jumlahnya dikalikan dengan
. Dalam dua belas iterasi peta, faktornya adalah
atau perkiraan penggandaan. Jadi, begitu jumlahnya besar, sangat sulit untuk membayangkan bahwa ia akan kembali ke nilai kecil untuk menyelesaikan siklusnya. Ini bukan bukti apa pun, tetapi “secara probabilistik jelas” atau, seperti yang dikatakan Conway, jelas.
Mengapa “Amusik”?
Dalam penyetelan Pythagoras, seluruh tangga nada kromatik dihasilkan dari urutan seperlima musik, dengan nada yang memiliki rasio frekuensi . Ketika produk melebihi
, pindah ke oktaf yang lebih tinggi, itu diperkecil setengahnya. Setelah dua belas iterasi, faktornya adalah
Jika faktor ini sama dengan 1, siklus akan tertutup, tetapi rasio kekuatan 2 dan 3 tidak mungkin sama dengan 1. Perbedaan kecil ini dikenal sebagai diskrepansi enharmonik, dan rasio dalam (3) disebut koma Pythagoras. Ini adalah inspirasi untuk nama Conway yang lucu “permutasi musikal”.
Kesimpulan
Conway menyarankan bahwa tidak hanya pernyataan bahwa 8 dalam siklus tak terbatas tidak dapat diselesaikan, tetapi ini kegelisahan itu sendiri tidak dapat dibuktikan, dan seterusnya, dalam tumpukan implikasi logis yang tak terbatas.
Untuk dugaan Collatz, seperti yang ditulis dalam bentuk padat (1), peta diskalakan dengan atau
dengan probabilitas yang sama, sehingga faktor pertumbuhan yang diharapkan adalah
. Jadi, kita dapat berpendapat bahwa peta itu seharusnya mungkin siklus kembali ke 1. Namun demikian, dalam catatan tambahan, Conway menulis bahwa dugaan Collatz kemungkinan besar tidak dapat diselesaikan.
Sumber
Conway, John H., 2013: Tentang Masalah Aritmatika yang Tidak Dapat Diselesaikan. Amer. Matematika. Bulanan , 120 (3), 192–198.
Pitici, Mircea, 2014: Karya Tulis Matematika Terbaik 2014. Universitas Princeton. Tekan.
Ryba, Alex, dkk., 2022: John Horton Conway (1937–2020) Pemberitahuan Amer. Matematika. Soc.Jil. 69(7), 1171–1187.
Lynch, Peter, 2013: Naik turunnya Angka Hailstone. ThatsMaths.