01Tanda
Himpunan dan relasi diajarkan dalam aljabar modern. Salah satunya, pengodean karakter, digunakan di komputer saat ini.
02Bukti ilmiah
Pengodean Karakter
Dalam komputasi, penyimpanan data, dan transmisi data, pengodean karakter digunakan untuk merepresentasikan sekumpulan karakter dengan suatu sistem pengodean yang memberikan angka pada setiap karakter untuk representasi digital.
Kita dapat merepresentasikan satu himpunan karakter sebagai pengganti himpunan lain. Hal ini baru diketahui belakangan, namun telah digambarkan dalam Al-Qur'an 1400 tahun sebelum ditemukan. Beberapa ayat dalam Al-Qur'an memuat huruf-huruf yang tidak memiliki arti dalam bahasa Arab, namun tampaknya terkodekan. Surah 27 diawali dengan “T ط” dan “S س”:
“T ط” muncul 27 kali dalam surah ini, sama dengan nomor surah 27.
“S س” muncul 93 kali dalam surah ini, sama dengan jumlah ayatnya 93.
Dari Quran Characters Counter:

Dalam surah 27, “T ط” muncul 27 kali dan “S س” muncul 93 kali.
Surah ini bernomor 27, tetapi Al-Qur'an disusun setelah wafatnya Nabi, sehingga beliau tidak mungkin mengetahui bahwa surah ini akan menjadi nomor 27; namun angka 27 terkodekan dalam huruf-hurufnya.
Jika “T ط” adalah 27 dan “S س” adalah 93, maka Al-Qur'an T:S mengatakan bahwa kamu akan melihat tanda-tanda Allah dan kamu akan mengenalinya:
03Ayat Al-Qur'an · Al-Qur'an 27:93
وَقُلِ الْحَمْدُ لِلَّهِ سَيُرِيكُمْ آيَاتِهِ فَتَعْرِفُونَهَا ۚ وَمَا رَبُّكَ بِغَافِلٍ عَمَّا تَعْمَلُون ٩٣
Dan katakanlah, “Segala puji bagi Allah; Dia akan memperlihatkan kepadamu tanda-tanda-Nya, maka kamu akan mengenalinya. Dan Tuhanmu tidak lengah terhadap apa yang kamu kerjakan.”
04Renungan
“Dia akan memperlihatkan kepadamu tanda-tanda-Nya, maka kamu akan mengenalinya” ayat ini berbicara tentang tanda-tanda yang akan kita temukan. Kini kita menemukan bahwa nomor surah dan ayat terkodekan.
05 · Renungkan