Mereka yang berminat kepada matematika sering kali menjumpai suatu aspek estetika tertentu di
banyak matematika. Banyak matematikawan berbicara tentang keanggunan matematika, estetika
yang tersirat, dan keindahan dari dalamnya. Kesederhanaan dan keumumannya dihargai. Terdapat
keindahan di dalam kesederhanaan dan keanggunan bukti yang diberikan, semisal bukti Euclid yakni
bahwa terdapat tak-terhingga banyaknya bilangan prima, dan di dalam metode numerik yang anggun
bahwa perhitungan laju, yakni transformasi Fourier cepat. G. H. Hardy di dalam A Mathematician's
Apology mengungkapkan keyakinan bahwa penganggapan estetika ini, di dalamnya sendiri, cukup
untuk mendukung pengkajian matematika murni.[28]
Para matematikawan sering bekerja keras menemukan bukti teorema yang anggun secara khusus,
pencarian Paul Erdős sering berkutat pada sejenis pencarian akar dari "Alkitab" di mana Tuhan telah
menuliskan bukti-bukti kesukaannya.[29][30] Kepopularan matematika rekreasi adalah isyarat lain
bahwa kegembiraan banyak dijumpai ketika seseorang mampu memecahkan soal-soal matematika.
Penalaran logika
Lihat pula: Logika
Matematikawan berusaha keras untuk mengembangkan hasil mereka dengan penalaran sistematis
untuk menghindari kekeliruan menggunakan suatu "teorema". Bukti yang keliru ini sering muncul
dari intuisi yang salah dan telah umum dalam sejarah matematika. Untuk memungkinkan penalaran
deduktif, beberapa asumsi dasar perlu diakui secara tersurat sebagai aksioma. Secara tradisional
aksioma ini dipilih atas dasar pertimbangan akal sehat, tetapi aksioma modern biasanya
mengungkapkan jaminan formal untuk gagasan primitif, seperti objek dan relasi sederhana.
Keabsahan bukti matematika pada dasarnya adalah masalah kekakuan, dan kekakuan yang
disalahpahami adalah penyebab penting bagi beberapa kesesatan konseptual umum tentang
matematika. Bahasa matematika lebih presisi dibandingkan percakapan sehari-hari terhadap kata-
kata seperti atau dan hanya. Kata-kata lain seperti terbuka dan lapangan diinvestasikan dengan
makna baru untuk konsep matematika tertentu. Kadang-kadang diperkenalkan istilah yang sama
https://id.wikipedia.org/wiki/Matematika 6/23