OLEH: JAYA SUPRANA

ASKARA - Bayangkan kita harus membuktikan bahwa 1+1=2. Terdengar sangat konyol dan sepele, bukan? Namun, di tangan dua filsuf abad ke-20, Alfred North Whitehead dan Bertrand Russell, pembuktian rumus sederhana tersebut membutuhkan ratusan halaman coretan logika yang rumit.

Semua itu tertuang dalam mahakarya mereka yang super tebal, Principia Mathematica (1910–1913). Meski kata "saripati" biasanya identik dengan perasan jamu atau kaldu murni, dalam artikel ini kita akan memeras tumpukan kertas setebal hampir 2.000 halaman itu menjadi segelas "saripati pemikiran" yang segar dan mudah dicerna oleh kaum awam.

Ambisi Besar: Menelanjangi Matematika

Pada akhir abad ke-19, dunia matematika sedang mengalami krisis identitas. Para ilmuwan mulai mempertanyakan: Apakah fondasi matematika yang kita gunakan selama ini benar-benar kokoh, atau jangan-jangan hanya bangunan pasir yang rapuh?

Russell dan Whitehead datang membawa ambisi raksasa yang disebut Logisisme. Mereka yakin bahwa matematika bukanlah ilmu yang berdiri sendiri. Bagi mereka, matematika hanyalah cabang dari logika formal. Jika kita bisa mengurai seluruh aturan matematika ke dalam hukum-hukum logika yang paling murni, maka matematika akan menjadi ilmu yang absolut dan tidak bisa didebat lagi.

Mengapa Membuktikan 1+1=2 Sangat Sulit?

Dalam jilid pertama Principia Mathematica, pembuktian bahwa satu ditambah satu sama dengan dua baru muncul di halaman 379. Mengapa begitu lama? Sebab, Russell dan Whitehead tidak mau berasumsi. Di sinilah kita mulai menaruh kecurigaan bahwa duo pemikir ini sedang mengalami fase overthinking tingkat dewa. Alih-alih langsung menerima kenyataan, mereka memilih jalan memutar yang teramat terjal. Mereka seolah sedang membelah titian sehelai rambut menjadi tujuh akar tujuh demi mendefinisikan apa itu "himpunan", apa itu "negasi", dan apa itu "kebenaran". Di mata mereka, membuktikan 1+1=2 ibarat membedah anatomi debu dengan mikroskop elektron—sebuah pencarian kepastian yang luar biasa mendetail, sampai-sampai terasa obsesif.

Paradox Russell: "Rambut" yang Kusut

Salah satu tantangan terbesar mereka adalah menyelesaikan sebuah teka-teki logika yang disebut Paradoks Russell. Sederhananya seperti ini:

Di sebuah desa, ada seorang tukang cukur yang hanya mencukur rambut semua orang yang tidak mencukur rambutnya sendiri. Pertanyaannya, apakah si tukang cukur mencukur rambutnya sendiri?

Jika dia mencukur rambutnya sendiri, berarti dia melanggar aturan. Jika dia tidak mencukur rambutnya sendiri, dia juga melanggar aturan. Karena overthinking terhadap celah kecil ini, mereka kembali dipaksa membelah logika yang sudah rumit menjadi cabang-cabang baru yang jauh lebih jelimet lewat "Teori Tipe" demi menyisir kekusutan tersebut.

Akhir yang Tragis tapi Indah

Apakah misi mereka berhasil? Secara ironis, beberapa dekade kemudian, matematikawan muda bernama Kurt Gödel membuktikan bahwa ambisi Principia untuk menciptakan sistem matematika yang sempurna adalah hal yang mustahil. Selalu ada kebenaran matematika yang tidak akan pernah bisa dibuktikan oleh logika.

Meskipun gagal mencapai kesempurnaan, saripati Principia Mathematica tetap menjadi warisan tak ternilai. Cara Russell dan Whitehead mengaitkan simbol logika menjadi instruksi ketat adalah fondasi awal yang kelak melahirkan bahasa pemrograman komputer modern termasuk Artificial Intelligence. Tanpa kegilaan mereka dalam overthinking dan membelah rambut logika hingga ke akar-akarnya, mungkin kita tidak akan pernah mengenal komputer atau ponsel pintar hari ini.