الرياضيات البحتة

الرياضيات البحتة أو الرياضيات الخالصة هي دراسة المفاهيم الرياضية بشكل مستقل عن أي تطبيق خارج الرياضيات. قد تنشأ هذه المفاهيم في اهتمامات العالم الحقيقي، وقد تتحول النتائج التي تم الحصول عليها لاحقًا إلى فائدة للتطبيقات العملية، لكن علماء الرياضيات البحتين ليسوا مدفوعين أساسًا بهذه التطبيقات. بدلاً من ذلك، يُعزى النداء إلى التحدي الفكري والجمال المتمثل في تحديد النتائج المنطقية للمبادئ الأساسية. على الرغم من وجود الرياضيات البحتة كنشاط منذ اليونان القديمة على الأقل، فقد تم تطوير المفهوم في حوالي عام 1900، بعد إدخال النظريات بخصائص مضادة للحدس (مثل الهندسة غير الإقليدية ونظرية كانتور للمجموعات اللانهائية)، واكتشاف التناقضات الواضحة (مثل الوظائف المستمرة التي لا يمكن تمييزها في أي مكان، ومفارقة راسل). قدم هذا الحاجة إلى تجديد مفهوم الصرامة الرياضية وإعادة كتابة جميع الرياضيات وفقا لذلك، مع الاستخدام المنهجي للطرق البديهية. أدى ذلك إلى تركيز العديد من علماء الرياضيات على الرياضيات من أجل مصلحتها، أي الرياضيات البحتة.