Matematiğe Genel Bir Bakış

Tüm matematik sistemleri bir 

aksiyomlar kümesi ve bu aksiyomlardan mantık yoluyla türetilen 

teoremlerden oluşur. Aksiyomlar kümesinin doğruluğu ya da yanlışlığı matematiğin tartışma konusu değildir, ama mantıksal olarak tutarlı olması, kendi içinde çelişki doğurmaması istenir. Bu bakımdan matematik soyuttur, değişik bir

aksiyom kümesinden farklı sonuçlar türetilebilir. Öte yandan matematik yöntemleri öteki bilimlerce kullanıldığında somut sonuçlar elde edilir. Burada önce gözlemlerden kaynaklanan varsayımlar yapılarak bir model oluşturulur. Varsayımlar modelin aksiyomlarıdır. Türetilen matematik teoremlerinin yorumlan ise somuttur. Örneğin

Newton kuramında bazı fiziksel varsayımlar yapılır ve hareket problemi bir matematik problemine dönüştürülür. 

Einstein'ın 

özel görelilik kuramında gene hareket problemi, bu kez farklı fiziksel varsayımlarla ele alınır. İki kuramda da elde edilen sonuçların matematiksel doğruluğu kanıtlanabilir.

Ama bu sonuçların fiziksel yorumlan olan 

Newton kuramı ile özel görelilik kuramı farklı şeyler söylemektedir. Bu farklılık varsayımlardan kaynaklanmaktadır ve kuramlann fiziksel doğrulukları ancak deneyle sınanabilir.

Tarihte matematiksel düşünce ölçme, borç, vergi, 

astronomi hesaplan gibi pratik problemlere çözüm tekniklerinin geliştirilmesiyle başladı. Eski Yunan'da başlayan felsefeyle etkileşimi, matematiği genelleme ve soyutlamalara götürdü. Öte yandan bu genelleme ve soyutlamalar matematiğin kullanım alanını genişletti. Matematikte genelleme ve soyutlamalara çok rastlanır. Birbirinden farklı görünen çok sayıda probleme tek bir genel problemin özel durumları olarak bakılabilir. Örneğin üçgenlerin alanlarını tek tek hesaplamaya çalışmaktansa problemi genelleyip üçgenin alan formülünü türetmek hem daha kolaydır, hem de böylece daha geniş bir uygulama alam ortaya çıkar.

Günümüzde matematik kendi dinamiğinin yanı sıra başka bilimlerle arasındaki etkileşim nedeniyle de çok hızlı bir gelişme göstermektedir. Bu gelişmenin sonucu matematik içinde çok sayıda dal ortaya çıkmıştır 
(bak. 

analiz; 

aritmetik; 

cebir;

geometri; 

istatistik; 

kümeler kuramı; 

olasılık kuramı; 

optimizasyon; 

oyunlar kuramı;sayılar kuramı; 

sayısal çözümleme; trigonometri).
 İlkel diller incelendiğinde sayma gibi basit görünen bir işlemin oluşmasında toplumlar ancak ilk birkaç sayıya isim koyabilmişler, gerisini "çok" olarak nitelemişlerdir. Matematiksel düşüncenin ilk adamı olan 

rakamlar ve sayma işlemi ancak ekonomisi düzenli, gelişmiş yerleşik toplumlarda yazı ile birlikte ortaya çıkmıştır.