الرياضيات البحتة: المفهوم والتطور التاريخي

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

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