لاسلو كالمار

تطور المنطق الرياضي في المجر بشكل ملحوظ من خلال مسيرة لاسلو كالمار (László Kalmár)، الذي عمل في جامعة سيجد (University of Szeged) من عام 1928 حتى عام 1975. ولد كالمار عام 1905 في قرية إيدي (Edde)، وتجاوز الخسائر الشخصية كطالب شاب في بودابست ليصبح شخصية محورية في علوم الحاسوب النظرية وأسس الرياضيات.

الأسس الأكاديمية والبحث

أكمل كالمار دراسته الجامعية في جامعة إيتفوس لوراند (Eötvös Loránd University) بين عامي 1922 و1927. تبلور مساره الفكري خلال زيارة عام 1929 إلى جامعة غوتينغن (University of Göttingen)، حيث تعرف على المنطق الرياضي. عند عودته إلى المجر، انضم إلى هيئة التدريس في جامعة سيجد، التي كانت تبرز آنذاك كمركز بحثي حيوي. ترقى إلى منصب أستاذ متفرغ بحلول عام 1947، ليصبح أول رئيس لكرسي أسس الرياضيات وعلوم الحاسوب.

المساهمات في المنطق والحوسبة

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

القيادة المؤسسية

سعى كالمار إلى مأسسة البحث التكنولوجي في وطنه. ففي جامعة سيجد، أسس مختبر السيبرانية وأنشأ مجموعة بحثية متخصصة تركز على المنطق الرياضي ونظرية الأوتوماتا. تم الاعتراف بخدماته الإدارية والأكاديمية من خلال العديد من الأوسمة الوطنية، بما في ذلك جائزة كوشوت (Kossuth Prize) عام 1950 وجائزة الدولة لجمهورية المجر الشعبية عام 1975. كما تم انتخابه عضواً في الأكاديمية المجرية للعلوم (Hungarian Academy of Sciences) عام 1949.

حقائق سريعة

- الميلاد: 1905، إيدي - الوفاة: 1976، ماتراهازا (Mátraháza) - التعليم: جامعة إيتفوس لوراند، جامعة غوتينغن - جهة العمل الرئيسية: جامعة سيجد - العضوية: الأكاديمية المجرية للعلوم - جائزة كوشوت: 1950 - جائزة رواد الحاسوب: 1996

أسئلة القراء

### ما هي الاهتمامات البحثية الرئيسية للاسلو كالمار؟

ركز على المنطق الرياضي، وتحديداً قابلية تقرير حساب المحمول، والحساب العودي الأولي، والأسس النظرية لعلوم الحاسوب.

### أين قضى مسيرته الأكاديمية؟

قضى تقريباً كامل حياته المهنية في جامعة سيجد، حيث انضم إليها عام 1928 وبقي فيها حتى عام 1975.