المحتوى هنا ينقصه الإستشهاد بمصادر، أي معلومات غير موثقة يمكن التشكيك بها وإزالتها

ماوراء الرياضيات

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
بحاجة لمصدر
المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها.(مايو 2015)

ماوراء الرياضيات (بالإنجليزية: Metamathematics) هي دراسة الرياضيات نفسها باستخدام الطرق الرياضية. تنتج هذه الدراسة نظريات واصفة (بالإنجليزية: metatheories)، والتي هي نظريات رياضية متعلقة بنظريات رياضية أخرى. وقد تم تمييز النظريات الماوارء رياضية الواصفة (بالإنجليزية: Metamathematical metatheorems) عن النظريات الرياضية العادية نفسها في القرن التاسع عشر للتركيز على ما سمي بعد ذلك الأزمة التأسيسية للرياضيات.

مفارقة ريتشارد (ريتشارد 1905) المتعلقة ببعض "التعريفات" للأرقام الحقيقية في اللغة الإنجليزية هي مثال على هذا النوع من التناقضات التي يمكن أن تحدث بسهولة إذا ولما يتم التمييز بين الرياضيات والماوراء رياضيات. يمكن قول نفس الشيء مفارقة راسل المعروفة (هل تستطيع المجموعة التي تحتوي كل المجموعات التي لا تحتوي نفسها أن تحتوى نفسها؟).


يستخدم أحيانا مصطلح "ماوراء الرياضيات" كمرادف لأجزاء ابتدائية معينة من المنطق الرسمي (بالإنجليزية: formal logic)، بما في ذلك المنطق الاقتراحي (بالإنجليزية: propositional logic) والمنطق المسند (بالإنجليزية: predicate logic).

مراجع[عدل]


Nuvola apps edu mathematics-ar.svg
هذه بذرة مقالة عن الرياضيات بحاجة للتوسيع. شارك في تحريرها.