نقاش:أسس الرياضيات
| هذه صفحة النقاش المخصصة للتحاور بخصوص التحسينات على مقالة أسس الرياضيات. هذا ليس منتدى للنقاش العام حول موضوع المقالة. |
سياسات المقالة
|
| جِد مصادر: جوجل (كتب · أخبار · الباحث العلمي · صور حرة · مصادر ويكيبيديا) · مصادر الصحف الإنجليزية المجانية · موقع JSTOR · نيويورك تايمز · مكتبة ويكيبيديا |
| أرشيف النقاشات: 1 |
| مشروع ويكي فلسفة | (مقيّمة بذات صنف بداية، عالية الأهمية) | |||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
||||||||||||||||||||
| مشروع ويكي رياضيات | (مقيّمة بذات صنف بداية، فائقة الأهمية) | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||||||||
ترجمة مصطلح formalism
عدللعل من المناسب ترجمة كلمة formalism لتصبح "منهجية"، على اعتبار أعمال ديفيد هلبرت وهو من أكبر منظري هذا المذهب في وضع برنامج لضبط العمل الرياضي بشكل عام في مجموعة من القواعد الأولية التي كان يطمح من خلالها أن يصل الى برنامج عام وشامل يمكن من خلاله اثبات صحة أو عدم صحة أي نظرية رياضية، كما فعل من قبل أقليدس في كتابه عندما لخص الهندسة في مجموعة قواعد أولية منها انطلق لإثبات نظريات هندسية أخرى واكتشاف نتائج أخرى بناءا على هذه القواعد الأولية البسيطة، ومن أعمال هلبرت الأولى كتابه "أسس الهندسة" (Foundations of Geometry) استهدف من خلاله توسعة كتاب أقليدس ليشمل الهندسة الفراغية، ولكن برنامج هلبرت كان أكثر طموحا ولم يكن مقتصرا فقط على الهندسة بل لكل فروع الرياضيات المعروفة في عصره، لاحقا كرت جودل أثبت استحالة وجود نظام من البديهيات وباستخدام تلك البديهيات فقط البرهنة على صحة ماينتج عن تلك البديهيات من فروض (مبدأ عدم الإكتمال أو النقص)، ولاحقا على جودل أثبت آلان تورينج نفس نتيجة جودل من خلال عمله في "مكن تورينج".السيد طه (نقاش) 04:30، 8 يناير 2019 (ت ع م)
- نسيت أن أضيف أن منهجية formalism في هذا السياق تأتي مقابل حدسية Intuitionism وهي تعلي من شأن التفكير والنشاط العقلي في الوصول لنتائج جديدة في الرياضيات.السيد طه (نقاش) 04:35، 8 يناير 2019 (ت ع م)
س : ايجاد مجموعة القوة لكل مجموعات التالية :
A= {1,2,3} , B={3,1} , C={١ , فاي}
أريد الحل 😩✨ 93.169.38.173 (نقاش) 20:11، 6 مايو 2023 (ت ع م)