رحلة في أعماق العلاقة بين التفكير الرياضي الاستنباطي وثورة الذكاء الاصطناعي الحديثة.
الرياضيات علم استنباطي يقيني، يمثل نقطة التقاء جوهرية مع المنطق. الاستنباط فيها يبدأ من الكليات ليصل إلى النتائج (الجزئيات).
تعبر عن تحصيل حاصل: المحمول لا يضيف جديداً للموضوع.
تعتمد على مبدأ عدم التناقض بين طرفيها وصدقها يقيني.
تعبر عن اللزوم المنطقي: الشطر الثاني يلزم عن الأول.
قضية تحليلية تعبر عن اللزوم المنطقي واليقين.
💡 معلومة
اليقين في الرياضيات سببه أنها علم استنباطي صوري.
لغة الكمبيوتر رقمية مكونة من (0، 1)، وهو ما يعرف بنظام العد الثنائي الذي ابتكره "ليبنتز" لتمثيل الفكر المنطقي.
جورج بول: وضع أسس منطق المعالج (Processor) في وحدة الحساب والمنطق.
المنطق الرمزي هو المؤسس الحقيقي لعلوم الكمبيوتر الحديثة.
أساس لغة الآلة والصدق والكذب المنطقي.
💡 رواد
ليبنتز وجورج بول هم أصحاب الفضل في ذكاء الآلة.
✏️ الحل والتحليل
تحديد نوع القضية: هي قضية شرطية (لزومية) تبدأ بـ "إذا".
التحويل الرمزي: نرمز للمقدم بـ (ق) والتالي بـ (ل)، فتصبح (ق ← ل).
شروط المسلمات: يجب أن تكون متسقة (غير متناقضة)، كافية، ومستقلة.
الصيغة الرمزية
(ق ← ل)
عاش يا بطل! المنطق هو مفتاح المستقبل والذكاء الاصطناعي.