عرض مصدر الرياضيات البحتة

'''الرياضيات البحتة''' أو '''الرياضيات الخالصة'''<ref>[https://books.google.co.uk/books?id=r0toAAAAcAAJ&pg=PP31&dq=%D8%B9%D9%84%D9%85+%D8%A7%D9%84%D8%AD%D9%8A%D9%84&hl=en&sa=X&ved=0ahUKEwj47Nq0lqLSAhWD7BQKHVawD7MQ6AEIIjAB#v=onepage&q=%D8%B9%D9%84%D9%85%20%D8%A7%D9%84%D8%AD%D9%8A%D9%84&f=false زبدة الصحائف في أصول المعارف] {{Webarchive|url=https://web.archive.org/web/20170222112146/https://books.google.co.uk/books?id=r0toAAAAcAAJ&pg=PP31&dq=علم+الحيل&hl=en&sa=X&ved=0ahUKEwj47Nq0lqLSAhWD7BQKHVawD7MQ6AEIIjAB |date=22 فبراير 2017}}</ref><ref>[https://books.google.co.uk/books?id=F_WKCgAAQBAJ&pg=PT82&lpg=PT82&dq=%22%D8%A7%D9%84%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA+%D8%A7%D9%84%D8%AE%D8%A7%D9%84%D8%B5%D8%A9%22&source=bl&ots=hZnMJz5Vmb&sig=iFbS00olAk0TYmOlfPQ6cJDDEwg&hl=en&sa=X&ved=0ahUKEwi-sc-zoKLSAhWEF8AKHS9pBT0Q6AEIGjAA#v=onepage&q=%22%D8%A7%D9%84%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA%20%D8%A7%D9%84%D8%AE%D8%A7%D9%84%D8%B5%D8%A9%22&f=false في بديهية الرد والبرهان بالتراجع] {{Webarchive|url=https://web.archive.org/web/20170222112230/https://books.google.co.uk/books?id=F_WKCgAAQBAJ&pg=PT82&lpg=PT82&dq="الرياضيات+الخالصة"&source=bl&ots=hZnMJz5Vmb&sig=iFbS00olAk0TYmOlfPQ6cJDDEwg&hl=en&sa=X&ved=0ahUKEwi-sc-zoKLSAhWEF8AKHS9pBT0Q6AEIGjAA |date=22 فبراير 2017}}</ref> هي دراسة المفاهيم الرياضية بشكل مستقل عن أي تطبيق خارج ال[[رياضيات]]. قد تنشأ هذه المفاهيم في اهتمامات العالم الحقيقي، وقد تتحول النتائج التي تم الحصول عليها لاحقًا إلى فائدة للتطبيقات العملية، لكن [[علماء الرياضيات]] البحتين ليسوا مدفوعين أساسًا بهذه التطبيقات. بدلاً من ذلك، يُعزى النداء إلى التحدي الفكري والجمال المتمثل في تحديد النتائج المنطقية للمبادئ الأساسية.

على الرغم من وجود الرياضيات البحتة كنشاط منذ [[اليونان القديمة]] على الأقل، فقد تم تطوير المفهوم في حوالي عام [[1900]]،<ref>{{MacTutor|id=Sadleirian_Professors|title=Sadleirian Professors|last=Piaggio|first=H. T. H.|class=Extras}}</ref> بعد إدخال النظريات بخصائص مضادة للحدس (مثل [[الهندسة غير الإقليدية]] و[[نظرية كانتور]] للمجموعات اللانهائية)، واكتشاف التناقضات الواضحة (مثل الوظائف المستمرة التي لا يمكن تمييزها في أي مكان، و[[مفارقة راسل]]). قدم هذا الحاجة إلى تجديد مفهوم الصرامة الرياضية وإعادة كتابة جميع الرياضيات وفقا لذلك، مع الاستخدام المنهجي للطرق البديهية. أدى ذلك إلى تركيز العديد من علماء الرياضيات على الرياضيات من أجل مصلحتها، أي الرياضيات البحتة.

ومع ذلك، بقيت جميع النظريات الرياضية تقريبًا مدفوعة بمشاكل قادمة من العالم الواقعي أو من نظريات رياضية أقل تجريدا. أيضًا، تم استخدام العديد من النظريات الرياضية، والتي بدت أنها رياضيات خالصة تمامًا، في النهاية في المجالات التطبيقية، ولا سيما ال[[فيزياء]] و[[علم الحاسوب|علوم الحاسوب]]. ومن الأمثلة المبكرة الشهيرة على ذلك، إظهار [[إسحاق نيوتن]] أن [[قانون الجاذبية]] العالمي الخاص به يعني ضمناً أن الكواكب تتحرك في مدارات ذات أجزاء مخروطية، منحنيات هندسية درسها [[أبلونيوس البرغاوي]] في العصور القديمة. مثال آخر هو مشكلة تقسيم أعداد صحيحة كبيرة، والتي هي أساس [[خوارزمية آر إس إيه|نظام تشفير RSA]]، المستخدم على نطاق واسع لتأمين اتصالات ال[[إنترنت]].<ref>{{cite journal |url=http://www.msri.org/people/members/sara/articles/rsa.pdf |journal=SIAM News |volume=36 |issue=5 |date=June 2003 |title=Still Guarding Secrets after Years of Attacks, RSA Earns Accolades for its Founders |first=Sara |last=Robinson | مسار الأرشيف = https://web.archive.org/web/20170116044746/http://www.msri.org/people/members/sara/articles/rsa.pdf | تاريخ الأرشيف = 16 يناير 2017 }}</ref>

ويترتب على ذلك، في الوقت الحالي، أن التمييز بين الرياضيات البحتة و[[رياضيات تطبيقية|التطبيقية]] هو وجهة نظر فلسفية أو تفضيل عالم رياضيات أكثر من كونه تقسيمًا جامدًا للرياضيات. على وجه الخصوص، ليس من غير المألوف أن يصف بعض أعضاء قسم الرياضيات التطبيقية أنفسهم بأنهم علماء رياضيات بحتيين.

== التاريخ ==
=== اليونان القديمة ===
كان علماء الرياضيات اليونانيون القدماء من أوائل من يميزون بين الرياضيات البحتة و[[رياضيات تطبيقية|التطبيقية]]. ساعد [[أفلاطون]] في خلق الفجوة بين "الحسابيات"، وتسمى الآن [[نظرية الأعداد]]، و"[[لوجستيات|اللوجستية]]"، التي تسمى الآن [[علم الحساب]]. اعتبر [[أفلاطون]] أن اللوجيستية (الحساب) مناسبة لرجال [[الأعمال]] ورجال ال[[حرب]] الذين "يجب عليهم تعلم فن الأرقام أو أنهم لن يعرفوا كيف يصفون قواتهم" والحساب (نظرية الأعداد) على النحو المناسب للفلاسفة "لأن عليهم أن يخرجوا من بحر التغيير وأن يثبتوا وجودهم الحقيقي."<ref>{{مرجع كتاب |الأول=Carl B. |الأخير=Boyer |وصلة مؤلف=Carl Benjamin Boyer |عنوان=A History of Mathematics |إصدار=Second |ناشر=John Wiley & Sons, Inc. |سنة=1991 |isbn=0-471-54397-7 |chapter=The age of Plato and Aristotle |صفحات=[https://archive.org/details/historyofmathema00boye/page/86 86] |اقتباس=Plato is important in the history of mathematics largely for his role as inspirer and director of others, and perhaps to him is due the sharp distinction in ancient Greece between arithmetic (in the sense of the theory of numbers) and logistic (the technique of computation). Plato regarded logistic as appropriate for the businessman and for the man of war, who "must learn the art of numbers or he will not know how to array his troops." The philosopher, on the other hand, must be an arithmetician "because he has to arise out of the sea of change and lay hold of true being." |مسار=https://archive.org/details/historyofmathema00boye/page/86 }}</ref> عندما سئل أحد تلاميذه عن أحد طلابه عن الفائدة من دراسة ال[[هندسة]]، طلب من عبده إعطاء الطالب ثلاثة بنسات، "لأنه يجب عليه أن يربح ما يتعلمه."<ref>{{مرجع كتاب |الأول=Carl B. |الأخير=Boyer |وصلة مؤلف=Carl Benjamin Boyer |عنوان=A History of Mathematics |إصدار=Second |ناشر=John Wiley & Sons, Inc. |سنة=1991 |isbn=0-471-54397-7 |chapter=Euclid of Alexandria |صفحات=[https://archive.org/details/historyofmathema00boye/page/101 101] |اقتباس=Evidently Euclid did not stress the practical aspects of his subject, for there is a tale told of him that when one of his students asked of what use was the study of geometry, Euclid asked his slave to give the student threepence, "since he must make gain of what he learns." |مسار=https://archive.org/details/historyofmathema00boye/page/101 }}</ref> سُئل عالم الرياضيات اليوناني [[أبلونيوس البرغاوي]] في بيرغا عن فائدة بعض نظرياته في الكتاب الرابع لل[[مخروط]]يات والتي أكد عليها بفخر:<ref name="Apollonius">{{مرجع كتاب |الأول=Carl B. |الأخير=Boyer |وصلة مؤلف=Carl Benjamin Boyer |عنوان=A History of Mathematics |إصدار=Second |ناشر=John Wiley & Sons, Inc. |سنة=1991 |isbn=0-471-54397-7 |chapter=Apollonius of Perga |صفحات=[https://archive.org/details/historyofmathema00boye/page/152 152] |اقتباس=It is in connection with the theorems in this book that Apollonius makes a statement implying that in his day, as in ours, there were narrow-minded opponents of pure mathematics who pejoratively inquired about the usefulness of such results. The author proudly asserted: "They are worthy of acceptance for the sake of the demonstrations themselves, in the same way as we accept many other things in mathematics for this and for no other reason." (Heath 1961, p.lxxiv).<BR>The preface to Book V, relating to maximum and minimum straight lines drawn to a conic, again argues that the subject is one of those that seem "worthy of study for their own sake." While one must admire the author for his lofty intellectual attitude, it may be pertinently pointed out that s day was beautiful theory, with no prospect of applicability to the science or engineering of his time, has since become fundamental in such fields as terrestrial dynamics and celestial mechanics. |مسار=https://archive.org/details/historyofmathema00boye/page/152 }}</ref>
:"إنهم يستحقون القبول من أجل التظاهر بأنفسهم، بنفس الطريقة التي نقبل بها أشياء أخرى كثيرة في الرياضيات لهذا وليس لأي سبب آخر."

ونظرًا لأن العديد من نتائجه لم تكن قابلة للتطبيق على ال[[علوم]] أو ال[[هندسة]] في عصره، جادل [[أبلونيوس البرغاوي]] أيضًا في مقدمة الكتاب الخامس للمخروطيات أن الموضوع هو أحد تلك النتائج التي "تبدو جديرة بالدراسة من أجلها."<ref name="Apollonius" />

=== القرن التاسع عشر ===
مصطلح الأستاذية في الرياضيات البحتة، التي تأسس المصطلح (كأستاذ) في منتصف [[القرن التاسع عشر]]. ربما نشأت فكرة الانضباط المنفصل للرياضيات البحتة في ذلك الوقت. لم يقدم جيل [[غاوس]] تمييزًا شاملاً من هذا النوع، بين الرياضيات البحتة والتطبيقية. في السنوات التالية، بدأ التخصص والاحتراف (خاصة في منهج [[كارل ويرستراس]] في [[التحليل الرياضي]]) في جعل الفجوة أكثر وضوحًا.

=== القرن العشرين ===
في بداية [[القرن العشرين]]، تبنى علماء الرياضيات الطريقة البديهية، التي تأثرت بقوة بمثال [[ديفيد هيلبرت]]. بدت الصيغة المنطقية للرياضيات البحتة التي اقترحها [[برتراند راسل]] من حيث الهيكل الكمي للاقتراحات أكثر فأكثر منطقية، حيث أصبحت أجزاء كبيرة من الرياضيات بديهية ومن ثم تخضع لمعايير بسيطة لإثبات صارم.

الرياضيات البحتة، وفقًا لوجهة نظر يمكن أن تُنسب إلى [[نيكولا بورباكي|مجموعة بورباكي]]. أصبح عالم الرياضيات البحتة مهنة معترف بها، ويمكن تحقيقه من خلال التدريب.

تم توضيح أن الرياضيات البحتة مفيدة في التعليم الهندسي:<ref>[[آرثر ستافورد هاثاواي]] (1901) [http://www.ams.org/journals/bull/1901-07-06/S0002-9904-1901-00797-5/S0002-9904-1901-00797-5.pdf "Pure mathematics for engineering students"], [[Bulletin of the American Mathematical Society]] 7(6):266–71. {{Webarchive|url=https://web.archive.org/web/20170829160036/http://www.ams.org/journals/bull/1901-07-06/S0002-9904-1901-00797-5/S0002-9904-1901-00797-5.pdf |date=29 أغسطس 2017}}</ref>

:"هناك تدريب في عادات الفكر ووجهات النظر والفهم الفكري للمشاكل الهندسية العادية، والتي يمكن أن تعطيها دراسة الرياضيات العليا فقط."

== التعميم والتجريد ==
تعتبر فكرة التعميم واحدة من أهم المفاهيم في الرياضيات البحتة؛ فعادة ما تتجه الرياضيات البحتة نحو مزيد من التعميم. للتعميم مظاهر عديدة مختلفة، مثل النظريات التي تثبت الضعف في ظل الافتراضات، أو تحديد الهياكل الرياضية باستخدام عدد أقل من الافتراضات. ورغم أن التعميم في بعض الأحيان، أو السعي لقيمتها في ذاتها، تشمل استخدامات ومزايا التعميم ما يلي:
* يمكن أن يؤدي تعميم نظريات الهياكل الرياضية إلى فهم أعمق للنظريات أو الهياكل الأصلية.
* يمكن للتعميم تبسيط عرض المواد، مما يؤدي إلى الحصول على أدلة أو حجج أقصر يسهل متابعتها.
* يمكن للمرء استخدام التعميم لتجنب ازدواجية الجهد، أو إثبات نتيجة عامة بدلاً من الاضطرار إلى إثبات حالات منفصلة بشكل مستقل، أو استخدام نتائج من مجالات أخرى في ال[[رياضيات]].
* يمكن للتعميم تسهيل الروابط بين مختلف فروع الرياضيات. [[نظرية الأصناف]] هي واحدة من مجالات الرياضيات مكرسة لاستكشاف هذه القواسم المشتركة للبنية كما تسهم في بعض مجالات الرياضيات.

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

وكمثال رئيسي على التعميم، تضمن [[برنامج إرلنغن]] لتوسيع الهندسة لاستيعاب الأشكال الهندسية غير الإقليدية بالإضافة إلى مجال ال[[طوبولوجيا]]، وأشكال أخرى من الهندسة، من خلال عرض الهندسة باعتبارها دراسة [[فضاء رياضي|الفضاء]] مع مجموعة من التحولات. تمتد دراسة الأعداد، التي تسمى ال[[جبر]] في مستوى المرحلة الجامعية الأولى، لتشمل [[الجبر المجرد]] على مستوى أكثر تقدمًا؛ ودراسة الدوال، تسمى [[حساب التفاضل والتكامل]] على مستوى طلاب الكلية يصبح [[التحليل الرياضي]] و[[التحليل الدالي]] على مستوى أكثر تقدما. لكل فرع من فروع الرياضيات التجريدية هذه العديد من التخصصات الفرعية، وهناك في الواقع العديد من الروابط بين الرياضيات البحتة وتخصصات [[الرياضيات التطبيقية]]. شوهد ارتفاع حاد في التجريد في منتصف [[القرن العشرين]].

== الصفائية ==
لطالما كان لدى علماء الرياضيات آراء مختلفة فيما يتعلق بالتمييز بين الرياضيات البحتة والتطبيقية. يمكن العثور على أحد الأمثلة الحديثة الأكثر شهرة (ولكن ربما يساء فهمها) لهذا النقاش في "[[دفاع رياضياتي]]" ل[[غودفري هارولد هاردي]].

ويعتقد على نطاق واسع أن هاردي يعتبر [[الرياضيات التطبيقية]] قبيحة ومملة. على الرغم من أن هاردي فضل الرياضيات البحتة، والتي غالباً ما قارنها بالطلاء والشعر، رأى هاردي أن التمييز بين الرياضيات البحتة والتطبيقية هو ببساطة أن الرياضيات التطبيقية سعت إلى التعبير عن الحقيقة الجسدية في إطار رياضي، في حين أن الرياضيات البحتة عبرت عن حقائق مفادها أن كانت مستقلة عن العالم المادي. قام هاردي بتمييز منفصل في الرياضيات بين ما أسماه "الرياضيات الحقيقية"، والتي لها قيمة جمالية دائمة، و"الأجزاء الباهتة والعناصر الأولية للرياضيات" التي لها فائدة عملية.

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

==انظر أيضًا==
* [[الرياضيات التطبيقية]]
* [[المنطق]]
* [[ماوراء الرياضيات]]

==المراجع==
<div class="reflist4" style="height: 220px; overflow: auto; padding: 3px" >
{{مراجع|2|محاذاة=نعم}}
</div>

== وصلات خارجية ==
* [http://www.math.uwaterloo.ca/PM_Dept/What_Is/what_is.shtml ما هي الرياضيات البحتة؟]
* [http://www.math.uwaterloo.ca/PM_Dept/What_Is/what_is.shtml قسم الرياضيات البحتة، جامعة واترلو]
* [http://www.liv.ac.uk/maths/PURE/wipm.html ما هي الرياضيات البحتة؟]
* [http://fair-use.org/bertrand-russell/the-principles-of-mathematics ''المبادئ'' من جانب الرياضيات برتراند راسل]


{{شريط بوابات|رياضيات}}

[[تصنيف:تجريد]]
[[تصنيف:فروع الرياضيات]]
[[تصنيف:مصطلحات رياضياتية]]