جدول المحتويات:
التعريف - ماذا يعني جورج بول؟
كان جورج بول (1815-1864) عالمًا للغة الإنجليزية ورياضياً ومعلمًا. بدءاً من منصب مدرس في إنجلترا ، أصبح أستاذاً في الرياضيات في جامعة كوينز ، كورك ، أيرلندا. أنتج عملين رئيسيين في المنطق ، وهما "التحليل الرياضي للمنطق" (1847) و "قوانين الفكر" (1854).
اخترع الجبر المنطقي ، الذي وسع العلاقة بين المنطق والرياضيات. أصبح فيما بعد الأساس لفحص صحة المقترحات المنطقية ، التي تمت بمساعدة حرف ثنائي القيمة - صواب أو خطأ. نظرًا لإسهاماته الهائلة في علوم الكمبيوتر ، خاصة في منطق الكمبيوتر الرقمي ، يعتبر Boole "أب عصر المعلومات".
يشرح تيكوبيديا جورج بول
وبول طفل كبير يدرس ذاتيًا ، لم يلتحق بول مطلقًا بالجامعة. أُجبر على ترك المدرسة في سن 16 عامًا بعد انهيار تجارة أحذية والده. في العام نفسه ، أصبح مدرسًا مساعدًا ، ثم افتتح مدرسته الخاصة عندما كان عمره 20 عامًا. بعد فترة وجيزة ، أصبح جورج مهتمًا بالرياضيات واستمر في اكتشاف فرع جديد في الرياضيات يُعرف باسم نظرية الثوابت. في عام 1844 ، للحصول على ورقة حول المعادلات التفاضلية ، حصل Boole على الميدالية الذهبية الأولى للجمعية الملكية في لندن. على الرغم من عدم حصول بول على شهادة جامعية ، إلا أنه في عام 1849 تم تعيينه أستاذا للرياضيات في جامعة كوينز على أساس منشوراته فقط.
كان بول من أوائل الإنجليز الذين يكتبون عن المنطق. لقد طور نوعًا جديدًا من الجبر اللغوي ، والمعروف الآن باسم الجبر المنطقي ، كطريقة لمعالجة الحجج المنطقية وحلها حسابيًا. اقترح بول أن المقترحات المنطقية يمكن اختزالها إلى معادلات جبرية ويمكن استبدال المعاملات الرياضية بكلمات منطقية مثل AND و OR و NOT. قدم خوارزميات عامة بلغة جبرية يمكن تطبيقها على أنواع مختلفة من الحجج المعقدة. في عمله "قوانين الفكر" ، حاول أيضًا إيجاد طريقة شائعة في الاحتمالات.
