books foundations and philosophy of mathematics
If you do not find what you're looking for, you can use more accurate words.
أسس وفلسفة الرياضيات (Info)
- مقالات مفصلة: أسس الرياضيات
- فلسفة الرياضيات
من أجل توضيح أسس الرياضيات، تم تطوير مجالات المنطق الرياضي ونظرية المجموعات. يتضمن المنطق الرياضي الدراسة الرياضية للمنطق وتطبيقات المنطق الرسمي في مجالات أخرى من الرياضيات؛ نظرية المجموعات هي فرع الرياضيات الذي يدرس مجموعات أو مجموعات من الأشياء. نظرية الأصناف، التي تتعامل بطريقة مجردة مع الهياكل الرياضية والعلاقات بينهما، لا تزال قيد التطوير. تصف عبارة "أزمة الأسس" البحث عن أساس صارم للرياضيات التي حدثت في الفترة من عام 1900 إلى 1930 تقريبًا. يستمر بعض الخلاف حول أسس الرياضيات حتى يومنا هذا. تم حفز أزمة المؤسسات من قبل عدد من الخلافات في ذلك الوقت، بما في ذلك الجدل حول مبرهنة كانتور وجدل بروير-هيلبرت.
يهتم المنطق الرياضي بإعداد الرياضيات ضمن إطار بديهي صارم، ودراسة الآثار المترتبة على هذا الإطار. على هذا النحو، تعد موطنًا لمبرهنات عدم الاكتمال لغودل التي تعني -بشكل غير رسمي- (أن أي نظرية مولدة بشكل كفء قادرة على التعبير عن الحساب الابتدائي لا يمكن أن تكون كاملة وراسخة في وقت واحد. على وجه الخصوص، من أجل أي نظرية راسخة مولدة بشكل كفء والتي تبرهن حقيقة حسابية بسيطة، فإنه يوجد عبارة حسابية تكون محققة ولكنها غير مبرهنة بالنظرية). فقد أوضح غودل كيفية بناء بيان رسمي يمثل حقيقة نظرية للأعداد، ولكنه لا يتبع تلك البديهيات. لذلك، لا يوجد نظام رسمي هو البديهية الكاملة لنظرية الأعداد الكاملة. ينقسم المنطق الحديث إلى نظرية الحاسوبية، نظرية النموذج، ونظرية البرهان، ويرتبط ارتباطًا وثيقًا بعلوم الحاسوب النظرية، وكذلك بنظرية الأصناف. في سياق نظرية الحاسوبية.
تتضمن علوم الحاسوب النظرية نظرية الحوسبة ونظرية التعقيد الحسابي ونظرية المعلومات. تبحث نظرية الحوسبة في قيود النماذج النظرية المختلفة للحاسوب، بما في ذلك النموذج الأكثر شهرة (آلة تورنغ). نظرية التعقيد الحسابي هي دراسة قابلية التتبع بواسطة الحاسوب؛ بعض المسائل، على الرغم من أنها قابلة للحل من الناحية النظرية بواسطة الحاسوب، فهي مكلفة للغاية من حيث الوقت أو المساحة بحيث يحتمل أن تظل حلها غير ممكنة من الناحية العملية، حتى مع التقدم السريع لأجهزة الحاسوب. والمسألة الشهيرة هي "مسألة P = NP؟"، واحدة من جائزة مسائل الألفية. أخيرًا، تهتم نظرية المعلومات بكمية البيانات التي يمكن تخزينها على وسيط معين، وبالتالي تتعامل مع مفاهيم مثل الضغط والاعتلاج.
