Matematik ; sayılar, felsefe, uzay ve fizik gibi konularla ilgilenir. Matematikçiler ve filozoflar arasında matematiğin kesin kapsamı ve tanımı konusunda görüş ayrılığı vardır.
Bir asal sayı, yalnızca 1'den büyük olup kendisinden küçük iki doğal sayının çarpımı olarak ifade edilemeyen bir doğal sayıdır. 1'den büyük ve asal olmayan doğal sayılara bileşik sayı adı verilir. Örneğin, 5 bir asal sayıdır çünkü onu bir çarpım olarak ifade etmenin mümkün olan yolları, 1 × 5 veya 5 × 1, yalnızca 5 sayısını içermektedir. Ancak, 4 bir bileşik sayıdır çünkü bu, her iki sayının da 4'ten küçük olduğu bir çarpım şeklindedir. Asal sayılar, aritmetiğin temel teoreminden ötürü sayı teorisi alanında merkezi öneme sahiptir: 1'den büyük her doğal sayı, ya bir asal sayıdır ya da asal sayıların çarpımı olarak, sıralamalarından bağımsız bir şekilde, benzersiz olarak çarpanlarına ayrılabilir.
Matematikte cebirin temel teoremi karmaşık değişkenli polinomların köklerinin varlığıyla ilgili temel bir sonuçtur. D'Alembert-Gauss teoremi olarak da anılmaktadır.
Eksiklik Teoremi, Kurt Gödel'in 1931 yılında doktorasında yer verdiği "Principia Mathematica Gibi Dizgelerin Biçimsel Olarak Karar Verilemeyen Önermeleri Üzerine" başlıklı makalesinde 4. önerme olarak geçer. Sezgisel olarak matematikte belitlere (aksiyom) dayanan her sistemin tutarlı olması dahilinde eksik olması gerektiğini bildirir.
Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.
Pierre de Fermat, neredeyse eşitlik (“adequality”) tekniği de dahil olmak üzere sonsuz küçük hesaplara yol açan erken gelişmeler için yaptığı katkılarla bilinen bir Fransız matematikçiydi. Özellikle, eğri çizgilerin en büyük ve en küçük koordinatlarını bulmanın özgün bir yöntemini keşfetmesiyle tanınır; bu, o zamanlar bilinmeyen diferansiyel kalkülüsünkine benzer ve sayı teorisi üzerine yaptığı araştırmadır. Analitik geometri, olasılık ve optiğe kayda değer katkılarda bulundu. En çok ışık yayılımı hakkındaki Fermat ilkesi ve Diophantus'un Aritmeticasının bir kopyasının kenarındaki bir notta açıkladığı sayı teorisindeki Fermat'nın Son Teoremi ile tanınır. Aynı zamanda Fransa'nın Toulouse Parlamentosu'nda avukattı.
Soyut cebir veya soyut matematik, matematiğin bir alanı olup, cebirsel yapılar üzerinde çalışır. Cebirsel yapılar, elemanları üzerinde belirli işlemlerin uygulandığı kümelerdir ve gruplar, halkalar, alanlar, modüller, vektör uzayları, kafesler ve alan üzerindeki cebirler içerir. Soyut cebir terimi, 20. yüzyılın başlarında temel cebirden ayırmak amacıyla türetilmiştir. Soyut cebir ileri matematik için temel hale geldikçe basitçe "cebir" olarak adlandırılırken, "soyut cebir" terimi pedagoji dışında nadiren kullanılır.
Jacob Bernoulli, Bernoulli ailesindeki ünlü matematikçilerden biridir. Leibniz kalkülüsünün ilk savunucularındandır ve Leibniz- Newton kalkülüs tartışmasında Leibniz'in yanında yer almıştır. Kardeşi Johann Bernoulli ile kalkülüse yaptığı birçok katkıyla da ünlüdür. Ancak, matematiğe en önemli katkısı büyük sayılar yasası ile olasılık alanında olmuştur.
Johann Peter Gustav Lejeune Dirichlet, sayı teorisi ve Fourier serileri teorisi ile matematiksel analizdeki diğer konulara derin katkılarda bulunan Alman bir matematikçiydi. Bir fonksiyonun modern biçimsel tanımını veren ilk matematikçilerden biri olarak kabul edilmektedir.
Sir Andrew John Wiles,, , İngiliz matematikçi. Oxford Üniversitesi'nde Royal Society araştırma profesörüdür.
Simon Singh, Fermat'nın Son Teoremi ya da özgün adıyla Fermat's Enigma: The Quest to Solve the World's Greatest Mathematical Problem (1997) kitabında, Fermat öyküsünün tüm zenginliğini ve ona hep eşlik etmiş olan tarih ve matematiği, kronolojik bir düzen içinde ele alır. Pythagoras Kardeşliği'nin devrimci ethos'uyla başlayan kitap, Fermat'nın bulmacasını çözmek için Andrew Wiles'ın verdiği kişisel mücadeleyle sona erer.
Disquisitiones Arithmeticae, Alman matematikçi Carl Friedrich Gauss tarafından Latince yazılmış, ana konusu sayılar kuramı olan bir matematik kitabıdır. İlk baskısı 1801 yılında, Gauss henüz 24 yaşındayken yapılmıştır. Gauss bu eserinde, Fermat, Euler, Lagrange ve Legendre gibi matematikçilerin bulduğu sonuçları derlemiş ve bunların üzerine kendi katkılarını eklemiştir.
Merkezi limit teoremi büyük bir sayıda olan bağımsız ve aynı dağılım gösteren rassal değişkenlerin aritmetik ortalamasının, yaklaşık olarak normal dağılım göstereceğini ifade eden bir teoremdir. Matematiksel bir ifadeyle, bir merkezi limit teoremi olasılık kuramı içinde bulunan bir zayıf yakınsama sonucu setidir. Bunların hepsi, birçok bağımsız aynı dağılım gösteren rassal değişkenlerin herhangi bir toplam değerinin limitte belirli bir "çekim gücü gösteren dağılıma" göre dağılım gösterme eğiliminde olduğu gerçeğini önerir.
Karmaşık analiz ya da başka bir deyişle kompleks analiz, bir karmaşık değişkenli fonksiyonları araştıran bir matematik dalıdır. Bir değişkenli karmaşık analize ya da çok değişkenli karmaşık analizle beraber tümüne karmaşık değişkenli fonksiyonlar teorisi de denilir.
abc sanısı veya abc konjektürü sayılar teorisindeki bir sanı yani konjektürdür. 1985'te Joseph Oesterlé ve David Masser tarafından ortaya atılmıştır. Biri diğer ikisinin toplamı şeklinde ifade edilen üç tam sayının özellikleri üzerine kurulmuştur. Problemi çözmek için açık bir strateji bulunmadığı halde, sanı bazı ilginç sonuçları sayesinde tanınmıştır.
Diofantos cebirin babası olarak tanımlanan, cebir denklemleri ve sayılar teorisi üzerine Arithmetika adlı eserin yazarı olan Yunan matematikçi. Değişkenleri sadece tam sayılar olan ve kendi adını taşıyan Diofantos denklemiyle de bilinir.
Arithmetika veya Arithmetica İskenderiyeli Diophantus'un ilk yazıldığında 13 cilt olduğu tahmin edilen fakat günümüze sadece 6 cildinin ulaştığı en önemli eseridir. 19. yüzyıl Matematik tarihçisi Hankel'in tanımlamasına göre Arithmetica 5 farklı kategoride 130 problemi içerir. Hankel ayrıca bu problemleri çözümlenişlerine göre iki gruba ayırır;
- tek çözümü olanlar (Determinate)
- genel çözümü olanlar (Indeterminate).
Diofantos denklemi diğer bir adıyla Diophantine denklemleri adını M.S. 3. yüzyılda yaşadığı tahmin edilen Antik Yunan matematikçilerden Diofantos'dan alan değişkenleri ve katsayıları tam sayılar olan denklemlerdir. Diofantos Arithmetika adlı sadece 6 cildi günümüze ulaşan çalışmasında 130 denkleme ve bunların çözümlerine yer vermiştir.
Marie-Sophie Germain, Fransız matematikçi, fizikçi ve filozoftur.
Bu bir sayılar teorisi zaman çizelgesidir.