إعادة نشر من أرشيف حسابي القديم؛ لمن يهمه أو أهَمَّه هذه خطة خارطة طريق مؤلفة م...

إعادة نشر من أرشيف حسابي القديم؛ لمن يهمه أو أهَمَّه

هذه خطة خارطة طريق مؤلفة من 200 صفحة ترسم مسارًا متسقا وصارما لدراسة المنطق الرياضي، بدءًا من الأساسات حتى أكثر المواضيع تقدما، وهي دليلٌ نفيس لطالب المنطق الرياضي

إذ ينطلق بيتر سميث من نظرية المجموعات Set theory ويمر بمنطق الرتبة الأولى Firts-order logic ومنطق الرتبة الثانية Second-order logic، ونظرية النماذج Model theory، حتى يخرِط الحسابيات Arithmetic، والقابلية للحساب Computability، وعدم الاكتمال Incompleteness، وصولا إلى جرد أكثر تقدما لنظرية المجموعات، ثم يعبر إلى المنطق الحدسي Intuitionistic logic، ونظرية البرهان Proof theory، ومنطق الموجهات Modal logics، ليختم ببعض الموضوعات الأكثر تقدما.

يتقرح سميث في المقدمة عدة استراتيجيات للدراسة الذاتية من كتب المنطق، وهو إذ يرسم الخطة فإنه يوضح الطريق ويعبده، ويعطي لمحات تقديمية شافية للموضوعات المُعْنَى بها، في حين يقع على الدارس البدء -ذاتيا- في مساره الشخصي

الحق أن الخطة ذي مكافأة قيِّمة يقدمها بيتر سميث للراغبين في تعلم المنطق الرياضي ذاتيا؛ هذي الخطة ستصنع فارقا في مسار الدراسة وطبيعتها