Edisi VI/2013
TAHUN 1637, seorang matematikawan cum pengacara Perancis, Pierre de Fermat, mengajukan satu teorema tersulit dalam sejarah perkembangan teori angka. Teorema ini dikenal sebagai teorema terakhir Fermat (Fermat’slasttheorem). Teorema ini menyatakan bahwa tidak ada tiga integer positif a, b, dan c yang dapat memberikan solusi pada persamaan an+bn=cn bagi setiap nilai integer n yang lebih besar dari dua. Teorema ini sendiri merupakan perluasan dari teorema segitiga Phytagoras dengan derajat problematisasi yang lebih tinggi. Banyak matematikawan tersohor dunia seperti Carl Frederich Gauss, Leopold Kronecker, Sophie Germain, Georg Cantor, berupaya membuktikan teorema ini. Sayangnya, para matematikawan tersohor ini tidak mampu untuk memecahkan teorema terakhir Fermat. Bahkan seorang filsuf empirisis seperti Karl Popper, sempat berujar bahwa teorema ini lebih tepat dikatakan sebagai konjektur, suatu proposisi yang keliatan logis namun tidak dapat dibuktikan kebenarannya. Walau begitu, situasi itu berubah ketika teorema ini berhasil dipecahkan pada tahun 1995 oleh Andrew Wiles, seorang matematikawan Inggris yang mengajar di Universitas Princeton, AS. Wiles membuktikan teorema terakhir Fermat dengan menggunakan perhitungan representasi Galois terhadap konjektur Taniyama-Shimura, yang kemudian memberikan ekuasi logis terhadap teorema Fermat itu sendiri.
