كارل فريدريش غاوس, المعروف بأمير علماء الرياضيات.[2]
وصف كارل فريدريش غاوس الرياضيات بأنها ملكة العلوم.
يعتقد عدد من الفلاسفة أنه من غير الممكن تخطيىء الرياضيات تجريبيا، وبالتالي، فهي ليست بعلم إذا ما نُظر إلى تعريف كارل بوبر للعلم[3]. ولكن في ثلاثينات القرن العشرين، جاءت مبرهنات عدم الاكتمال لغودل لكي تقنع العديد من علماء الرياضيات بأنه لا يمكن اختزال الرياضيات في المنطق وحده. مما دفع بكارل بوبر إلى الاستنتاج أن أعظم النظريات الرياضية هي، كما هو الحال في الفيزياء والبيولوجيا، فرضية ثم استنتاج استنباطي.
[عدل] تقسيم أولى لفروع الرياضيات
العالم المسلم الخوارزمي مؤسس علم الجبر
من الرياضيات البحتة
من فروع المنطق :
المنطق المجرد.
الجبر المنطقي أو الجبر البولياني وينبع منه
منطق القضايا.
منطق الرتبة الأولى يحتوى هذا الفرع على القواعد والأصول اللازمة لصياغة نظريات الذكاء الاصطناعي وهو يعتمد بدوره على مبادئ المنطق البولياني ومنطق القضايا.
المنطق الوقتي.
المنطق الضبابي.
نظرية الاعتقاد.
المنطق القافي.
من فروع الرياضيات المتقطعة:
اللغات الشكلية ونظرية الآليات
نظرية المخططات وهي دراسة نظم ذات بنية شبكية وتتضمن على دراسة الشبكات وعبور المخططات والشجر وأطياف المخططات وغير ذلك.
نظرية المجموعات المبسطة.
نظرية الأعداد.
من فروع الجبر:
جبر الأعداد الحقيقية (الجبر والمقابلة للخوارزمي).
الجبر المجرد (يشتمل على القواعد المنطقية لحساب مختلف مجموعات الأعداد مثل حساب الأعداد الحقيقية والمركبة إلخ)
نظرية الزمر.
حساب المجموعات (الفئات).
حساب المتتاليات.
حساب المتجهات.
الجبر الخطي.
حساب المصفوفات.
جبر بول
ما وراء الرياضيات : ويشتمل ذلك على سبيل المثال على نظرية جودل وبحوث هيلبرت وبرتراند راسل حول تعريف وتبويب بنية الرياضات بأجمعها.
من فروع الهندسة:
الهندسة الإقليدية.
الهندسة الفراغية.
الهندسة الإسقاطية.
حساب المثلثات.
الهندسة التحليلية.
الهندسة الجبرية.
الهندسة التفاضلية.
الهندسة التضاريسية.
الهندسة التضاريسية لمجاميع النقاط.
الهندسة التضاريسية الجبرية.
نظرية العقد.
من فروع التحليل:
الحساب المتناهي (حساب التفاضل والتكامل).
المعادلات التفاضلية والمعادلات التكاملية.
تحليل الأعداد الحقيقية.
التحليل العددي.
التحليل التوافقي.
التحليل الدالي.
نظرية الدالات أو تحليل الدالات المركبة.
التحليل اللا-قياسي.
نظرية القياس.
من الرياضيات التطبيقية
نظرية الألعاب ولها تطبيقات في الاقتصاد وعلوم الإدارة والتخطيط.
علم الاحتمالات والإحصائيات.
علم النظم
نظرية الشواش والنظم اللا- خطية.
نظرية التحكم الآلي.
علوم الحاسبات الآلية: نظرية الحوسبة.
تحليل الخوارزميات.
الذكاء الاصطناعي. التعلم الآلى ويشتمل على نظريات التعلم التوأصلي والشبكات العصبية أو العصبونية.
نظريات التعلم التطورى: البرمجة والخوارزميات الوراثية والتطورية.
الإثبات الآلى للنظريات.
البحث المتوالى والمتوازي وفوز المباريات.
تصميم الدارات المنطقية.
علم المعلومات أو العلوم المعلوماتية.
علم إدارة نظم المعلومات.
علوم البرمجيات.
الاستمثال استمثال تعرف فروع هذا القسم بالبرمجة للإشارة إلى أن المراد هي إيجاد أدنى حلول للمعادلات تحت التحليل مثلا تحليل سيمبلكس. البرمجة الخطية.
البرمجة الكاملة.
البرمجة المتحركة.
بحوث العمليات.
علوم الطبيعة الرياضياتية : وتشمل على فروع العلوم والنظريات الطبيعية التي تعتمد بالأساس في صياغتها على التحليل والبرهنة الرياضية أكثر من قياس التجارب والظواهر الطبيعية ومنها نظرية الكم أو النظرية الكمومية أو علم الحركيات الكمية.
الميكانيكا أو الحركيات الإحصائية.
ومنها أيضا دراسة حلول الدالات المجهولة في التصميم الهندسي والصناعي والتي تعتمد على حساب المعادلات التفاضلية التي تصف النظم تحت التصميم.
ميكانيكا هاملتون.
التحليل العددي.
علم الشفرات.