(PENGANTAR “MATEMATIKA TITIK”)
I. Sebuah Keimanan yang Susah Diterima
Ada sebuah aksioma dalam matematika yang, jika kita renungkan dengan jujur, terasa lebih misterius dari banyak pernyataan teologi. Ia tidak berbicara tentang bintang, tentang atom, atau tentang struktur ruang-waktu yang melengkung. Ia berbicara tentang sesuatu yang jauh lebih dekat sekaligus jauh lebih sulit ditangkap:Ketiadaan itu ada.
Pernyataan ini bukan metafora. Ia bukan puisi. Ia adalah fondasi formal dari seluruh matematika modern — sebuah aksioma yang ditetapkan, dipilih, dan dari sana seluruh bangunan aritmetika, aljabar, kalkulus, dan komputasi dibangun. Tanpa keimanan pada keberadaan ketiadaan, matematika tidak bisa dimulai. Sama sekali.
Namun keimanan ini — seperti setiap keimanan yang menyentuh sesuatu yang melampaui intuisi sehari-hari — tidak datang dengan mudah. Ia membutuhkan keberanian epistemik yang luar biasa, filosofi yang cukup dalam untuk menerima paradoks, dan tokoh-tokoh sejarah yang rela berdiri di titik yang belum pernah ditempati siapapun sebelum mereka. Dan perjalanan menuju keimanan pada ketiadaan adalah salah satu narasi paling dramatis dalam seluruh sejarah peradaban manusia.
II. Geometri Yunani: Dunia Tanpa Ketiadaan
Untuk memahami betapa revolusionernya keimanan pada ketiadaan, kita perlu memahami terlebih dahulu dunia matematika yang ada sebelumnya — dunia yang dibangun selama hampir seribu tahun oleh tradisi Yunani Kuno, dan yang sama sekali tidak memiliki tempat bagi ketiadaan.
Matematika Yunani adalah matematika geometri. Bilangan bagi orang Yunani bukan entitas abstrak yang bisa berdiri sendiri — bilangan adalah ukuran. Satu adalah panjang satu garis. Dua adalah panjang dua garis. Akar dari dua adalah panjang diagonal persegi yang sisinya satu — yang justru menghasilkan krisis besar ketika Hippasus dari Metapontum menunjukkan bahwa panjang itu tidak bisa dinyatakan sebagai rasio dua bilangan bulat, sebuah penemuan yang menurut tradisi membuat ia dibuang ke laut oleh kaum Pythagorean karena dianggap menghancurkan keyakinan fundamental mereka.
Dalam dunia di mana bilangan adalah ukuran geometris, pertanyaan tentang nol adalah pertanyaan yang tidak bisa dirumuskan dengan bermakna. Apa geometrinya nol? Titik tanpa dimensi? Garis tanpa panjang? Bagi pikiran Yunani yang terbiasa mengaitkan bilangan dengan realitas geometris yang bisa divisualisasikan, ketiadaan bukan sekadar konsep yang sulit — ia adalah konsep yang beyond imagination, secara harfiah melampaui kapasitas imajinasi geometris mereka.
Aristoteles memperparah ini dengan prinsip-prinsipnya tentang alam. Ia berargumen bahwa vakum — kekosongan, ketiadaan ruang — tidak bisa ada, karena sesuatu yang tidak ada tidak bisa memiliki sifat apapun, termasuk sifat spasial. Horror vacui — ketakutan alam semesta terhadap kekosongan — menjadi doktrin fisika dan metafisika yang bertahan dua ribu tahun. Alam semesta, bagi Aristoteles, selalu penuh. Ketiadaan, secara harfiah, tidak ada.
Dari sini lahirlah sesuatu yang sangat penting untuk dipahami: sistem bilangan Romawi — konstruksi tujuh huruf dari I hingga M — adalah ekspresi paling jujur dari mentalitas kolektif Eropa yang mewarisi tradisi Yunani ini. I, V, X, L, C, D, M. Tujuh simbol untuk mewakili bilangan-bilangan yang semuanya adalah sesuatu. Tidak ada simbol untuk ketiadaan. Tidak ada huruf untuk nol. Bukan karena orang Romawi bodoh atau lalai — melainkan karena dalam kerangka berpikir mereka, ketiadaan tidak layak memiliki simbol. Sesuatu yang tidak ada tidak perlu direpresentasikan.
Dengan sistem seperti ini, perhitungan menjadi sangat tidak efisien. Menjumlahkan MCMXCIX dengan DCCCXCVII bukan pekerjaan yang sederhana. Perkalian dan pembagian dengan angka besar hampir tidak bisa dilakukan tanpa alat bantu seperti sempoa. Sistem ini bukan sekadar representasi — ia adalah cermin dari cara berpikir yang menutup pintu bagi seluruh matematika yang bergantung pada posisi dan nilai tempat. Dan matematika yang bergantung pada posisi dan nilai tempat adalah matematika yang membutuhkan nol sebagai penanda posisi.
III. India dan Pelukan terhadap Ketiadaan: Śūnyatā
Di belahan dunia yang lain, sebuah tradisi filosofis dan spiritual yang sangat berbeda sedang berkembang — tradisi yang tidak hanya menerima ketiadaan, tetapi memeluknya sebagai kebenaran metafisik yang paling fundamental.
Śūnyatā — kekosongan, ketiadaan — dalam tradisi Buddhis dan Hindu bukan sesuatu yang ditakuti atau dihindari. Ia adalah sifat paling mendasar dari realitas. Segala sesuatu yang tampak ada adalah konstruksi yang bergantung, yang tidak memiliki eksistensi mandiri yang permanen. Di balik seluruh penampakan yang ada, ada ketiadaan yang menjadi fondasinya. Nāgārjuna, filsuf Buddhis abad ke-2 M, membangun seluruh sistem filsafatnya di atas śūnyatā sebagai sifat paling fundamental dari segala sesuatu yang ada.
Dari filosofi yang memeluk ketiadaan inilah lahir sesuatu yang mengubah matematika selamanya: konsep angka nol. Brahmagupta (598-668 M) adalah matematikawan India yang pertama kali merumuskan aturan-aturan aritmetika untuk nol secara eksplisit: sebuah bilangan dikurangi dirinya sendiri menghasilkan nol; nol dikurangi sebuah bilangan menghasilkan negatif bilangan itu; nol dikali apapun menghasilkan nol. Ia belum menyelesaikan masalah pembagian dengan nol — itu akan menunggu dua belas abad lagi — namun ia sudah menetapkan nol sebagai entitas matematika yang sah dengan hak-hak aritmetiknya sendiri.
Yang membuat ini mungkin bukan sekadar kejeniusan individual Brahmagupta. Yang membuatnya mungkin adalah ekosistem filosofis yang sudah siap menerimanya: tradisi yang sudah lama bergumul dengan ketiadaan sebagai kategori metafisik yang sah, yang tidak mengalami horror vacui Aristotelian, dan yang oleh karena itu bisa menerima ketiadaan sebagai objek matematika tanpa mengalami krisis epistemik.
Ini adalah pelajaran yang sangat penting tentang hubungan antara filosofi dan matematika: sistem bilangan yang kita gunakan tidak lahir dari ruang hampa budaya. Ia lahir dari cara sebuah tradisi memandang realitas — termasuk bagian dari realitas yang paling sulit: ketiadaan.
IV. Al-Khawārizmī: Keimanan yang Mengubah Dunia
Dari India ke Baghdad — dan di Baghdad, pada abad ke-9 M, seorang matematikawan dari Baitul Hikmah melakukan sesuatu yang mengubah seluruh peradaban manusia.
Abu Ja’far Muḥammad bin Mūsā al-Khawārizmī (sekitar 780-850 M) bukan sekadar “memindahkan” nol dari India ke dunia Islam. Yang ia lakukan jauh lebih fundamental: ia mengambil nol, menempatkannya dalam sistem bilangan posisional yang konsisten, dan membangun di atasnya dua disiplin baru yang tidak pernah ada sebelumnya: aljabar (al-jabr) dan algoritma (yang namanya sendiri adalah latinisasi dari nama al-Khawārizmī).
Motivasinya adalah sesuatu yang sangat konkret dan sangat religius: detail-operasional syariat Islam. Sistem bilangan Arab klasik yang ada sebelumnya terlalu rumit dan tidak konsisten untuk digunakan dalam perhitungan warisan (farāiḍ) yang Al-Qur’an atur dengan sangat detail — pembagian harta kepada berbagai ahli waris dengan pecahan yang kompleks. Al-Khawārizmī tidak hanya menerima keterbatasan itu — ia merevolusinya.
Ia menerima nol. Ia menerima sistem bilangan posisional dari India. Ia merumuskan sistem bilangan yang menggunakan sembilan angka plus nol sebagai penanda posisi — sistem yang hari ini kita sebut angka Arab, yang digunakan oleh seluruh umat manusia, yang menjadi bahasa universal matematika dan sains.
Dan kemudian ia melakukan sesuatu yang bahkan lebih revolusioner. Aristoteles sudah merumuskan prinsip identitas: A = A. Setiap sesuatu adalah dirinya sendiri. Ini adalah fondasi logika klasik — pernyataan tentang konsistensi diri dari sesuatu yang ada. Al-Khawārizmī meneruskan ini dengan cara yang belum pernah terpikirkan sebelumnya: 0 = 0. Ketiadaan adalah ketiadaan. Identitas berlaku bahkan untuk yang tidak ada. Dan dari identitas ketiadaan ini, seluruh aljabar dibangun — karena aljabar adalah tentang menemukan nilai yang tidak diketahui (al-majhūl) dengan menjaga keseimbangan persamaan, menjaga identitas di kedua sisi tanda sama dengan.
Aristoteles berkata: A = A. Al-Khawārizmī menambahkan: 0 = 0. Lalu ia merumuskan: jika kita melakukan operasi yang sama pada kedua sisi persamaan, identitas terjaga. Dan dari sana lahirlah aljabar — yang hari ini adalah bahasa seluruh sains, seluruh teknik, seluruh komputasi, seluruh kriptografi, seluruh kecerdasan buatan.
V. Nol Berhak Menjalani Operasi — Kecuali Satu
Ketika nol diterima sebagai bilangan, ia berhak menjalani seluruh operasi aritmetika yang berlaku bagi bilangan-bilangan lain. Dan ini menghasilkan hasil-hasil yang, pada awalnya, terasa mengejutkan namun kemudian sangat konsisten.
Penjumlahan dengan nol: a + 0 = a. Menambahkan ketiadaan tidak mengubah apapun — konsisten dengan intuisi.
Pengurangan dengan nol: a − 0 = a. Mengurangi ketiadaan juga tidak mengubah apapun.
Perkalian dengan nol: a × 0 = 0. Mengalikan apapun dengan ketiadaan menghasilkan ketiadaan. Ini lebih menarik: berapa pun besarnya sesuatu, ketika dikalikan dengan ketiadaan, hasilnya adalah ketiadaan. Ada sesuatu yang sangat dalam di sini — kebesaran apapun tidak imun terhadap ketiadaan.
Namun pembagian dengan nol: a ÷ 0 = ?
Di sini matematika menghadapi masalah yang tidak bisa diselesaikan dengan cara biasa. Brahmagupta sudah mencoba — ia menyatakan bahwa a ÷ 0 = 0, sebuah jawaban yang kemudian terbukti tidak konsisten dengan aturan-aturan matematika lainnya. Bhāskara II (abad ke-12 M) mencoba lagi dan menyatakan bahwa a ÷ 0 = ∞ — sebuah intuisi yang menarik namun belum memiliki fondasi formal yang kokoh.
Masalah ini menunggu lebih dari seribu tahun setelah al-Khawārizmī — hingga datang seorang jenius dari era nalar ketiga yang menyelesaikannya bukan dengan jawaban, melainkan dengan pertanyaan yang lebih dalam.
VI. Newton dan Limit: Mendekati Ketiadaan Tanpa Menyentuhnya
Isaac Newton (1643-1727 M) menghadapi masalah yang secara superfisial tampak berbeda dari pembagian dengan nol, namun yang secara matematika identik. Untuk menghitung kecepatan sesaat sebuah benda — kecepatan pada satu momen tunggal, bukan rata-rata kecepatan dalam suatu interval — ia perlu menghitung perubahan posisi dibagi perubahan waktu ketika interval waktu mendekati nol. Secara formal: Δx/Δt ketika Δt mendekati 0.
Jika Δt benar-benar menjadi nol, kita mendapatkan 0/0 — ketidaktentuan yang tidak terdefinisi. Namun Newton — dan secara independen Leibniz — menemukan cara yang jenius untuk keluar dari kebuntuan ini: konsep limit.
Limit bukan pembagian dengan nol. Ia adalah nilai yang didekati oleh suatu ekspresi ketika variabelnya mendekati sebuah nilai tertentu — tanpa pernah benar-benar mencapai nilai itu. Lim (Δx/Δt) saat Δt mendekati 0 bukan Δx/0 — ia adalah nilai batas yang didekati oleh rasio itu saat penyebutnya mengecil tanpa batas.
Ini adalah keimanan epistemik yang luar biasa: mendekati ketiadaan tanpa pernah menyentuhnya, dan menemukan bahwa dalam pendekatan tanpa akhir itu, ada nilai yang terdefinisi dengan sempurna. Kalkulus differensial dan integral — yang dibangun di atas konsep limit ini — adalah instrumen matematika yang paling produktif yang pernah dikembangkan manusia. Seluruh fisika modern, seluruh teknik, seluruh pemodelan cuaca, seluruh ekonometrika bergantung padanya.
Dan semuanya berakar pada keberanian untuk mendekati ketiadaan — untuk tidak berhenti pada horror vacui Aristotelian, tidak lari dari pertanyaan tentang nol, melainkan membangun seluruh teori tentang bagaimana mendekati ketiadaan secara terkontrol dan produktif.
VII. Infinity: Keimanan pada Ketiadaan yang Berlipat Tanpa Batas
Dari nol — ketiadaan yang ada sebagai bilangan — matematika bergerak ke arah yang berlawanan namun sama misteriusnya: tak terhingga (infinity, ∞). Dan jika nol adalah keimanan pada keberadaan ketiadaan, tak terhingga adalah keimanan pada keberadaan sesuatu yang tidak pernah selesai.
Georg Cantor (1845-1918 M) adalah tokoh yang membawa keimanan pada tak terhingga ke level yang bahkan para matematikawan sezamannya tidak siap untuk menerima. Cantor tidak hanya menerima tak terhingga sebagai konsep — ia menunjukkan bahwa ada berbagai tingkat tak terhingga yang berbeda-beda besarnya. Tak terhingga bilangan natural (ℵ₀) lebih kecil dari tak terhingga bilangan real (c). Ada hierarki tak terhingga yang tidak berujung.
Proposisi ini menyebabkan krisis matematika yang luar biasa. Leopold Kronecker — matematikawan besar yang percaya bahwa hanya bilangan bulat yang “benar-benar real” — menolak karya Cantor dan menyebutnya “korupsi pemuda” matematika. Poincaré menyebut teori himpunan Cantor sebagai “penyakit” yang harus disembuhkan. Cantor sendiri mengalami depresi berat karena penolakan komunitas matematika dan meninggal di sanatorium jiwa.
Namun keimanan Cantor bertahan — dan lebih dari itu, terbukti produktif. Teori himpunan yang ia bangun, termasuk keimanannya pada berbagai tingkat tak terhingga, menjadi fondasi dari seluruh matematika abad ke-20. Gödel membuktikan teorema ketidaklengkapannya menggunakan teori himpunan Cantor. Turing membangun konsep komputabilitas di atasnya. Alan Turing — yang merumuskan fondasi ilmu komputer — bekerja langsung di atas warisan Cantor.
Seluruh peradaban digital yang kita hidupi hari ini — internet, smartphone, kecerdasan buatan — berdiri di atas fondasi yang dimulai dari keimanan Georg Cantor pada tak terhingga yang berlipat tanpa batas. Seorang matematikawan yang oleh banyak orang dianggap gila karena berani mengimani sesuatu yang melampaui intuisi manusia.
VIII. Peano dan Von Neumann: Keimanan yang Diformalkan
Fondasi keimanan pada ketiadaan mencapai titik paling formalnya melalui dua tokoh yang membangun matematika dari bawah dengan presisi yang belum pernah ada sebelumnya.
Giuseppe Peano (1858-1932 M) merumuskan aksioma-aksioma aritmetika yang hingga hari ini menjadi fondasi standar teori bilangan. Aksioma pertamanya sangat sederhana namun sangat dalam: 0 adalah bilangan natural. Titik. Tanpa pembuktian. Tanpa derivasi dari prinsip yang lebih dalam. 0 ada — itulah aksioma yang ditetapkan, bukan dibuktikan.
Dari aksioma ini Peano membangun seterusnya: setiap bilangan natural memiliki penerus; 0 bukan penerus bilangan apapun; jika dua bilangan memiliki penerus yang sama, maka keduanya adalah bilangan yang sama; dan jika suatu sifat berlaku untuk 0 dan berlaku untuk penerus setiap bilangan yang memiliki sifat itu, maka sifat itu berlaku untuk semua bilangan natural. Lima aksioma. Seluruh aritmetika.
Namun John von Neumann (1903-1957 M) — salah satu matematikawan dan ilmuwan terbesar abad ke-20 — melangkah lebih jauh dengan cara yang lebih radikal. Dalam konstruksinya untuk teori himpunan, ia menunjukkan bagaimana seluruh bilangan natural bisa dibangun dari himpunan kosong — dari ketiadaan yang murni. Konstruksinya:
0 = ∅ (nol adalah himpunan kosong — ketiadaan murni)
1 = {∅} (satu adalah himpunan yang mengandung ketiadaan)
2 = {∅, {∅}} (dua adalah himpunan yang mengandung ketiadaan dan himpunan yang mengandung ketiadaan)
3 = {∅, {∅}, {∅, {∅}}} (tiga adalah himpunan yang mengandung ketiadaan, himpunan yang mengandung ketiadaan, dan himpunan yang mengandung keduanya)
Dan seterusnya — seluruh bilangan natural adalah konstruksi dari ketiadaan. Satu bukan “sesuatu yang berdiri sendiri” — ia adalah himpunan yang mengandung ketiadaan. Dua adalah himpunan yang mengandung ketiadaan dan konstruksi pertama dari ketiadaan. Seluruh bilangan adalah ketiadaan dan konstruksi ketiadaan. Konstruksi ketiadaan tetaplah ketiadaan — namun ketiadaan yang terstruktur, yang produktif, yang dari sana lahir seluruh aritmetika, aljabar, kalkulus, dan matematika yang menopang peradaban.
IX. Mengapa Diterima? Karena Berguna bagi Kemanusiaan
Perjalanan panjang dari penolakan Eropa terhadap nol hingga penerimaan universalnya hari ini bukan perjalanan yang dimotivasi oleh keyakinan filosofis semata. Ia adalah perjalanan yang dimotivasi oleh sesuatu yang sangat pragmatis dan sangat manusiawi: manfaat.
Sistem bilangan Romawi tidak bisa digunakan untuk membangun kalkulus. Sistem bilangan Romawi tidak bisa menjadi bahasa komputasi. Sistem bilangan Romawi tidak bisa menghasilkan algoritma yang menggerakkan seluruh teknologi digital. Sistem yang mengakrabi nol — yang dimulai dari al-Khawārizmī di Baghdad abad ke-9 M, yang disebarluaskan ke Eropa melalui terjemahan-terjemahan Latin, yang kemudian menjadi fondasi revolusi ilmiah — bisa melakukan semua itu.
Nol diterima secara universal bukan karena manusia akhirnya memiliki “bukti” bahwa ketiadaan itu ada. Ia diterima karena sistem yang dibangun di atas keimanan pada nol menghasilkan pengetahuan dan teknologi yang memberi manfaat luar biasa bagi kemanusiaan. Ini bukan pembuktian — ini adalah validasi melalui buah.
Al-Qur’an merumuskan prinsip ini dengan sangat tepat:
فَأَمَّا الزَّبَدُ فَيَذْهَبُ جُفَاءً وَأَمَّا مَا يَنفَعُ النَّاسَ فَيَمْكُثُ فِي الْأَرْضِ
“Adapun buih, ia akan hilang sia-sia; dan adapun yang memberi manfaat kepada manusia, ia akan tetap bertahan di bumi.” (QS. Ar-Ra’d: 17)
Sistem bilangan Romawi tanpa nol adalah buih — ia tidak menghasilkan aljabar, tidak menghasilkan kalkulus, tidak menghasilkan komputasi. Ia hilang — bukan dilarang, bukan dihancurkan, melainkan ditinggalkan karena tidak memberi manfaat yang cukup. Sistem bilangan yang mengakrabi nol dan dirumuskan oleh al-Khawārizmī adalah yang bertahan — bukan karena ia “terbukti benar” secara filosofis, melainkan karena ia memberi manfaat yang tak terhingga bagi kemanusiaan.
Inilah cara menilai keimanan — baik keimanan matematika pada ketiadaan, maupun keimanan eksistensial pada Allah. Bukan dengan membuktikannya dari prinsip yang lebih dalam. Melainkan dengan melihat apa yang dihasilkan ketika keimanan itu diistiqamahkan secara konsisten: apakah ia menghasilkan pengetahuan yang tumbuh, peradaban yang berkembang, kehidupan yang bermakna, dan manfaat yang bertahan di bumi?
قُلْ آمَنتُ بِاللهِ ثُمَّ اسْتَقِمْ
Tetapkan fondasi. Iman kepada Allah — seperti iman matematika pada ketiadaan — adalah aksioma yang dipilih, bukan teorema yang dibuktikan. Lalu dari fondasi itu, eksplorasi seluruh konsekuensinya secara konsisten: mengukur alam semesta yang bi-miqdār, menghitung pergerakannya yang bi-ḥusbān, membangun pengetahuan yang memberi manfaat bagi kemanusiaan. Dan biarkan buah dari keistiqamahan itu menjadi validasi atas kebenaran fondasi — bukan pembuktian formal, melainkan sesuatu yang jauh lebih kuat: kehidupan dan peradaban yang bertahan karena memberi manfaat.
Karena pada akhirnya, ketiadaan yang ada dalam matematika dan Allah yang ada dalam aqidah berbagi satu karakteristik yang paling fundamental: keduanya tidak dibuktikan — keduanya diimani sebagai fondasi, dan keduanya menghasilkan sistem yang paling produktif yang pernah dibangun oleh peradaban manusia.