Matematiğin tanımları - Matematiğin hiçbir genel kabul görmüş tanımını yoktur. Farklı düşünce okulları, özellikle felsefede, hepsi tartışmalı olan radikal olarak farklı tanımlar ortaya koydu.
Matematik felsefesi - amacı matematiğin doğası ve metodolojisi hakkında bir açıklama yapmak ve matematiğin insanların yaşamındaki yerini anlamaktır.
Yapıcı matematik, var olduğunu kanıtlamak için bir matematik nesnesi bulmanın (veya "inşa etmenin") gerekli olduğunu ileri sürer. Klasik matematikte, matematiksel bir nesnenin varlığı, o nesneyi açıkça "bulmadan", var olmadığını varsayarak ve sonra bu varsayımdan bir çelişki türeterek ispat edilebilir.
Akademik bir disiplin - eğitimin her düzeyinde öğretilen ve tipik olarak lise veya üniversite düzeyinde araştırılan bilgi dalıdır. Disiplinler tanımlanır (kısmen) ve araştırmanın yayınlandığı akademik dergiler ve uygulayıcılarının ait olduğu öğrenilmiş topluluklar ve akademik bölümler veya fakülteler tarafından tanınır.
Biçimsel bir bilim - çıkarım kurallarına ve tanımlarına dayanan biçimsel sistemlerin özellikleriyle ilgili bilgi dalıdır. Diğer bilimlerin aksine, biçimsel bilimler, fiziksel dünyadaki gözlemlere dayanan teorilerin geçerliliği ile ilgilenmezler.
Aritmetik — (Yunancadanἀριθμόςarithmos, 'sayı' ve τική[τέχνη], tiké [téchne], 'sanat') sayıların incelenmesinden ve bunlar üzerindeki geleneksel matematiksel işlemlerin özelliklerinden oluşan bir matematik dalıdır.
Temel aritmetik, aritmetiğin toplama, çıkarma, çarpma ve bölme gibi temel işlemlerle ilgilenen bölümüdür.
İkinci dereceden aritmetik, doğal sayıları ve alt kümelerini şekillendiren aksiyomatik sistemlerin bir koleksiyonudur.
Dedekind-Peano aksiyomları veya Peano postülatları olarak da bilinen Peano aksiyomları, 19. yüzyıl İtalyan matematikçisi Giuseppe Peano tarafından sunulan doğal sayıların aksiyomlarıdır.
İşlem (matematik) — işlem, işlenenler olarak adlandırılan sıfır veya daha fazla girdi (terim) değerini iyi tanımlanmış bir çıktı değerine dönüştüren bir matematiksel fonksiyondur. İşlenenlerin sayısı işlemin fonksiyonundaki argüman sayısıdır.[2]
İkinci dereceden aritmetik, doğal sayıları ve alt kümelerini resmileştiren aksiyomatik sistemlerin bir koleksiyonudur.
Dedekind-Peano aksiyomları veya Peano postülatları olarak da bilinen Peano aksiyomları, 19. yüzyıl İtalyan matematikçisi Giuseppe Peano tarafından sunulan doğal sayıların aksiyomlarıdır.
Matematik Konu Sınıflandırması - alfanümerik sınıflandırma şeması, iki ana matematiksel inceleme veritabanı, Mathematical Reviews ve Zentralblatt MATH'ın personeli tarafından ortaklaşa oluşturulmuş ve bunların kapsamına dayanmaktadır.
Dergiler ve veritabanları
Matematiksel İncelemeler - American Mathematical Society (AMS) tarafından yayınlanan, matematik, istatistik ve teorik bilgisayar bilimlerindeki birçok makalenin kısa özetlerini (ve ara sıra değerlendirmelerini) içeren dergi ve çevrimiçi veritabanıdır.
Zentralblatt MATH - Springer Science + Business Media tarafından yayınlanan, saf ve uygulamalı matematikteki makaleler için incelemeler ve özetler sağlayan hizmettir. Matematiğin tüm alanını kapsayan büyük bir uluslararası inceleme hizmetidir. İncelemelerini konuya göre düzenlemek için Matematik Konu Sınıflandırma kodlarını kullanır.
