Artikel Kategori: Matematika Titik

IMPLIKASI KETIADAAN AKSIOMA HIMPUNAN KOSONG

Pertanyaan apakah “ketiadaan” (non-existence), yang direpresentasikan secara matematis sebagai himpunan kosong, memiliki keberadaan, merupakan persimpangan filosofis yang fundamental. Untuk memahaminya, kita harus meninjau dua aliran epistemologis utama: idealisme Plato dan empirisme Aristoteles.

Secara esensial, eksistensi ketiadaan ini harus diterima secara aksiomatik, dan menolak aksioma tersebut akan menghancurkan fondasi pengetahuan modern.

I. ALIRAN EPISTEMOLOGIS: KETIADAAN DI MATA PLATO DAN ARISTOTELES

Plato dan Aristoteles memberikan arah yang berbeda mengenai asal-usul pengetahuan, yang memengaruhi pandangan mereka terhadap entitas abstrak seperti ketiadaan.

و النظري ما احتاج للتامل

وعكسه هو الضروري الجلى

Itu penggalan dari kitab manthiq berjudul Sullamul Munawraq. Itu melengkapi buku Thinking Fast and Slow karya Daniel Kahneman, yang merupakan rujukan utama Matematika Detik. Pengetahuan ضروري adalah tentang berpikir cepat, sedang نظري tentang berpikir lambat.

PERUMUSAN “IMAN BERLANJUT ISTIQOMAH” DALAM FILSAFAT MATEMATIKA DAN SAINS

​Pola pikir “Iman Berlanjut Istiqamah”—yaitu penetapan fondasi yang diterima (Aksioma/Iman) diikuti dengan pencarian konsistensi logis (Istiqamah)—adalah tulang punggung metodologi yang menggerakkan matematika dan sains modern. Meskipun istilah tersebut berakar pada ajaran Islam, esensi metodologisnya telah dirumuskan secara eksplisit oleh para filsuf dan ilmuwan, terutama saat menghadapi krisis fondasi intelektual.

​1. Definisi Metodologis: Aksiomatisasi Berlanjut Konsistensi

​Dalam konteks sains dan matematika, “Iman Berlanjut Istiqamah” memiliki arti metodologis yang ketat:

Pola pikir “Iman Berlanjut Istiqamah”—yaitu menetapkan fondasi dasar yang diterima (Aksioma/Iman) kemudian menarik konsekuensi logis secara konsisten (Istiqamah)—bukanlah penemuan tunggal, melainkan sebuah warisan metodologis yang mengalir dalam sejarah pemikiran Barat, dari filsafat Yunani hingga fisika modern. Pola ini menunjukkan bahwa kemajuan intelektual yang sehat selalu dimulai dengan penetapan prinsip dan fokus pada konsistensi, sebuah antitesis terhadap Aqidah Korslet yang melumpuhkan.

​1. Fondasi Filsafat (Plato & Aristoteles): Mencari Prinsip Pertama

​Kesadaran akan perlunya Iman Berlanjut Istiqamah berakar kuat pada pemikiran filsafat Yunani klasik yang berupaya mencari kebenaran yang tidak berubah:

​"Let’s Newton be! And all was light."

​Kutipan terkenal Alexander Pope ini merayakan kejeniusan Isaac Newton yang menyinari pemahaman manusia tentang alam semesta. Namun, cahaya yang dibawa Newton, dan kemudian diperluas oleh Einstein, bukanlah sihir—melainkan hasil dari penerapan metodologi kuno yang paling fundamental: Aksiomatisasi. Pertanyaannya, mungkinkah peradaban modern—dengan segala teknologinya, dari GPS hingga AI—berdiri jika tidak ada tradisi aksiomatisasi yang diturunkan dari Euclid? Jawabannya adalah Tidak.

​Aksiomatisasi adalah proses penetapan fondasi yang mutlak, yang menjadi prasyarat logis dan struktural bagi sistem pengetahuan yang kompleks. Tanpa proses ini, sains dan matematika akan terjebak dalam siklus infinite regress dan ambiguitas, yang mustahil menghasilkan konsistensi operasional yang diperlukan oleh peradaban modern.

Perdebatan tentang manṭiq (logika formal) dalam khazanah pemikiran Islam bukanlah sekadar silang pendapat metodologis, melainkan cerminan dari orientasi epistemologis yang mendalam. Dua tokoh besar yang menempati posisi kutub dalam perdebatan ini adalah Imam al-Ghazālī, Hujjatul Islam, dan Ibnu Taimiyah, Syaikhul Islam. Keduanya bukan hanya ulama besar, tetapi juga pembentuk paradigma yang memengaruhi lanskap keilmuan Islam selama berabad-abad.

Hukum III Termodinamika sukses dibuktikan benar, sehingga ia turun tahta dari hukum dasar menjadi sekadar hukum turunan. Pada situasi sebaliknya, postulat ke-5 Euclid gagal dibuktikan benar dari postulat lain, sehingga ia bertahan sebagai pengetahuan dasar. Benarkah? Jelaskan.

Ya, benar. Perbandingan ini sangat tepat dan mencerminkan perbedaan mendasar antara pengetahuan turunan dan pengetahuan dasar dalam kerangka deduktif filsafat sains dan matematika.

Apa yang teman-teman ikuti: kitab aqidah Ummul Barāhin, ataukah fisika yang merupakan pemimpin sains?

Hari itu, tim Matematika Titik Sekolah Al Biruni sedang mendiskusikan tentang posisi, yaitu bagian dari materi matematika kelas 2 SD. Meski tampak sederhana, posisi adalah tema terpenting dalam fisika, karena darinya lahir pemahaman tentang diam dan gerak. Dan ketika bahasan ini muncul di ruang kelas, ia tidak hanya menjadi soal pedagogi, tapi juga medan pertempuran epistemik—karena harus berhadapan langsung dengan penyebaran kesesatan oleh para agamawan yang mengklaim aqidah sebagai fondasi nalar, padahal justru merusaknya.

“Biarkan saja.” Terdengar suara Ibu Edhy Widiastuti menegur teman sebangku, Krisnanto. Sepertinya dia sedang mengisi lembar jawab milik atas namaku.

Kelas 3 IPA 2. Ulangan fisika, tapi aku telanjur tertidur. Kepala telanjur lunglai menempel meja, malas aku mengubah posisi. Juga takut.

Beruntung, selain guru olahraga, hanya Ibu Edhy yang terus mengajar aku sejak kelas satu. Jadi sudah kenal lama. Jadi aku dibiarkan saja. Toh aku hampir selalu meraih nilai tertinggi.

> أَحَسِبَ ٱلنَّاسُ أَن يُتْرَكُوٓا۟ أَن يَقُولُوٓا۟ ءَامَنَّا وَهُمْ لَا يُفْتَنُونَ

QS. Al-‘Ankabūt: 2

Ayat ini bukan ekspresi keraguan, melainkan penegasan epistemik: keimanan tidak dibuktikan, tetapi diuji. Dalam logika formal, ini adalah distingsi antara aksioma dan konsekuensi operasional. Keimanan adalah titik tolak yang tidak tunduk pada pembuktian, melainkan untuk diterapkan secara konsisten dalam situasi nyata.

Untuk memperjelas distingsi ini, mari kita ambil contoh bilangan 2025 dan keterbagiannya dengan 9.