حل مسائل للتسلية

هيفاء نجيب - الصف التاسع

وفي الأربعينيات من القرن العشرين برهن عالم الرياضيات النمساوي كورت جودل أنه يوجد في أي نظام منطقي نظريات لا يمكن إثبات أنها صائبة أو خاطئة بمسلمات ذلك النظام فقط. ووجد أنّ هذا صحيح حتى في مفاهيم الحساب الأساسية.
ثم خطا علماء الرياضيات خلال القرن العشرين خطوات رئيسية في دراسة البنى الرياضية التجريدية. وإحدى هذه البنى الزُّمرة¡ التي هي تجمُّع لعناصر¡ قد تكون أعدادًا¡ وقواعد لعملية ما على هذه العناصر¡ كالجمع أو الضرب. ونظرية الزمرة مفيدة في مناطق عدة في الرياضيات ومجالات مثل فيزياء الجسيمات الصغيرة.
ومنذ عام 1939م قامت مجموعة من علماء الرياضيات أغلبها من الفرنسيين بنشر سلسلة من الكتب القيمة تحت اسم نقولا بورباكي. واّخذت هذه السلسلة المنحى التجريدي باستخدامها نظام المُسلَّمات ونظرية المجموعات.
وخلال القرن العشرين برزت مجالات رياضية تخصصية جديدة شملت النظم التحليلية¡ وعلم الحاسوب وكان تقدم علم المنطق أساسًا لتقدم الحاسبات الكهربائية. وفي المقابل¡ تمكن علماء الرياضيات بفضل الحاسوب من استكمال الحسابات المعقدة بسرعة فائقة. ومنذ الثمانينيات من القرن العشرين شاع استخدام الحواسيب المبنية على النماذج الرياضية لدراسة حالة الطقس والعلاقات الاقتصادية ونظم عديدة أخرى.