<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Teorema Ketidaklengkapan Gödel on kenji.blog</title><link>http://kenji.blog/id/tags/teorema-ketidaklengkapan-g%C3%B6del/</link><description>Recent content in Teorema Ketidaklengkapan Gödel on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>id</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 12:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/id/tags/teorema-ketidaklengkapan-g%C3%B6del/index.xml" rel="self" type="application/rss+xml"/><item><title>Paradoks Richard: Kontradiksi yang Ditimbulkan oleh Desimal Tak Terhingga dan "Argumen Diagonal"</title><link>http://kenji.blog/id/p/richards-paradox/</link><pubDate>Thu, 10 Sep 2026 12:00:00 +0900</pubDate><guid>http://kenji.blog/id/p/richards-paradox/</guid><description>&lt;img src="http://kenji.blog/p/richards-paradox/img/richards_paradox.jpg" alt="Featured image of post Paradoks Richard: Kontradiksi yang Ditimbulkan oleh Desimal Tak Terhingga dan "Argumen Diagonal"" />&lt;h2 id="1-daftar-angka-yang-dapat-didefinisikan-dengan-kata-kata">1. Daftar Angka yang Dapat Didefinisikan dengan Kata-kata
&lt;/h2>&lt;p>&amp;ldquo;Paradoks Richard&amp;rdquo; yang diterbitkan oleh matematikawan Prancis Jules Richard pada tahun 1905 adalah kerabat dari &amp;ldquo;Paradoks Berry&amp;rdquo; yang telah diperkenalkan sebelumnya. Namun, paradoks ini lebih matematis dan mengandung kontradiksi mendalam yang seolah mengintip ke dalam ketakterhinggaan.&lt;/p>
&lt;p>Pertama, bayangkan kita mengumpulkan semua &lt;strong>&amp;ldquo;bilangan real (desimal) antara 0 dan 1 yang dapat didefinisikan secara sempurna dalam kalimat bahasa Indonesia&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Misalnya, angka-angka berikut:&lt;/p>
&lt;ul>
&lt;li>&amp;ldquo;Nol koma lima&amp;rdquo; $\rightarrow$ $0.5$&lt;/li>
&lt;li>&amp;ldquo;Sepertiga&amp;rdquo; $\rightarrow$ $0.333333...$&lt;/li>
&lt;li>&amp;ldquo;Angka pi dari tempat desimal pertama dan seterusnya&amp;rdquo; $\rightarrow$ $0.14159265...$&lt;/li>
&lt;/ul>
&lt;p>Kombinasi kalimat yang dapat diekspresikan dalam bahasa Indonesia hanyalah menyusun ulang huruf-huruf yang ada di kamus, sehingga kita dapat mengurutkannya.
(Misalnya, diurutkan dari yang jumlah hurufnya paling sedikit, dan jika jumlah hurufnya sama, diurutkan berdasarkan abjad, dan seterusnya.)&lt;/p>
&lt;p>Dengan cara ini, kita dapat membuat &lt;strong>penomoran (daftar) tanpa akhir&lt;/strong>, seperti ke-1, ke-2, ke-3, dan seterusnya untuk &amp;ldquo;semua bilangan real yang dapat didefinisikan dalam bahasa Indonesia&amp;rdquo;.&lt;/p>
$$
\begin{align*}
r_1 &amp;= 0.\mathbf{3}333... \\
r_2 &amp;= 0.5\mathbf{0}00... \\
r_3 &amp;= 0.14\mathbf{1}5... \\
r_4 &amp;= 0.777\mathbf{7}... \\
&amp;\vdots
\end{align*}
$$
&lt;p>Daftar ini seharusnya mencakup secara sempurna &amp;ldquo;setiap bilangan real yang dapat didefinisikan dalam bahasa Indonesia&amp;rdquo;, tanpa ada yang tertinggal.&lt;/p>
&lt;hr>
&lt;h2 id="2-teknik-iblis-argumen-diagonal">2. Teknik Iblis &amp;ldquo;Argumen Diagonal&amp;rdquo;
&lt;/h2>&lt;p>Di sini, Richard melakukan operasi yang menakutkan.
Dia secara artifisial menciptakan &lt;strong>&amp;ldquo;angka yang sama sekali baru $X$&amp;rdquo;&lt;/strong> yang menghindari semua angka yang ada di dalam daftar.&lt;/p>
&lt;p>Cara membuatnya sederhana:&lt;/p>
&lt;ul>
&lt;li>Lihat angka pada &lt;strong>tempat desimal ke-1&lt;/strong> dari angka &lt;strong>ke-1&lt;/strong> dalam daftar (dalam contoh di atas adalah $3$). Tambahkan $1$ padanya, dan jadikan angka tersebut sebagai digit ke-1 dari $X$ ($3+1=4$).&lt;/li>
&lt;li>Lihat angka pada &lt;strong>tempat desimal ke-2&lt;/strong> dari angka &lt;strong>ke-2&lt;/strong> dalam daftar (dalam contoh di atas adalah $0$). Tambahkan $1$ padanya, dan jadikan angka tersebut sebagai digit ke-2 dari $X$ ($0+1=1$).&lt;/li>
&lt;li>Lihat angka pada &lt;strong>tempat desimal ke-3&lt;/strong> dari angka &lt;strong>ke-3&lt;/strong> dalam daftar (dalam contoh di atas adalah $1$). Tambahkan $1$ padanya, dan jadikan angka tersebut sebagai digit ke-3 dari $X$ ($1+1=2$).&lt;/li>
&lt;/ul>
&lt;p>※Jika angka aslinya adalah $9$, kita mengembalikannya menjadi $0$.&lt;/p>
&lt;div class="mermaid">graph TD
subgraph "Bilangan real yang didaftarkan"
R1["r1 = 0.[3]33..."]
R2["r2 = 0.5[0]0..."]
R3["r3 = 0.14[1]..."]
R4["r4 = 0.777[7]..."]
end
subgraph "Angka yang baru dibuat X"
X["X = 0.4128..."]
end
R1 -->|digit ke-1 +1| X
R2 -->|digit ke-2 +1| X
R3 -->|digit ke-3 +1| X
R4 -->|digit ke-4 +1| X
style X fill:#aaffaa,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>Angka baru $X$ yang dibuat dengan cara ini (dalam contoh di atas $X = 0.4128...$) &lt;strong>sama sekali tidak akan cocok&lt;/strong> dengan angka mana pun di dalam daftar.
Karena digit pada &amp;ldquo;tempat desimal ke-$n$&amp;rdquo; dari angka ke-$n$ sengaja digeser.
(Teknik ini disebut &lt;strong>&amp;ldquo;Argumen Diagonal&amp;rdquo;&lt;/strong>, yang diciptakan oleh matematikawan jenius Cantor untuk membuktikan ukuran ketakterhinggaan bilangan real.)&lt;/p>
&lt;hr>
&lt;h2 id="3-kesempurnaan-paradoks-richard">3. Kesempurnaan Paradoks Richard
&lt;/h2>&lt;p>Nah, dari sinilah paradoksnya dimulai.&lt;/p>
&lt;p>Kita baru saja menciptakan angka baru $X$.
Dan &amp;ldquo;aturan&amp;rdquo; untuk menciptakan $X$ ini telah dijelaskan (didefinisikan) secara sempurna oleh &lt;strong>kalimat bahasa Indonesia yang baru saja saya tulis di atas&lt;/strong>.&lt;/p>
&lt;p>Dengan kata lain, $X$ adalah &lt;strong>&amp;ldquo;bilangan real yang dapat didefinisikan dalam bahasa Indonesia&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Namun, ingat kembali premis awalnya.
&amp;ldquo;Bilangan real yang dapat didefinisikan dalam bahasa Indonesia&amp;rdquo; seharusnya &lt;strong>semuanya telah tercakup dalam daftar awal ($r_1, r_2, r_3...$)&lt;/strong>.
Meskipun demikian, $X$ dibuat sedemikian rupa sehingga tidak cocok dengan angka mana pun di dalam daftar.&lt;/p>
&lt;ol>
&lt;li>&lt;strong>$X$ harus ada di dalam daftar (karena didefinisikan dalam bahasa Indonesia).&lt;/strong>&lt;/li>
&lt;li>&lt;strong>$X$ tidak boleh ada di dalam daftar (karena dibuat berbeda dari semua angka di dalam daftar menggunakan argumen diagonal).&lt;/strong>&lt;/li>
&lt;/ol>
&lt;p>Sebuah kontradiksi yang sempurna! Inilah Paradoks Richard.&lt;/p>
&lt;hr>
&lt;h2 id="4-mengapa-logikanya-runtuh-jebakan-bahasa-meta">4. Mengapa Logikanya Runtuh? (Jebakan Bahasa Meta)
&lt;/h2>&lt;p>Penyebab lahirnya paradoks ini, sama seperti Paradoks Berry, terletak pada pencampuran &amp;ldquo;hierarki bahasa&amp;rdquo;.&lt;/p>
&lt;p>Untuk melakukan matematika dengan ketat, kita harus memisahkan dengan jelas &amp;ldquo;daftar angka yang menjadi objek (bahasa objek)&amp;rdquo; dan &amp;ldquo;aturan yang berbicara dari luar tentang sifat daftar tersebut (bahasa meta)&amp;rdquo;.&lt;/p>
&lt;p>Daftar Richard adalah kumpulan &amp;ldquo;definisi angka yang dapat dihitung&amp;rdquo;.
Namun, aturan &amp;ldquo;melihat digit ke-$n$ dari angka ke-$n$ dalam daftar&amp;rdquo; untuk menciptakan angka baru $X$ adalah &lt;strong>operasi &amp;ldquo;bahasa meta&amp;rdquo; yang hanya dapat dieksekusi dengan melihat daftar tersebut dari luar&lt;/strong>.&lt;/p>
&lt;p>Paradoks Richard meledak dalam kontradiksi diri karena secara diam-diam mencoba menyusupkan &amp;ldquo;angka metalinguistik $X$ yang dibuat dengan memanipulasi daftar dari luar&amp;rdquo; ke &amp;ldquo;daftar di dalam&amp;rdquo;.&lt;/p>
&lt;hr>
&lt;h2 id="5-estafet-kepada-gödel">5. Estafet kepada Gödel
&lt;/h2>&lt;p>Paradoks Richard ini memberikan kejutan besar bagi dunia matematika pada saat itu.
&amp;ldquo;Kata-kata manusia (dan sistem logika), jika tidak berhati-hati, dapat dengan cepat menyebabkan kontradiksi diri. Bagaimana kita bisa membuat matematika menjadi sempurna dan bebas dari kontradiksi?&amp;rdquo;&lt;/p>
&lt;p>Pada tahun 1931, masalah ini akhirnya diselesaikan oleh matematikawan jenius berusia 25 tahun, Kurt Gödel.
Gödel menerjemahkan dan mereproduksi secara sempurna struktur paradoks yang disebabkan oleh Richard menggunakan &amp;ldquo;ambiguitas bahasa&amp;rdquo;, dengan menggunakan &lt;strong>&amp;ldquo;rumus matematika yang ketat (bilangan Gödel)&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Hasil yang diturunkan darinya adalah &lt;strong>&amp;ldquo;Teorema Ketidaklengkapan Gödel&amp;rdquo;&lt;/strong> yang terkenal.
Itu adalah penemuan besar yang membuktikan batas pengetahuan umat manusia: &amp;ldquo;Tidak peduli seberapa ketat Anda membuat aturan matematika, &amp;lsquo;kebenaran yang tidak dapat dibuktikan maupun disangkal&amp;rsquo; pasti akan muncul di dalam aturan tersebut (matematika itu tidak lengkap)&amp;rdquo;.&lt;/p></description></item></channel></rss>