1
miktarlar, oranlar, yapılar, değişimler, uzaylar ve bunların akla uygun çıkarımları ile soyut düzeyde uğraşan, şablonlar arayan, çıkarım ve bağlantılar üretmeyi amaçlayan akıl yürütme metod ve geleneği.
matematikçiler mümkün olan en az ön kabul ile (bkz: aksiyom) yola çıkıp, çıkarımlarınının doğruluğunu veya yanlışlığını mantık üzerine inşa edilmiş matematiksel ispatlar ile kesinleştirmeye çalışırlar.
günümüz matematiği ölçüm ve öngörü üzerine çalışmalar yapılırken, soyutlama ve mantıksal çıkarım kullanılmaya başlanması ile gelişmiştir. Bilimin, mühendislik, tıp gibi disiplinlerin temel aracıdır.
sayılarla uğraşmak değildir.
↑