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