انفوغرافيك

جورج بول..مؤسس المنطق الرقمي

يعتبر عالم الرياضيات الإنجليزي جورج بول (1815-1864) مؤسس المنطق الرقمي الحديث. قام جورج بول بتوصيف فرع جديد من الرياضيات، والذي يعتمد على نمطٍ خاص من المتحولات، وبدلاً من أن استخدامه للأرقام العشرية التي نألفها بالحياة اليومية، قام باعتماد أسس رقمي يقوم على عددين فقط: الصفر “0” والواحد “1”، حيث تم اعتبار الصفر يشير إلى الحالة الخاطئة “False” والواحد يشير إلى الحالة الصحيحة “True”. حتى بالنسبة للعمليات الرياضية، فإن جورج بول قام بتوصيف عملياتٍ رياضية جديدة تطبق على هذه المتحولات، وبدلاً من عمليات الجمع والطرح والضرب والقسمة، قام بتوصيف عمليات الضرب المنطقي AND، والجمع المنطقي OR، وعملية النفي NOT، والتكافؤ Equivalence والتضمين Implication.

هذه المفاهيم كلها، عرضها جورج بول في كتابين. الكتاب الأول هو كتاب “التحليل الرياضي للمنطق The Mathematical Analysis of Logic” الذي صدر عام 1847، أما الكتاب الثاني فهو كتاب “دراسة في قوانين التفكير An Investigation of the Laws of Thought” والذي صدر عام 1854. في ذلك الوقت، لم يكن لكتب جورج بول ودراساته أية أهمية تطبيقية فعلية، ولم تكن أكثر من فرعٍ جديد في الرياضيات يساهم بتوصيف المتحولات والعلاقات وفقاً لمفهوم ومنطلقٍ جديد.

اكتسب الجبر الرياضي الذي استحدثه جورج بول أهميته مع بداية الثورة التقنية الحديثة، والتي كان أبرز محطاتها اختراع أول حاسوب رقمي حديث، وهو الحاسوب “إينياك ENIAC” في عام 1946 كانت هذه المحطة علامة فارقة في مسير التطور التقني، حيث كانت الخطوة الأولى لتصنيع الأنظمة الحاسوبية الحديثة. الفكرة هنا، أن توصيف عمل المكونات الفيزيائية (أو الهاردوير Hardware) المشكلة لبنية الحواسيب الأولى كانت بحاجة لعلاقاتٍ تمثلها بشكلٍ فعال، وهنا برزت أهمية الجبر البولياني، من حيث كونها أكفأ نموذج رياضي يمكن عبره توصيف عمل المكونات المختلفة للأنظمة الحاسوبية.

لا يمكن لأحد بالطبع أن يغفل الدور العظيم الذي لعبه عالم الرياضيات آلان تورينغ، والذي وضع نظرية “آلة تورينغ Turing Machine” والتي هي فعلياً الحاسوب الرقمي الحديث، ولكن هذا الدور وهذه الأهمية ستكون محور مقالات أخرى.

مقالات ذات صلة

تعليق واحد

زر الذهاب إلى الأعلى