Selama berabad-abad, matematika dipandang sebagai bangunan pengetahuan yang paling kokoh. Jika sesuatu benar, cepat atau lambat pasti bisa dibuktikan. Keyakinan itu goyah pada tahun 1931, ketika seorang ahli logika muda menunjukkan hal sebaliknya: dalam sistem matematika yang cukup kaya, selalu ada pernyataan yang benar tetapi tidak dapat dibuktikan di dalam sistem itu sendiri.
Cita-cita Besar yang Ingin Diwujudkan
Pada awal abad ke-20, matematikawan Jerman David Hilbert mengajukan sebuah program besar. Ia ingin menyusun matematika di atas sekumpulan aksioma yang memenuhi tiga syarat sekaligus: konsisten, artinya tidak melahirkan kontradiksi; lengkap, artinya setiap pernyataan benar dapat dibuktikan; dan terputuskan, artinya ada prosedur mekanis untuk menentukan status setiap pernyataan.
Cita-cita ini masuk akal dan terdengar dapat dicapai. Banyak ahli saat itu memperkirakan pekerjaan tersebut hanya soal waktu.
Kurt Gödel dan Makalah 1931
Kurt Gödel lahir pada 28 April 1906 di kota yang kini bernama Brno, Republik Ceko. Ia mengumumkan temuannya untuk pertama kali dalam sebuah konferensi di Königsberg pada September 1930, saat usianya belum genap 25 tahun. Setahun kemudian temuan itu terbit sebagai makalah berjudul Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
Makalah itu tidak menemukan kesalahan dalam matematika. Yang ditemukan Gödel adalah batas alami dari metode pembuktian formal itu sendiri.
Gagasan Kunci: Mengubah Kalimat Menjadi Bilangan
Langkah paling cerdik dalam karya Gödel adalah menemukan cara memberi nomor kepada setiap simbol, setiap rumus, dan setiap langkah pembuktian. Teknik ini kini dikenal sebagai penomoran Gödel.
Caranya memanfaatkan sifat bilangan prima. Jika sebuah rumus tersusun dari simbol-simbol bernomor \(a_1, a_2, a_3, \dots, a_n\), maka seluruh rumus itu diwakili oleh satu bilangan tunggal:
Setiap bilangan asli yang lebih besar dari 1 memiliki faktorisasi prima yang tunggal. Karena itu nomor di atas dapat dibongkar kembali menjadi rumus aslinya tanpa kerancuan. Akibatnya, pernyataan tentang rumus berubah menjadi pernyataan tentang bilangan. Matematika kini bisa berbicara tentang dirinya sendiri.
Kalimat yang Menunjuk pada Dirinya Sendiri
Dengan alat tersebut, Gödel menyusun sebuah kalimat khusus, sebut saja \(G\), yang isinya kira-kira:
“Kalimat ini tidak dapat dibuktikan di dalam sistem F.”
Sekilas ini mirip paradoks pembohong, tetapi bedanya sangat penting. Paradoks pembohong berbicara tentang kebenaran dan berujung buntu. Kalimat Gödel berbicara tentang keterbuktian, dan justru menghasilkan kesimpulan yang jernih.
Mari kita telusuri dua kemungkinannya:
- Jika \(G\) dapat dibuktikan, maka isinya salah. Sistem pun akan mampu memeriksa bahwa bukti itu ada, sehingga sistem yang sama juga membuktikan ingkaran \(G\). Sistem tersebut terbukti tidak konsisten.
- Jika \(G\) tidak dapat dibuktikan, maka isinya justru benar. Kita mendapatkan pernyataan yang benar namun tidak terbukti di dalam sistem.
Selama kita mengandaikan sistemnya konsisten, hanya kemungkinan kedua yang tersisa.
Bunyi Teorema Ketaklengkapan Pertama
Secara lebih tertib, teorema pertama dapat dinyatakan begini. Andaikan \(F\) adalah sistem formal yang konsisten, aksiomanya dapat didaftar secara mekanis, dan cukup kuat untuk memuat aritmetika dasar. Maka terdapat kalimat \(G\) sedemikian sehingga:
Lambang \(\nvdash\) berarti “tidak dapat dibuktikan dari”, sedangkan \(\neg G\) berarti ingkaran dari \(G\). Jadi baik \(G\) maupun ingkarannya sama-sama tidak terjangkau oleh sistem tersebut.
Menambahkan \(G\) sebagai aksioma baru pun tidak menyelesaikan masalah. Sistem yang sudah diperbesar itu akan melahirkan kalimat Gödel-nya sendiri yang baru. Prosesnya tidak pernah tuntas.
Teorema Kedua dan Batas Pembuktian Diri
Gödel melanjutkan dengan hasil yang tidak kalah mengejutkan. Sebuah sistem yang memenuhi syarat di atas tidak mampu membuktikan konsistensinya sendiri:
Di sini \(\mathrm{Kons}(F)\) adalah pernyataan aritmetika yang menyatakan bahwa \(F\) tidak melahirkan kontradiksi. Artinya, sebuah sistem tidak dapat menjamin keandalan dirinya dengan alat yang tersedia di dalam dirinya sendiri. Jaminan seperti itu hanya bisa datang dari sistem lain yang lebih kuat, yang pada gilirannya menghadapi keterbatasan serupa.
Tiga Syarat yang Sering Terlewat
Bagian ini penting untuk mencegah salah paham. Teorema Gödel tidak berlaku untuk sembarang sistem. Tiga syarat berikut harus terpenuhi:
| Syarat | Maksudnya |
|---|---|
| Konsisten | Sistem tidak membuktikan sebuah pernyataan sekaligus ingkarannya |
| Aksioma terdaftar | Daftar aksioma dapat dihasilkan oleh prosedur mekanis |
| Cukup kuat | Mampu memuat penjumlahan dan perkalian bilangan asli |
Sistem yang tidak memenuhi syarat ketiga bisa saja lengkap. Contohnya aritmetika Presburger, yaitu aritmetika yang hanya memakai penjumlahan tanpa perkalian. Sistem ini terbukti lengkap dan terputuskan sejak tahun 1929. Geometri bidang dalam rumusan Alfred Tarski juga demikian. Jadi pernyataan “seluruh matematika terbukti tidak lengkap” adalah penyederhanaan yang keliru.
Contoh Nyata: Teorema Goodstein
Kalimat \(G\) buatan Gödel terasa dibuat-buat. Apakah ada pernyataan matematika yang wajar dan benar-benar mengalami nasib serupa? Ada.
Teorema Goodstein berbicara tentang barisan bilangan yang dibangun dengan aturan sederhana: tulis bilangan dalam bentuk pangkat berbasis tertentu, naikkan basisnya satu tingkat, lalu kurangi satu. Untuk bilangan awal 3, barisannya adalah:
Untuk bilangan awal 4, angka-angkanya membengkak sampai ukuran yang jauh melampaui jumlah atom di alam semesta sebelum akhirnya menurun dan berakhir di nol. Teorema Goodstein menyatakan bahwa barisan ini selalu berakhir di nol, berapa pun bilangan awalnya.
Pada tahun 1982, Laurie Kirby dan Jeff Paris membuktikan bahwa pernyataan yang benar ini tidak dapat dibuktikan di dalam aritmetika Peano, yaitu sistem aksioma baku untuk bilangan asli. Pembuktiannya memerlukan induksi transfinit atas bilangan ordinal, sebuah alat yang berada di luar jangkauan sistem tersebut. Inilah contoh konkret dari apa yang dijanjikan teorema Gödel.
Apa yang Tidak Dikatakan Teorema Ini
Karena namanya populer, teorema Gödel kerap dikutip di luar konteksnya. Beberapa penafsiran yang perlu diluruskan:
- Bukan berarti matematika tidak bisa dipercaya. Semua teorema yang sudah terbukti tetap sah. Yang dibatasi adalah jangkauan satu sistem formal, bukan keandalan hasil yang sudah ada.
- Bukan berarti kebenaran bersifat relatif. Justru sebaliknya, teorema ini mengandaikan adanya kebenaran yang objektif, karena \(G\) disebut benar sekalipun tidak terbukti.
- Bukan tentang sistem di luar matematika. Teorema ini berlaku untuk sistem formal yang memuat aritmetika. Menerapkannya pada sistem sosial, ekonomi, hukum, atau bidang lain di luar itu berarti memakai istilah teknis di luar wilayah berlakunya.
- Bukan bukti bahwa manusia mengungguli komputer. Argumen ke arah ini pernah diajukan beberapa filsuf, tetapi masih diperdebatkan luas di kalangan ahli logika dan belum berstatus kesimpulan yang disepakati.
Warisan yang Justru Membuka Jalan
Alih-alih melumpuhkan matematika, karya Gödel melahirkan bidang baru. Pada tahun 1936 Alan Turing membuktikan hasil yang serumpun, yaitu tidak ada program yang mampu menentukan apakah sembarang program akan berhenti atau berjalan selamanya. Gagasan Turing dalam menyusun bukti itu menjadi salah satu fondasi ilmu komputer.
Pada tahun yang sama, Gerhard Gentzen berhasil membuktikan konsistensi aritmetika Peano dengan menggunakan metode dari luar sistem tersebut. Ini menegaskan bahwa keterbatasan yang ditemukan Gödel bukan jalan buntu, melainkan petunjuk bahwa pengetahuan matematika berkembang secara berlapis.
Matematikawan tetap bekerja seperti biasa, membuktikan teorema baru setiap tahun. Yang berubah hanyalah cara pandang terhadap pembuktian: ia kini dipahami sebagai kegiatan yang selalu terbuka, bukan proyek yang suatu saat akan selesai.
Catatan: Artikel ini merupakan pengantar populer. Rumusan resmi teorema ketaklengkapan memuat syarat teknis yang lebih rinci, termasuk syarat konsistensi-\(\omega\) dalam versi asli Gödel dan penyempurnaan oleh J. Barkley Rosser pada tahun 1936 yang memungkinkan syarat tersebut dilonggarkan menjadi konsistensi biasa. Pembaca yang ingin mendalami disarankan merujuk langsung ke literatur logika matematika.
Rujukan: Raatikainen, P., Gödel’s Incompleteness Theorems, Stanford Encyclopedia of Philosophy; Gödel, K. (1931), Monatshefte für Mathematik und Physik, jilid 38, halaman 173–198; Kirby, L. dan Paris, J. (1982), Bulletin of the London Mathematical Society, jilid 14.