كورادو بوم

كان كورادو بوم (17 يناير 1923 - 23 أكتوبر 2017) عالم حاسوب إيطاليًا وأستاذًا فخريًا في جامعة روما "لا سابينزا" ، واشتهر بشكل خاص بمساهماته في نظرية البرمجة الهيكلية ، والرياضيات البنائية ، والمنطق التوافقي ، وحساب لامدا ، ودلالات وتنفيذ لغات البرمجة الوظيفية .

في أطروحته للدكتوراه (في الرياضيات، من المعهد الفدرالي السويسري للتكنولوجيا في زيورخ، 1951؛ نُشرت عام 1954)، وصف بوم لأول مرة مُترجمًا دائريًا كاملًا ، أي آلية ترجمة للغة برمجة مكتوبة بنفس اللغة. وتُعدّ إسهاماته الأكثر تأثيرًا ما يُعرف بنظرية البرنامج المُهيكل ، التي نُشرت عام 1966 بالاشتراك مع جوزيبي جاكوبيني. وقد برهن، بالتعاون مع أليساندرو بيراردوتشي، على وجود تماثل بين أنواع البيانات الجبرية الموجبة تمامًا ومصطلحات لامدا متعددة الأشكال، والمعروفة أيضًا بترميز بوم-بيراردوتشي. ^{[ 1 ]}

في حساب لامدا ، وضع موريس نظرية فصل مهمة بين الأشكال الطبيعية، تُعرف بنظرية بوم ، والتي تنص على أنه لكل حدين مغلقين من نوع لامدا T1 _و T2 _{لهما أشكال طبيعية مختلفة من نوع} βη، يوجد حد Δ حيث يُقيّم ΔT1 _و ΔT2 إلى متغيرات حرة مختلفة (أي، يمكن فصلهما داخليًا). هذا يعني أنه بالنسبة للحدود المعيارية، يمكن تحديد التكافؤ السياقي لموريس ، وهو خاصية دلالية، من خلال تساوي الأشكال الطبيعية، وهي خاصية نحوية، حيث يتطابق مع تساوي βη.

خُصص له عدد خاص من مجلة علوم الحاسوب النظرية عام 1993، بمناسبة عيد ميلاده السبعين. وهو حاصل على جائزة الجمعية الأوروبية لعلوم الحاسوب النظرية لعام 2001 تقديراً لمسيرته المتميزة في هذا المجال.

• بوم ، كورادو (1954). "الحسابات الرقمية. Du déchiffrage des الصيغ الرياضية بواسطة الآلة نفسها في مفهوم البرنامج" (PDF) . أنالي دي مات. نقية وتطبيقها . الدوري الإيطالي (تومو XXXVII): 1-51 ."بوم: الحواسيب الرقمية. حول ترميز الصيغ المنطقية الرياضية باستخدام الآلة نفسها أثناء تصميم البرنامج" . ترجمة سيستوفت، ب. 4 مايو 2016.
• — (1964). "حول عائلة من آلات تورينج ولغة البرمجة المرتبطة بها". نشرة ICC . 3 : 185-194 . doi : 10.2307/2270680 .: تم تقديم P′′ ، وهي أول لغة أمرية بدون GOTO يتم إثبات أنها كاملة تورينج .
• — ؛ جاكوبيني، جوزيبي [بالإيطالية] (مايو 1966). "مخططات التدفق، وآلات تورينج، واللغات ذات قاعدتي تشكيل فقط". اتصالات رابطة آلات الحوسبة . 9 (5): 366-371 . CiteSeerX 10.1.1.119.9119 . doi : 10.1145/355592.365646 . S2CID 10236439 .  
• — (1968). "بعض الممتلكات من شكل β-η-normali nel-K-calcolo". Pubbl. INAC (باللغة الإيطالية). 696 . روما.
• — ؛ بيراردوتشي، أ. (1985). "التوليف التلقائي لبرامج لامدا المكتوبة على جبر المصطلحات". علوم الحاسوب النظرية . 39 : 135-154 . doi : 10.1016/0304-3975(85)90135-5 .
• — (1988). "البرمجة الوظيفية والجبر التوافقي". في: شيتيل، إم بي؛ جانيجا، إل؛ كوبيك، في (محررون). MFCS . LNCS 324. كارلسباد، تشيكوسلوفاكيا. ص 14-26 . 

• P′′ ، لغة برمجة حاسوبية بسيطة
• نظرية البرنامج المهيكل
• قائمة رواد علوم الحاسوب
• شجرة بوم
• نظرية بوم

• السيرة الذاتية (جامعة روما)

• كورادو بوم في مشروع علم الأنساب الرياضي
• "مجموعة من المساهمات تكريماً لكورادو بوم بمناسبة عيد ميلاده السبعين" ، مجلة علوم الحاسوب النظرية ، المجلد 121، العددان 1 و2، 1993.
• الصفحة الشخصية لكورادو بوم .