Elegi Pemberontakan Pendidikan Matematika 11: Apakah Matematika Kontradiktif ? (Bagian Kesatu)

Oleh Marsigit

Saya masih ingin mengajukan secondary notion yang mungkin sedikit mengganggu bagi para matematikawan murni, dengan pertanyaan filsafat "Apakah Matematika Kontradiktif?"

Sebagian besar matematikawan kita adalah para Logicist dan Formalist. Pertanyaan itu tentu sangat aneh bagi para Logicist dan Formalist, karena batasan Matematika bagi mereka adalah "tidak kontradiktif".

Logicist dan Formalist mempertahankan kebenaran koherensi matematikanya dengan "konsistensi" pada logika dan bentuk formalnya. Artinya, Logicist dan Formalist mendefinisikan matematika sebagai "konsistensi serta tidak ditemukan adanya kontradiksi".

Jika terdapat prosedur yang tidak konsisten atau prosedur yang kontradiktif maka oleh Logicist dan Formalist itu belumlah dianggap sebagai matematika; atau dianggap sebagai matematika yang salah.

Tentu, tidak konsisten belum tentu kontradiksi. Tetapi kontradiksi pastilah tidak konsisten. Oleh karena itu akan timbul pertanyaan tentang pertanyaan itu sendiri.

Namun, pertanyaan itu sengaja saya ajukan agar kita para Logicist dan Formalist lebih ikhlas dan legowo menerima kenyataan bahwa suatu ketika akan menemukan "kontradiksi" itu di dalam ruang dan waktunya sistem atau struktur matematika yang dikembangkannya.

Relevansi pertanyaan saya itu sebetulnya hanyalah menyangkut "skala ketelitian memandang dan menguji konsistensi logika dan bentuk formal matematikanya".

Apa sebetulnya yang saya maksud dengan kalimat terakhir ini? Dan bagaimana tentang jawaban dari pertanyaan saya itu, maka akan saya uraikan pada posting berikutnya (Bagian Kedua).

Amin.