stanford-oval/wikipedia huggingface dataset:
Badan Informasi Geospasial
Pranala luar

(Indonesia) Situs web resmi
| l b  Lembaga pemerintah nonkementerian Indonesia |
| --- | --- |
 ANRI  Bakamla  Bapanas  BAPETEN  Bappenas  Barantin  Basarnas  BEKRAF  BGN  BIG  BIN  BKN  BKKBN  BKPM  BMKG  BNN  BNPB  BNPT  BPH  BPJPH  BP2MI  BPKP  BPN  BPLH  BPOM  BPS  BRIN  BSN  BSSN  LAN  Lemhannas  LKPP  Perpusnas 
Logo Bakosurtanal (hingga tahun 2011).
Siti Hutami Endang Adiningsih

| Siti Hutami Endang Adiningsih |
| --- | --- |
Lahir: 23 Agustus 1964 (umur 60) Jakarta, Indonesia
Kebangsaan: Indonesia
Nama lain: Mamiek Soeharto
Almamater: Institut Pertanian Bogor
Pekerjaan: Pengusaha
Suami/istri: Pratikto Singgih (cerai)
Anak: Wiratama Hadi Ramanto
Orang tua: Soeharto (bapak) Siti Hartinah (ibu)
Kerabat: Siti Hardijanti Rukmana (kakak) Sigit Harjojudanto (kakak) Bambang Trihatmodjo (kakak) Siti Hediati Hariyadi (kakak) Hutomo Mandala Putra (kakak)

Siti Hutami Endang Adiningsih (lahir 23 Agustus 1964
), atau biasa dikenal dengan nama Mamiek Soeharto, adalah seorang pengusaha dan dermawati Indonesia. Mamiek merupakan putri bungsu dari mantan Presiden Soeharto.
Kehidupan awal dan pendidikan > Kehidupan awal

Mamiek Soeharto lahir di Jakarta pada 23 Agustus 1964. Ia adalah anak keenam (dan putri bungsu) dari pasangan Soeharto dan Tien Soeharto. Mamiek lahir pada hari ulang tahun ibundanya, sehingga memiliki tanggal ulang tahun yang sama dengan Ibu Tien. Pada saat itu, ayahnya menjabat sebagai Panglima Komando Strategis Angkatan Darat dengan pangkat Mayor Jenderal. Ia juga merupakan keturunan Mangkunegara III dari garis ibu.
Kehidupan awal dan pendidikan > Pendidikan

Mamiek bersekolah di SMP Perguruan Cikini dan SMA Santa Theresia Menteng di Jakarta. Setamatnya dari Sekolah Menengah Atas pada tahun 1983, ia kemudian kuliah di Institut Pertanian Bogor (IPB) dengan mengambil jurusan Statistika di Fakultas Matematika dan Ilmu Pengetahuan Alam (FMIPA). Mamiek lulus pada tahun 1987 dengan gelar Insinyur pertanian. Upacara wisudanya dihadiri oleh kedua orang tuanya, yang saat itu menjabat sebagai Presiden & Ibu Negara Indonesia.
Karier

Mamiek Soeharto menjabat sebagai direktur Taman Buah Mekarsari sejak didirikan pada tahun 1995. Tujuan taman ini sebagai sarana pendidikan bagi anak bangsa, pelestarian lingkungan, taman rekreasi edukatif dan mempromosikan riset mengenai botani.
Tidak seperti kakak-kakaknya, Mamiek lebih memilih untuk tidak terlibat di dalam dunia politik.
Selain bisnis, Mamiek aktif di bidang kegiatan sosial. Ia menjabat sebagai Pembina Yayasan Dana Sejahtera Mandiri (Damandiri) yang mempunyai tujuan untuk membantu keluarga Indonesia yang masih hidup dibawah garis kemiskinan. Di bawah pembinaannya, Yayasan Damandiri berhasil menjalankan berbagai program sosial seperti membangun Kawasan Wisata Baduy Saung Sadulur di Kabupaten Lebak, Banten pada tahun 2023 dan Desa Wisata Samiran di Kabupaten Boyolali, Jawa Tengah pada tahun 2019.
Bersama kakaknya, Siti Hardijanti Rukmana (atau Mbak Tutut), Yayasan Dharmais menyelenggarakan operasi katarak bagi masyarakat tidak mampu di daerah 3T (Tertinggal, Terdepan dan Terluar). Sejak didirikan pada tahun 1976, Yayasan Dharmais sudah memberikan manfaat bagi 140.000 orang.
Pada pandemi Covid-19, di April 2020, Mamiek mengirim bantuan 1,500 paket sembako ke komunitas Institut Pertanian Bogor yang saat itu partially close down. Bantuan diterima langsung oleh Dekan FMIPA, Dr Ir Sri Nurdiati, MSc di Auditorium FMIPA, Kampus IPB Dramaga.
Kehidupan pribadi

Mamiek menikah dengan Pratikto Singgih pada tahun 1988. Pratikto adalah lulusan 
Fakultas Ekonomi Universitas Indonesia dan juga putra dari Prayitno Singgih, seorang diplomat Departemen Luar Negeri Indonesia.
Pernikahannya dikaruniai seorang anak bernama Wiratama Hadi Ramanto (Wira). Mamiek dan Pratikto akhirnya bercerai. Sementara putranya, Wira, berprestasi dengan menjadi anggota Pasukan Pengibar Bendera Pusaka (Paskibraka) pada 17 Agustus 2007, bertepatan dengan Hari Ulang Tahun ke-62 RI di Istana Merdeka.
Salvia nilotica

| Salvia nilotica |
| --- | --- |


Klasifikasi ilmiah
Kerajaan:: Plantae
Klad:: Tracheophyta
Klad:: Angiospermae
Klad:: Eudikotil
Klad:: Asterid
Ordo:: Lamiales
Famili:: Lamiaceae
Genus:: Salvia
Spesies:: Salvia nilotica
Nama binomial
Salvia nilotica Juss. ex Jacq.

Salvia nilotica adalah spesies tumbuhan yang tergolong ke dalam famili Lamiaceae. Spesies ini juga merupakan bagian dari ordo Lamiales. Spesies Salvia nilotica sendiri merupakan bagian dari genus Salvia. Nama ilmiah dari spesies ini pertama kali diterbitkan oleh Juss. ex Jacq..
Cyperus rigidifolius

| Cyperus rigidifolius |
| --- | --- |

Klasifikasi ilmiah
Kerajaan:: Plantae
(tanpa takson):: Tracheophyta
(tanpa takson):: Angiospermae
(tanpa takson):: Monokotil
(tanpa takson):: Komelinid
Ordo:: Poales
Famili:: Cyperaceae
Genus:: Cyperus
Spesies:: Cyperus rigidifolius
Nama binomial
Cyperus rigidifolius Steud.

Cyperus rigidifolius adalah spesies tumbuhan yang tergolong ke dalam famili Cyperaceae. Spesies ini juga merupakan bagian dari ordo Poales. Spesies Cyperus rigidifolius sendiri merupakan bagian dari genus Cyperus. Nama ilmiah dari spesies ini pertama kali diterbitkan oleh Steud..
Wafiq Azizah
Album

Bersama label MultiArt Production
Shalawat Nariyah (1999) (kerjasama label Blackboard Indonesia)
Mohon Ampun/Istighfar (2000) (kerjasama label Musica Studio's)
Shalatuminallah (2001)
Istaghfiruu Robbakum (2002)
Astaghfirullaah (2002)
Wahdana (2003)
Yatim Piatu (2004)
Ya Muhaemin (2004)
Shalawat Syifa (2005)
Ana Batba' [GAMBUS MODERN] (2005)
Shalawat Qur'aniyah (2006)
Hamawi Ya Mis Mis [GAMBUS MODERN] (2006)
Katabna [GAMBUS MODERN] (2007)
Dosa (2013)
Thank You Allah (2013)
Keadilan (2015)
Amin Ya Allah (2017)
Kawakib (2017)
Bi Islami (2017)
Bersama label Alunan Senada Record
Mayjuz [GAMBUS MODERN 1] (2008)
Ya Magnon [GAMBUS MODERN 2] (2008)
Belajar Mengaji (2008)
Inta E'ih [GAMBUS MODERN 3] (2009)
Belajar Doa (2009)
Yaa Toyba (2009)
Hidupkan Sunahku (2009)
Salam Min Ba'id [GAMBUS MODERN 4] (2009)
Ala Baladi [GAMBUS MODERN 5] (2010)
Golbi Mualaq [GAMBUS MODERN 6] (2010)
Amantubillah [GAMBUS MODERN 7] (2010)
Ghonnili [GAMBUS MODERN 8] (2010)
Sifat Wajib Allah (2010)
Sifat-Sifat Nabi (2010)
Nyuwun Ngapuro (2010)
Kota Santri [QASIDAH MODERN 1] (2010)
Allahumma Sholli Ala Muhammad (2011)
Sholatun Bissalamil Mubin (2011)
Kunci Doa (2011)
Jilbab Putih [QASIDAH MODERN 2] (2011)
Mohon Doa Restu [QASIDAH MODERN 3] (2011)
Belajar Tajwid (2012)
Roboh-Roboh Gedang (2012)
Surga Di Telapak Kaki Ibu [QASIDAH MODERN 4] (2012)
Serumah Jarang Bertemu [QASIDAH MODERN 5] (2012)
Sholawat Kepada Nabi (2012)
Mohon Ampun (2012)
Bersama label lain
Ya Rahman Ya Rahim (2012)
Shalawat Penyejuk Hati (2018)
Permata Cinta (2019)
Lagu Hits Religi UNGU (2020) [mini album] dengan lagu lagunya : Syukur Alhamdulillah, Hasbunallah, SurgaMu, Bila Tiba & Selamat Lebaran
Ungkapan Rasa (2024)
Album lain

Murottal Juz Amma (2005) [label MultiArt Production]
Album kompilasi

Sholawat & Lagu Anak-Anak Group Manik Jinawi (1998), dalam lagu = "Shalawat Salam & Do'a Dalam Shalawat Badriyah"
Belajar Mengaji Sambil Berdendang (1999)
Asmaul Husna, Shalawat dan Munajat (2004), dalam lagu "Sifat 20"
Manasik Haji dan Umrah Dalam Irama (2006)
Semesta Bertasbih dari album Opick, duet "Ya Rasul" (2006)
Bunga Kasih Sayang, dalan lagu "Bunga Kasih Sayang" (2006)
Shalawat dan Nasyid Terbaik dari album Jefri Al Buchori, duet "Wahdana" (2009)
Top Hits Shalawat WAFIQ AZIZAH & NANDA B.Q (2010)
PPIB I Gorontalo (2011), dalam lagu "Elehiya, Elayi, Jasa Ayah Bunda"
PPIB II Gorontalo (2012), dalam lagu "Tahuli'u, Ya Rozaq"
Syi'iran Wali (2017)
Kompilasi Assalamu Alaika (2018) dalam lagu "Assalamu Alaika"
Aku Cinta Allah (2019) dalam lagu "Tiada Tuhan Selain Allah & Alfa Salam"
Sholawat Seribu Cinta (2019) dalam lagu "Sholawat Nadhliyah, Adfaita, Robbi Kholaq Thoha, Mauju' Qolbi, Ummi Tsumma Ummi"
Singel

Tak Bisa Dua Hati (2019)
Tiada Tuhan Selain Allah (2019)
Alfa Salam (2019)
Cinta Datang dan Pergi (2019)
Bidadari Surgamu (2019)
Tawakal (2020)
Laksana Surga (2020)
Mahar Cinta (2020)
Dzikir (2020)
Sumpah Aku Kangen (2020)
Ya Habibi (2020)
Sholawat Kawakib (2020)
Corona Muliho (2020)
Astaghfirullah (2020)
Jatuh Untuk Berdiri (2020)
Ya Abataah (BAPAK versi Bahasa Arab) [dipopulerkan Didi Kempot] (2020)
Alfu Madinati (SEWU KUTHO versi Bahasa Arab) [dipopulerkan Didi Kempot] (2020)
Kosong Kosong (2020)
Kembali PadaMu (2020)
Curhatan Hati (2020)
Hadzal Eid Saeed (2021)
Ridhallah Ridhol Walidain (2021)
Tabassumu (2021)
Ya Mustafa (2022)
Bunga Ibadah (2022)
Gema Adzan (2022)
Barakallah (2022)
Nur Muhammad (2022)
Di Pondok Kecil (2022)
Sayang Sayang feat. Ipunk & Dinov [new version] (2022)
Do'a Pengantin (2022)
Syaikhona (2022)
Sepohon Kayu [New Version] (2022)
Shalawat Nariyah [New Version] (2022)
Isyfa'lana [New Version] (2022)
Shalawat Jibril (2022)
Khotmil Qur'an (2022)
Gambus Modern | Assuban (2022)
Gambus Modern | Ana Bat Ba' (2022)
Gambus Modern | Wahdana (2022)
Gambus Modern | Ya Teer (2022)
Gambus Modern | Qoddukal Mayyas (2022)
Tholama Asyku Ghoromi [New Version] (2023)
Al Kaunu 'Adhoo (2022)
Sholawat Kawakib (2023)
Pantun Pengantin (2023)
Robbi [New Version] (2023)
Sidnan Nabi [New Version] (2023)
Gambus Modern | Ya Rayt (2023)
Jagalah Mata (2023)
Atani Zamani (2023)
Da'i Qolby (2023)
Shalawat Asyghil (2023)
Romadhonu Tajalla (2023)
Syahrul Adhim Syahrul Romadhon (2023)
Selamat Lebaran (2023)
Silahkan (2023)
Maa Madda (2023)
Miftahul Jannah (2023)
Kita Satu (2023)
Yassir Lana (2023)
Alamate Anak Sholeh (2023)
Sajadah Merah (2023)
Thohan Nabil Adnan (2023)
Mabruk Alfa Mabruk [versi baru] (2023)
Waqtu Sahar (2023)
Santri Beken (2023)
Sholawatullahi Taghsya (2023)
Allah Rahman Rahim (2024)
Ampuni Aku (2024)
Salam Salam (2024)
Yang Ku Puja (2024)
Ya Robbi (2024)
Ta'aruf (2024)
Marwah Cinta (2024)
Rindu AmpunanMu (2024)
Cerminan Jiwa (2024)
Cinta Dalam Ilmu (2024)
Labbaikallah (2025)
Matematika

Matematika adalah bidang studi yang menemukan dan mengorganisasikan metode, teori dan teorema yang dikembangkan dan dibuktikan untuk kebutuhan ilmu-ilmu empiris (sains) dan matematika itu sendiri. Area matematika mencakup: teori bilangan (studi tentang bilangan), aljabar (studi tentang rumus dan struktur terkait), geometri (studi tentang bentuk dan ruang), analisis (studi tentang perubahan berkelanjutan), dan teori himpunan (sekarang digunakan sebagai fondasi matematika).
Matematika melibatkan deskripsi dan manipulasi dari objek-objek abstrak yang terdiri antara abstraksi dari alam, atau entitas abstrak murni yang ditetapkan untuk memiliki sifat-sifat (properti) tertentu, disebut aksioma.
Matematika berguna di banyak bidang, termasuk ilmu alam, rekayasa, kedokteran, keuangan, ilmu komputer, dan ilmu sosial. Beberapa bidang matematika, seperti statistika dan teori permainan, dikembangkan dalam korelasi langsung dengan terapannya, dan dikelompokkan sebagai matematika terapan. Bidang matematika lainnya dikembangkan secara independen dari terapan apa pun (disebut matematika murni), tetapi terapan praktis sering ditemukan kemudian. Contoh yang tepat adalah masalah faktorisasi prima, yang merujuk kepada Euklides, tetapi tidak memiliki terapan praktis sebelum digunakan dalam sistem keamanan jaringan RSA.
Etimologi

Kata "matematika" berasal dari bahasa Yunani Kuno: μάθημα (máthēma), yang berarti "yang dipelajari," "apa yang seseorang ingin ketahui," dengan demikian juga berarti "pengkajian" dan "ilmu pengetahuan". Kata untuk "matematika" memiliki arti yang kian menyempit dan lebih teknis "studi matematika" bahkan di zaman Klasik. Kata sifat-nya adalah mathēmatikós (μαθηματικός), berarti "berhubungan dengan pembelajaran" atau "rajin belajar," yang selanjutnya berarti "matematis". Secara khusus, mathēmatikḗ tékhnē (μαθηματικὴ τέχνη; bahasa Latin: ars mathematica) berarti "seni matematika".
Demikian pula, salah satu dari dua aliran pemikiran utama dalam Pythagoreanisme dikenal sebagai the mathēmatikoi (μαθηματικοί)—yang pada saat itu berarti "pembelajar" daripada "matematikawan" dalam pengertian modern.
Dalam bahasa Latin, dan dalam bahasa Inggris sampai sekitar tahun 1700, istilah matematika lebih sering berarti "astrologi" (atau kadang-kadang "astronomi") daripada "matematika"; artinya secara bertahap berubah menjadi apa yang sebagaimana dipahami sekarang ini sejak tahun 1500-an hingga 1800-an. Hal ini berakibat pada beberapa penerjemahan yang keliru. Misalnya, seruan peringatan dari Santo Agustinus bahwa orang Kristen harus waspada terhadap mathematici, yang berarti astrolog, kadang-kadang salah diterjemahkan sebagai kutukan matematikawan.
Bentuk jamak sering dipakai di dalam bahasa Inggris, seperti juga di dalam bahasa Prancis bentuk jamak les mathématiques (dan jarang digunakan sebagai turunan bentuk tunggal la mathématique), merujuk pada bentuk jamak bahasa Latin yang cenderung netral mathematica (Cicero), berdasarkan bentuk jamak τὰ μαθηματικά (ta mathēmatiká), yang dipakai Aristoteles (384–322 SM), yang terjemahan kasarnya berarti "segala hal yang matematis", meskipun dapat diterima bahwa bahasa Inggris hanya meminjam kata sifat mathematic(al) dan diikuti bentuk kata benda mathematics, setelah mengikuti pola physics dan metaphysics, yang dipinjam dari bahasa Yunani. Tetapi, di dalam bahasa Inggris, kata benda jamak mathematics berubah menjadi bentuk tunggal mathematic bila dipakai sebagai kata kerja. Di dalam ragam percakapan, matematika kerap kali disingkat sebagai math di Amerika Utara dan maths di tempat lain.
Definisi yang diajukan

Artikel utama: Definisi dan Filsafat matematika
Tidak ada kesepakatan umum mengenai definisi pasti atau epistemologi status matematika. Banyak matematikawan profesional yang tidak tertarik pada definisi matematika, atau menganggapnya tidak dapat ditentukan. Bahkan tidak ada kesepakatan tentang apakah matematika adalah seni atau sains. Beberapa orang hanya mengatakan, "Matematika adalah apa yang matematikawan lakukan."
Aristoteles mendefinisikan matematika sebagai "ilmu kuantitas" dan definisi ini berlaku sampai abad ke-18. Namun, Aristoteles juga memperingatkan bahwa fokus pada kuantitas saja tidak dapat membedakan matematika dari ilmu-ilmu seperti fisika; menurutnya, yang menjadikan matematika unik adalah adanya proses abstraksi dan pengkajian kuantitas sebagai sifat "yang dapat dipisahkan dalam pemikiran" dari contoh nyata.
Pada abad ke-19, ketika studi matematika semakin meningkat dalam ketelitian dan mulai membahas topik-topik abstrak seperti teori grup dan geometri proyektif, yang tidak memiliki hubungan yang jelas dengan kuantitas dan pengukuran, matematikawan dan filsuf mulai mengajukan berbagai definisi baru. Sampai hari ini, para filsuf terus menjawab pertanyaan-pertanyaan dalam filsafat matematika, seperti sifat pembuktian matematika.
Ilham, matematika murni dan terapan, dan estetika

Artikel utama: Keindahan matematika
Matematika muncul pada saat dihadapinya masalah-masalah yang rumit yang melibatkan kuantitas, struktur, ruang, atau perubahan. Mulanya masalah-masalah itu dijumpai di dalam perdagangan, pengukuran tanah, dan kemudian astronomi; kini, semua ilmu pengetahuan menganjurkan masalah-masalah yang dikaji oleh para matematikawan, dan banyak masalah yang muncul di dalam matematika itu sendiri. Misalnya, seorang fisikawan Richard Feynman menemukan rumus integral lintasan mekanika kuantum menggunakan paduan nalar matematika dan wawasan fisika, dan teori dawai masa kini, teori ilmiah yang masih berkembang yang berupaya mempersatukan empat gaya dasar alami, terus saja mengilhami matematika baru.
Beberapa matematika hanya bersesuaian di dalam wilayah yang mengilhaminya, dan diterapkan untuk memecahkan masalah lanjutan di wilayah itu. Tetapi sering kali matematika diilhami oleh bukti-bukti di satu wilayah ternyata bermanfaat juga di banyak wilayah lainnya, dan menggabungkan persediaan umum konsep-konsep matematika. Fakta yang menakjubkan bahwa matematika "paling murni" sering beralih menjadi memiliki terapan praktis adalah apa yang Eugene Wigner menyebutnya " Keefektifan luar biasa matematika sampai taraf tak masuk akal dalam Ilmu Pengetahuan Alam membutuhkan penjelasan.".
Seperti di sebagian besar wilayah pengkajian, ledakan pengetahuan pada zaman ilmiah telah mengarah pada pengkhususan di dalam matematika. Satu perbedaan utama adalah di antara matematika murni dan matematika terapan: sebagian besar matematikawan memusatkan penelitian mereka hanya pada satu wilayah ini, dan kadang-kadang pilihan ini dibuat sedini perkuliahan program sarjana mereka. Beberapa wilayah matematika terapan telah digabungkan dengan tradisi-tradisi yang bersesuaian di luar matematika dan menjadi disiplin yang memiliki hak tersendiri, termasuk statistika, riset operasi, dan ilmu komputer.
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.
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. 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 sekali baru (seperti homeomorfisme). Kosakata teknis ini tepat dan ringkas, sehingga memungkinkan untuk secara psikis memproses ide-ide yang kompleks. Matematikawan menyebut ketepatan bahasa dan logika ini sebagai "kekakuan".
Kekakuan yang diharapkan dalam matematika telah bervariasi dari waktu ke waktu: orang Yunani mengharapkan argumen yang terperinci, tapi di masa kejayaan Isaac Newton, metode yang digunakan kurang kaku. Masalah yang melekat dalam definisi yang digunakan oleh Newton menyebabkan kebangkitan analisis yang cermat dan bukti formal pada abad ke-19. Kemudian pada awal abad ke-20, Bertrand Russell dan Alfred North Whitehead menerbitkan karya mereka, Principia Mathematica, upaya untuk menunjukkan bahwa semua konsep dan pernyataan matematika dapat didefinisikan, kemudian dibuktikan seluruhnya melalui logika simbolik. Ini adalah bagian dari program filosofis yang lebih luas yang dikenal sebagai logisisme, yang melihat matematika terutama sebagai perpanjangan dari logika.
Meskipun matematika demikian ringkas, ekspresi pembuktian justru membutuhkan ratusan halaman. Munculnya bukti berbantuan komputer telah memungkinkan panjang bukti untuk lebih berkembang. Bukti yang dibantu komputer mungkin salah jika peranti lunak pembuktian memiliki kekurangan, dan jika bukti itu terlalu panjang, sulit untuk diperiksa. Di pihak lain, pembantu pembuktian membolehkan verifikasi perincian yang tidak dapat diberikan oleh bukti yang ditulistangan, dan memberikan kepastian kebenaran bukti panjang seperti yang ada pada bukti setebal 255 halaman untuk Teorema Feit–Thompson.
Kreativitas dan intuisi

Lihat pula: Keindahan matematis
Kebutuhan akan kebenaran dan kekakuan tidak berarti matematika tidak memiliki tempat untuk kreativitas. Sebaliknya, sebagian besar pekerjaan matematika di luar perhitungan hafalan membutuhkan pemecahan masalah yang cerdas dan mengeksplorasi perspektif baru secara intuitif.
Kecenderungan matematis seringkali tidak hanya melihat kreativitas, tetapi juga nilai estetika dalam matematika, yang biasa digambarkan sebagai keanggunan. Kualitas seperti kesederhanaan, kesimetrisan, kelengkapan, dan keumuman sangat berharga dalam pembuktian dan teknik. G. H. Hardy dalam karyanya A Mathematician's Apology menyatakan keyakinan bahwa pertimbangan estetika ini, dengan sendirinya, cukup untuk membenarkan kajian matematika murni. Dia juga mengidentifikasi kriteria lain seperti signifikansi, tak terduga, dan keniscayaan, yang bersumbangsih pada estetika matematika.
Paul Erdős mengungkapkan sentimen ini secara lebih ironis dengan berbicara tentang "The Book", yang dianggap sebagai koleksi ilahi dari bukti-bukti yang paling indah. Terinspirasi oleh Erdős, kumpulan argumen matematika yang sangat ringkas dan inspiratif telah diterbitkan dalam Proofs from THE BOOK. Beberapa contoh hasil yang sangat elegan adalah bukti Euklides bahwa ada tak-hingga banyaknya bilangan prima dan transformasi Fourier cepat untuk analisis harmonik.
Beberapa orang merasa bahwa penganggapan matematika sebagai ilmu pengetahuan adalah berarti meremehkan seni dan sejarahnya dalam tujuh pengetahuan budaya tradisional. Salah satu cara perbedaan sudut pandang ini terjadi adalah dalam perdebatan filosofis mengenai apakah hasil matematis diciptakan (sebagaimana dalam seni) atau ditemukan (sebagaimana dalam ilmu pengetahuan). Kemasyhuran matematika rekreasi adalah tanda lain dari kesenangan yang ditemukan banyak orang dalam memecahkan pertanyaan matematika.
Pada abad ke-20, matematikawan L. E. J. Brouwer bahkan memprakarsai perspektif filsafat yang dikenal sebagai intuisionisme, yang mengenali matematika dengan proses kreatif tertentu dalam pikiran. Intuisionisme pada gilirannya adalah satu rasa dari sikap yang dikenal sebagai konstruksivisme, yang hanya menganggap absah suatu objek matematika jika dapat langsung dibangun, tidak hanya dijamin oleh logika secara tidak langsung. Hal ini menyebabkan para konstruktivis berkomitmen untuk menolak hasil tertentu, terutama argumen seperti bukti eksistensial yang didasarkan pada hukum yang mengecualikan posisi tengah.
Pada akhirnya, baik konstruktivisme maupun intuisionisme tidak menggantikan matematika klasik atau meraih penerimaan arus utama. Namun, program-program ini telah memotivasi perkembangan tertentu, seperti logika intuisionistik dan wawasan dasar lainnya, yang dihargai dalam haknya masing-masing.
Bidang-bidang matematika

Disiplin-disiplin utama di dalam matematika pertama muncul karena kebutuhan akan perhitungan di dalam perdagangan, untuk memahami hubungan antarbilangan, untuk mengukur tanah, dan untuk meramal peristiwa astronomi. Empat kebutuhan ini secara kasar dapat dikaitkan dengan pembagian-pembagian kasar matematika ke dalam pengkajian besaran, struktur, ruang, dan perubahan (yakni aritmetika, aljabar, geometri, dan analisis). Selain pokok bahasan itu, juga terdapat pembagian-pembagian yang dipersembahkan untuk pranala-pranala penggalian dari jantung matematika ke lapangan-lapangan lain: ke logika, ke teori himpunan (dasar), ke matematika empirik dari aneka macam ilmu pengetahuan (matematika terapan), dan yang lebih baru adalah ke pengkajian kaku akan ketakpastian.