Mengenal dasar 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).

gambar ini diambil dari sini

Dasar Matematika
– Besaran
– Ruang
– Perubahan
– Struktur

→Dasar dan filsafat Matematika

Untuk memeriksa dasar-dasar matematika, lapangan logika matematika dan teori himpunan dikembangkan, juga teori kategori yang masih dikembangkan. Kata majemuk "krisis dasar" mejelaskan pencarian dasar kaku untuk matematika yang mengambil tempat pada dasawarsa 1900-an sampai 1930-an.[28]

Beberapa ketaksetujuan tentang dasar-dasar matematika berlanjut hingga kini. Krisis dasar dipicu oleh sejumlah silang sengketa pada masa itu, termasuk kontroversi teori himpunan Cantor dan kontroversi Brouwer-Hilbert.

Logika matematika diperhatikan dengan meletakkan matematika pada sebuah kerangka kerja aksiomatis yang kaku, dan mengkaji hasil-hasil kerangka kerja itu. Logika matematika adalah rumah bagi Teori ketaklengkapan kedua Gödel, mungkin hasil yang paling dirayakan di dunia logika, yang (secara informal) berakibat bahwa suatu sistem formal yang berisi aritmetika dasar, jikasuara (maksudnya semua teorema yang dapat dibuktikan adalah benar), makatak- lengkap (maksudnya terdapat teorema sejati yang tidak dapat dibuktikan di dalam sistem itu). Gödel menunjukkan cara mengonstruksi, sembarang kumpulan aksioma bilangan teoretis yang diberikan, sebuah pernyataan formal di dalam logika yaitu sebuah bilangan sejati-suatu fakta teoretik, tetapi tidak mengikuti aksioma-aksioma itu. Oleh karena itu, tiada sistem formal yang merupakan aksiomatisasi sejati teori bilangan sepenuhnya. Logika modern dibagi ke dalam teori rekursi, teori model, dan teori pembuktian, dan terpaut dekat dengan ilmu komputer teoretis.