Lihat sumber Paradoks hotel Hilbert

{{Short description|Eksperimen pikiran mengenai himpunan tak terhingga}}
{{Tambah kutipan|date=Januari 2024}}
{{Periksa terjemahan|en|Hilbert's paradox of the Grand Hotel}}
'''Paradoks Hotel Hilbert''' ([[bahasa percakapan]]: '''Paradoks Hotel Takhingga''' atau '''Hotel Hilbert''') adalah suatu [[eksperimen pikiran]] yang mengilustrasikan sifat kontraintuitif dari [[himpunan takhingga|himpunan-himpunan takhingga]], yaitu sebuah hotel yang dengan jumlah kamar yang tak terhingga dan telah terisi penuh masih dapat menampung tamu-tamu tambahan, bahkan takhingga banyaknya, dan proses ini dapat dilakukan berulang-ulang. Gagasan ini diperkenalkan oleh [[David Hilbert]] pada kuliah tahun 1925 "''Über das Unendliche''", dicetak ulang pada {{harv|Hilbert|2013|loc=p.730}}, dan dipopulerkan melalui buku tahun 1947 ''[[One Two Three... Infinity]]'' karya [[George Gamow]].<ref>{{cite arXiv |last=Kragh |first=Helge |title=The True (?) Story of Hilbert's Infinite Hotel |year=2014 |eprint=1403.0059 |lang=en |class=physics.hist-ph}}</ref><ref>{{cite book |last=Gamow |first=George |year=1947 |title=One Two Three... Infinity: Facts and Speculations of Science |location=New York |publisher=[[Viking Press]] |page=17 |lang=en }}</ref>

== Isi paradoks ==
Hilbert membayangkan suatu hotel khayalan dengan kamar yang diberi nomor <math>1</math>, <math>2</math>, <math>3</math>, dan seterusnya, tanpa batas atas. Hal ini disebut sebagai [[himpunan terhitung|terhitung takhingga]] banyaknya kamar. Pada awalnya, setiap kamar telah terisi penuh, dan kemudian beberapa tamu baru pun berdatangan, masing-masing mengharapkan sebuah kamarnya. Sebuah hotel normal (dengan jumlah kamar yang terbatas) tidak dapat menampung tamu baru setelah semua kamar telah terisi penuh. Akan tetapi, dapat ditunjukkan bahwa para tamu yang sudah ada dan para pendatang baru — bahkan dalam jumlah yang tak terhingga — dapat memiliki kamar masing-masing di hotel takhingga.

=== Beberapa pendatang baru ===
Dengan satu pendatang tambahan, hotel takhingga ini dapat menampung pendatang tersebut beserta semua tamu yang sudah ada jika takhingga banyaknya tamu pindah kamar secara bersamaan. Tamu yang semula menghuni kamar nomor <math>1</math> dipindahkan ke kamar nomor <math>2</math>, Tamu yang semula menghuni kamar nomor <math>2</math> dipindahkan ke kamar nomor <math>3</math>, dan seterusnya. Secara umum, setiap tamu pindah dari kamar nomor <math>n</math> ke kamar nomor <math>n + 1</math>.

Hotel takhingga tidak memiliki kamar terakhir, sehingga target kamar dari setiap tamu dijamin ada dan tidak ada tamu yang perlu diusir. Setelah proses pemindahan kamarnya selesai, tidak ada yang menghuni kamar nomor <math>1</math>, sehingga pendatang tambahan tadi dapat menempati kamar tersebut. Secara umum, jika terdapat <math>k</math> pendatang tambahan, pihak hotel dapat menerapkan prosedur serupa dengan memindahkan setiap tamu dari kamar <math>n</math> ke kamar <math>n + k</math>.

[[File:Hilbert's Hotel.png|thumb|upright=1.35|Dengan memindahkan setiap tamu ke kamar bernomor dua kalinya nomor kamar semula, maka pihak hotelnya dapat mengakomodasi takhingga banyaknya pendatang baru]]

=== Takhingga banyaknya pendatang baru ===
Hotel takhingga ini juga mungkin untuk mengakomodasi ''terhitung takhingga'' banyaknya pendatang baru: cukup pindahkan tamu yang awalnya menempati kamar nomor <math>1</math> ke kamar nomor <math> 2</math>, tamu yang awalnya menempati kamar nomor <math>2</math> ke kamar nomor <math>4</math>, tamu yang awalnya menempati kamar nomor <math>3</math> ke kamar nomor <math>6</math>, dan secara umum, tamu yang awalnya menempati kamar <math>n</math> dipindahkan ke kamar <math>2n</math> (2 dikali <math>n</math>), dan semua kamar bernomor ganjil (yang merupakan himpunan terhitung takhingga) akan menjadi kosong dan siap ditempati oleh para pendatang baru.

=== Takhingga banyaknya bus yang berisi penumpang yang takhingga banyaknya ===
{{Informasi lebih lanjut|fungsi pemasang}}
Hotel takhingga ini dapat mengakomodasi terhitung takhingga banyaknya [[bus besar]] yang masing-masing mengangkut terhitung banyaknya penumpang, melalui beberapa metode. Sebagian besar metode bergantung pada informasi penomoran kursi penumpang pada masing-masing bus (atau penggunaan [[aksioma pemilihan terhitung]]). Secara umum, [[fungsi pemasang]] apapun dapat digunakan untuk menyelesaikan permasalahan ini. Untuk setiap metode-metode berikut, misalkan <math>k</math> menyatakan nomor kursi dari penumpang yang bersangkutan, dan <math>b</math> menyatakan nomor bus yang mengangkut penumpang tersebut. Nantinya <math>k</math> dan <math>b</math> akan menjadi argumen dari fungsi pemasangnya.

==== Metode prima berpangkat ====
Setiap tamu yang menghuni kamar nomor <math>n</math> dipindahkan ke kamar nomor <math>2^n</math>, lalu tempatkan penumpang ke-<math>k</math> dari bus pertama ke kamar nomor <math>3^k</math>, kemudian penumpang ke-<math>k</math> dari bus kedua ditempatkan pada kamar nomor <math>5^k</math>, dan secara umum, penumpang ke-<math>k</math> dari bus ke-<math>b</math> akan menghuni kamar nomor <math>\left( p_{b + 1} \right)^k</math>, dengan <math>p_b</math> menyatakan [[bilangan prima]] ke-<math>b</math>.

Metode ini membuat beberapa kamar tidak terisi (yang mungkin saja berguna bagi pihak hotel), yaitu kamar-kamar yang bukan merupakan bilangan [[prima berpangkat]], seperti kamar nomor <math>15</math> dan <math>847</math>.

==== Metode faktorisasi prima ====
Setiap tamu yang menghuni kamar nomor <math>n</math> dipindahkan ke kamar nomor <math>2^n</math>, lalu penumpang ke-<math>k</math> dari bus ke-<math>b</math> akan menghuni kamar nomor <math>2^k \cdot 3^b</math>. Oleh karena setiap bilangan memiliki hasil [[faktorisasi prima]] yang tunggal, maka jelas bahwa setiap orang akan mendapatkan kamar, dan dua orang berbeda akan menghuni kamar yang berbeda. Sebagai contoh, penghuni kamar nomor <math>2592</math> (<math>2^5 \cdot 3^4</math>) berasal dari kursi ke-5 pada bus ke-4. Serupa seperti metode prima berpangkat, metode ini tidak mengisi seluruh kamar yang ada.

Metode ini dapat dengan mudah diperluas untuk jumlah malam yang tak terhingga, akses masuk yang tak terhingga, dll. (<math>2^k \cdot 3^b \cdot 5^m \cdot 7^a \cdot \ldots</math>)

==== Metode penjalinan ====
Setiap tamu yang menghuni kamar nomor <math>n</math> dipindahkan ke kamar nomor <math>n'</math>, yang diperoleh dengan menyelipkan [[0 (angka)|bilangan <math>0</math>]] diantara semua [[digit]] dari <math>n</math>. Sebagai contoh, tamu penghuni kamar nomor <math>1729</math> dipindahkan ke kamar nomor <math>1070209</math>. Untuk setiap penumpang, bandingkan banyaknya digit dari nomor kursi <math>k</math> dan nomor bus <math>b</math>. Jika banyaknya digit dari <math>k</math> berbeda dengan banyaknya digit dari <math>b</math>, maka tambahkan [[awalan nol]] sampai keduanya memiliki banyak digit yang sama, kemudian digit-digitnya dapat [[Barisan jalinan|dijalin]] untuk menghasilkan nomor kamar sebagai berikut:
<math display="block">\left( \text{digit ke-1 dari } b \right) \left( \text{digit ke-1 dari } k \right) \left( \text{digit ke-2 dari } b \right) \left( \text{digit ke-2 dari } k \right) \ldots</math>
Sebagai contoh, misalkan seorang penumpang berasal dari bus ke-<math>{\color{blue} 789}</math> dengan nomor kursi <math>{\color{red} 12345}</math>. Oleh karena banyaknya digit pada nomor bus (3 digit) berbeda dengan banyaknya digit pada nomor kursi (5 digit), tulis <math>{\color{blue} 789}</math> sebagai <math>{\color{blue} 00789}</math> (sehingga nomor bus dan nomor kursi sama-sama memiliki 5 digit). Dengan aturan penjalinan di atas, maka penumpang tersebut akan ditempatkan pada kamar nomor <math>{\color{blue} 0} {\color{red} 1} {\color{blue} 0} {\color{red} 2} {\color{blue} 7} {\color{red} 3} {\color{blue} 8} {\color{red} 4} {\color{blue} 5} {\color{red} 9}</math>.

Dibandingkan dengan metode prima berpangkat, metode ini mengisi seluruh kamar hotel, dan setiap penghuni kamar dapat dikembalikan ke bus dan kursinya masing-masing dengan membalik proses penjalinannya, kemudian uraikan bilangannya menjadi dua bilangan; digit-digit pada posisi ganjil merupakan nomor bus <math>b</math>, sedangkan digit-digit pada posisi genap merupakan nomor kursi <math>k</math>. Cara penomorannya dapat dibalik menjadi
<math display="block">\left( \text{digit ke-1 dari } k \right) \left( \text{digit ke-1 dari } b \right) \left( \text{digit ke-2 dari } k \right) \left( \text{digit ke-2 dari } b \right) \ldots</math>
namun aturan penomorannya harus konsisten diterapkan ke seluruh penumpang.

==== Metode bilangan segitiga ====
Setiap tamu yang menghuni kamar nomor <math>n</math> dipindahkan ke kamar nomor <math>T_n</math>, yaitu [[bilangan segitiga]] ke-<math>n</math> yang diperoleh melalui rumus
<math display="block">T_n = \dfrac{n \left( n + 1 \right)}{2}</math>
Setiap penumpang bus ke-<math>b</math> dengan nomor kursi <math>k</math> akan ditempatkan pada kamar nomor <math>T_{b + k - 1} + n</math>. Dengan cara ini, maka seluruh kamar akan terisi oleh satu dan hanya satu orang.

Fungsi pemasang ini dapat divisualkan sebagai [[piramida]] dengan tinggi yang tak terhingga sebagai berikut:
<math display="block">\begin{matrix}
& & & & & {\color{red} 1} \\
& & & & 2 & {\color{red} 3} \\
& & & 4 & 5 & {\color{red} 6} \\
& & 7 & 8 & 9 & {\color{red} 10} \\
& 11 & 12 & 13 & 14 & {\color{red} 15} \\
16 & \vdots & \vdots & \vdots & \vdots & {\color{red} \vdots}
\end{matrix}</math>
Puncak (atau baris pertama) piramidanya terdiri dari satu kamar, yaitu kamar nomor <math>1</math>, baris kedua piramidanya terdiri dari kamar nomor <math>2</math> dan <math>3</math>, dan seterusnya. Kolom paling kiri menyatakan kamar-kamar yang bernomor bilangan segitiga. Setelah semua tamu hotel dipindahkan ke kamar-kamar yang berada pada kolom paling kiri, semua kamar kosong yang tersisa membentuk bangun piramida yang identik dengan bentuk awalnya. Dengan menggunakan rumus sebelumnya, setiap pendatang baru dapat menentukan ruang mana yang akan ditempati nantinya.

==== Metode enumerasi sembarang ====
Misalkan <math>H := \mathbb{W} \times \mathbb{W} = \left\{ \left( a, \, b \right) \mid a, b \in \mathbb{N} \cup \left\{ 0 \right\} \right\}</math>. Oleh karena <math>\mathbb{N}</math> merupakan himpunan terhitung, maka <math>H</math> juga merupakan himpunan terhitung, sehingga setiap elemennya dapat dicacah satu per satu sebagai <math>h_1</math>, <math>h_2</math>, dan seterusnya. Jika <math>h_n = \left( b, \, k \right)</math>, maka tempatkan penumpang ke-<math>k</math> dari bus ke-<math>b</math> ke kamar nomor <math>n</math> (anggap tamu yang sudah berada pada hotel sebagai penumpang dari bus ke-<math>0</math>). Dengan cara ini, maka berhasil dikonstruksikan suatu fungsi yang mengawankan setiap orang dengan suatu kamar. Lebih lanjut, proses pengawanan ini tidak melewati satu ruang pun.

=== Lapisan takhingga yang lebih banyak ===
Misalkan lokasi hotelnya berada di sebelah lautan, dan datang takhingga banyaknya [[Kapal geleser-masuk/geleser-keluar|kapal feri]], yang masing-masing mengangkut takhingga banyaknya bus, yang masing-masing mengangkut takhingga banyaknya penumpang. Situasi seperti ini melibatkan tiga "lapisan" [[takhingga]], dan dapat diselesaikan dengan perluasan dari metode-metode yang telah dipaparkan sebelumnya.

Metode [[faktorisasi prima]] dapat diterapkan dengan menambakan bilangan prima baru untuk setiap lapisan takhingga tambahan. Dalam konteks tiga lapisan, maka setiap penumpang ke-<math>k</math> dari bus ke-<math>b</math> pada kapal feri ke-<math>f</math> akan ditempatkan pada kamar nomor <math>2^k \cdot 3^b \cdot 5^f</math>.

Metode prima berpangkat dapat diterapkan dengan proses [[eksponensiasi|pemangkatan]] bilangan prima lebih lanjut, yang menghasilkan bilangan yang besar sekalipun nilai masukannya cukup kecil. Dalam konteks tiga lapisan, maka setiap penumpang ke-<math>k</math> dari bus ke-<math>b</math> pada kapal feri ke-<math>f</math> akan ditempatkan pada kamar nomor <math>\left( p_{f + 1} \right)^{\left( p_{b + 1} \right)^k}</math>, dengan <math>p_i</math> menyatakan bilangan prima ke-<math>i</math>. Sebagai contoh, penumpang ke-<math>2</math> dari bus ke-<math>3</math> pada kapal feri ke-<math>2</math> akan menghuni kamar nomor <math>5^{7^2}</math>, yang memiliki lebih dari 30 digit desimal.

Metode penjalinan dapat digunakan dengan menjalin beberapa "untaian" secara bergantian. Dalam konteks tiga lapisan, penumpang maka setiap penumpang ke-<math>k</math> dari bus ke-<math>b</math> pada kapal feri ke-<math>f</math> akan ditempatkan pada kamar nomor sebagai berikut:
<math display="block">\left( \text{digit ke-1 dari } k \right) \left( \text{digit ke-1 dari } b \right) \left( \text{digit ke-1 dari } f \right) \left( \text{digit ke-2 dari } k \right) \left( \text{digit ke-2 dari } b \right) \left( \text{digit ke-2 dari } f \right) \ldots</math>
Jika banyaknya digit dari <math>k</math>, <math>b</math>, dan <math>f</math> tidaklah sama, maka tambahkan awalan nol sampai ketiganya memiliki banyak digit yang sama. Sebagai contoh, penumpang ke-<math>{\color{red} 2}</math> dari bus ke-<math>{\color{blue} 5}</math> pada kapal feri ke-<math>{\color{green} 4}</math> akan menghuni kamar nomor <math>{\color{red} 2} {\color{blue} 5} {\color{green} 4}</math>, dan penumpang ke-<math>{\color{red} 4935}</math> dari bus ke-<math>{\color{blue} 198}</math> pada kapal feri ke-<math>{\color{green} 82217}</math> akan menghuni kamar nomor <math>{\color{red} 0} {\color{blue} 0} {\color{green} 8} {\color{red} 4} {\color{blue} 0} {\color{green} 2} {\color{red} 9} {\color{blue} 1} {\color{green} 2} {\color{red} 3} {\color{blue} 9} {\color{green} 1} {\color{red} 5} {\color{blue} 8} {\color{green} 7}</math>.

== Analisis ==
Paradoks Hotel Hilbert merupakan [[paradoks|paradoks veridikal]]: hasilnya bersifat kontraintuitif namun dapat dibuktikan kebenarannya. Pernyataan "setiap kamar memiliki penghuni" dan "tidak dapat mengakomodasi tamu tambahan" tidak lagi [[kesetaraan logika|ekuivalen]] ketika terdapat tak terhingga banyaknya kamar.

Pada awalnya, kondisi ini terlihat kontraintuitif. Sifat-sifat dari [[himpunan takhingga|himpunan-himpunan takhingga]] cukup berbeda dengan sifat-sifat dari himpunan berhingga. Paradoks hotel Hilbert dapat dipahami melalui teori [[bilangan transfinit]] Cantor. Dalam hotel biasa (dengan jumlah kamar yang terbatas), banyaknya kamar bernomor ganjil jelas kurang dari banyaknya kamar pada hotel tersebut. Akan tetapi, dalam hotel Hilbert, banyaknya kamar bernomor ganjil tidak kurang dari "banyaknya" kamar yang ada.

Dengan istilah matematika, [[kardinalitas]] dari suatu [[himpunan bagian]] yang memuat kamar bernomor ganjil sama dengan kardinalitas dari [[Himpunan (matematika)|himpunan]] semua kamar. Himpunan takhingga [[karakterisasi (matematika)|dikarakterkan]] sebagai himpunan yang memiliki himpunan bagian sejati yang kardinalitasnya sama. Untuk [[himpunan terhitung]] (yaitu himpunan yang memiliki kardinalitas yang sama dengan [[bilangan asli]]), kardinalitasnya ialah [[bilangan alef|<math>\aleph_0</math>]].<ref name=Rucker>{{cite book |last1=Rucker |first1=Rudy |author-link=Rudy Rucker |title=Infinity and the Mind. The Science and Philosophy of the Infinite |date=1984 |orig-year=1982<!--Harvester Press--> |publisher=Paladin |lang=en |isbn=0-586-08465-7 |pages=73–78}}</ref>

Dengan kata lain, untuk setiap himpunan terhitung takhingga, terdapat suatu fungsi [[bijeksi|bijektif]] yang memetakan himpunan terhitung takhingga ke bilangan asli, meskipun himpunan terhitung takhingganya memuat bilangan-bilangan asli. Sebagai contoh, himpunan bilangan rasional — bilangan-bilangan yang dapat dinyatakan sebagai perbandingan dari bilangan bulat — memuat bilangan asli sebagai himpunan bagiannya, namun himpunan tersebut tidaknya lebih besar dari himpunan bilangan asli, sebab bilangan rasional merupakan himpunan terhitung: terdapat bijeksi dari bilangan asli ke bilangan rasional.

== Lihat juga ==
* [[Daftar paradoks]]
* [[Paradoks Banach–Tarski]]
* [[Paradoks Galileo]]
* [[Paradoks dalam teori himpunan]]
* [[Prinsip rumah burung]]

== Referensi ==
{{Reflist|30em}}
*{{citation|last=Hilbert|first= David|year= 2013|title= David Hilbert's Lectures on the Foundations of Arithmetics and Logic 1917-1933|editor-first= William |editor-last=Ewald|editor2-first= Wilfried |editor2-last=Sieg|place= Heidelberg|publisher= Springer-Verlag|isbn=978-3-540-20578-4 |doi=10.1007/978-3-540-69444-1}}

[[Kategori:Paradoks eponim]]
[[Kategori:Paradoks dalam teori himpunan]]
[[Kategori:Paradoks matematis]]
[[Kategori:Tak hingga]]
[[Kategori:Hotel fiksi]]
[[Kategori:Paradoks ananta]]
[[Kategori:Paradoks logika]]
[[Kategori:David Hilbert]]