Matematika (Kalkulus) Menyelesaikan Masalah Filosofis

Paman APIQ dengan bangga menyatakan bahwa matematika dapat menyelesaikan masalah filosofis. Penyelesaian matematis ini – lebih tepatnya kalkulus – memuaskan hampir semua pihak. Solusi kalkulus tidak berupa pemikiran-pemikiran spekulatif tetapi solusi eksak yang dapat dibuktikan dengan logika formal.

Apa sih maksudnya?

Paman APIQ mulai bercerita tentang katak tua dan ular muda ganas.

Terengah-engah berlari melompat-lompat, katak tua kehabisan nafas. Sedangkan ular muda terus mengintainya, siap memangsa.
Jarak semakin dekat…

“Cukup…! Berhenti…!” teriak katak tua.

Ular muda berhenti. Menunggu apa yang akan dilakukan katak tua.

“Aku lelah….aku sudah tua. Mungkin sudah takdirku akan menjadi santapanmu, ” katak tua mulai memainkan taktik.

Meski masih muda, ular muda itu tetap waspada terhadap macam kemungkinan tipu daya bakal mangsa. Ular muda itu hanya menatap mata katak tua yang tampaknya akan menjadi santapan lezat.

“Aku ikhlas… menjadi mangsamu dengan satu syarat,” katak tua bicara dengan pelan. Ular muda tetap membisu dan waspada terhadap kemungkinan tipu daya dari katak tua.

Masih sambil menahan lelah, katak tua melanjutkan,
“Berhentilah kamu di situ jarak satu meter dariku. Kamu boleh memangsaku jika berhasil menyentuhku dengan cara khusus. Yaitu kamu boleh mendekatiku sejauh 1/2 dari jarak yang tersisa. Sekarang kamu berjarak 1 meter. Maka kamu boleh mendekatiku 1/2 m, lalu boleh mendekatiku 1/4 m, lalu 1/8 m, dan seterusnya.”

Ular muda berpikir sejenak lalu menjawab, “Setuju. Mari kita mulai…!”

Ular muda mendekati katak tua sesuai aturan, 1/2 m, 1/4 m, 1/8 m, 1/16 m, 1/32 m, 1/64 m …

“Kena kau, Katak tua,” kata Ular muda bersemangat.
“Hei, jangan curang kau Ular muda. Pasti masih tersisa 1/2 jarak yang terakhir kan!”
“Buktinya, aku sudah menyentuhmu nih…”
“Tidak mungkin…! Pasti masih ada 1/2 jarak tersisa. Jangan curang kau!”

Mereka terus bertengkar.

Paman APIQ menghentikan ceritanya sejenak. Tampak Al, Geo, dan Meti berpikir serius. Saya sendiri mulai teringat kenangan saya saat mengambil mata kuliah kalkulus 1 di ITB.

“Kalkulus menyelesaikan masalah di atas dengan sangat memuaskan, ” Paman APIQ menandaskan.

*bersambung