المقالة من ضمن مواضيع مشروع ويكي فلسفة، وهو مشروعٌ تعاونيٌّ يهدف لتطوير وتغطية المحتويات المُتعلّقة بفلسفة في ويكيبيديا. إذا أردت المساهمة، فضلًا زر صفحة المشروع، حيث يُمكنك المشاركة في النقاشات ومطالعة قائمة بالمهام التي يُمكن العمل عليها.
المقالة من ضمن مواضيع مشروع ويكي رياضيات، وهو مشروعٌ تعاونيٌّ يهدف لتطوير وتغطية المحتويات المُتعلّقة بالرياضيات في ويكيبيديا. إذا أردت المساهمة، فضلًا زر صفحة المشروع، حيث يُمكنك المشاركة في النقاشات ومطالعة قائمة بالمهام التي يُمكن العمل عليها.
التعليق الأخير: قبل 11 شهرًا3 تعليقاتشخصان في النقاش
لعل من المناسب ترجمة كلمة formalism لتصبح "منهجية"، على اعتبار أعمال ديفيد هلبرت وهو من أكبر منظري هذا المذهب في وضع برنامج لضبط العمل الرياضي بشكل عام في مجموعة من القواعد الأولية التي كان يطمح من خلالها أن يصل الى برنامج عام وشامل يمكن من خلاله اثبات صحة أو عدم صحة أي نظرية رياضية، كما فعل من قبل أقليدس في كتابه عندما لخص الهندسة في مجموعة قواعد أولية منها انطلق لإثبات نظريات هندسية أخرى واكتشاف نتائج أخرى بناءا على هذه القواعد الأولية البسيطة، ومن أعمال هلبرت الأولى كتابه "أسس الهندسة" (Foundations of Geometry) استهدف من خلاله توسعة كتاب أقليدس ليشمل الهندسة الفراغية، ولكن برنامج هلبرت كان أكثر طموحا ولم يكن مقتصرا فقط على الهندسة بل لكل فروع الرياضيات المعروفة في عصره، لاحقا كرت جودل أثبت استحالة وجود نظام من البديهيات وباستخدام تلك البديهيات فقط البرهنة على صحة ماينتج عن تلك البديهيات من فروض (مبدأ عدم الإكتمال أو النقص)، ولاحقا على جودل أثبت آلان تورينج نفس نتيجة جودل من خلال عمله في "مكن تورينج".السيد طه (نقاش) 04:30، 8 يناير 2019 (ت ع م)ردّ
نسيت أن أضيف أن منهجية formalism في هذا السياق تأتي مقابل حدسية Intuitionism وهي تعلي من شأن التفكير والنشاط العقلي في الوصول لنتائج جديدة في الرياضيات.السيد طه (نقاش) 04:35، 8 يناير 2019 (ت ع م)ردّ