روبن غاندي

كان روبن أوليفر غاندي (22 سبتمبر 1919 - 20 نوفمبر 1995) عالم رياضيات ومنطق بريطانيًا . [ 1 ] كان صديقًا وتلميذًا وزميلًا لألان تورينج ، حيث أشرف عليه تورينج خلال دراسته للدكتوراه في جامعة كامبريدج ، [ 2 ] حيث عملا معًا. [ 3 ] [ 4 ] [ 5 ]

التعليم والحياة المبكرة

وُلد روبن غاندي في قرية روثرفيلد بيبارد ، أوكسفوردشاير، إنجلترا. [ 1 ] وهو حفيدٌ من الجيل الرابع للمهندس المعماري والفنان جوزيف غاندي (1771-1843)، وابن توماس هول غاندي (1876-1948)، وهو طبيب عام ، وإيدا كارولين (ني هوني ) (1885-1977)، وهي عاملة اجتماعية وكاتبة لاحقًا. [ 6 ] وكان شقيقه الدبلوماسي كريستوفر غاندي، وشقيقته الطبيبة جيليان غاندي . [ 7 ]

تلقى غاندي تعليمه في مدرسة أبوتشولم في ديربيشاير، ثم درس سنتين في امتحان الرياضيات الثلاثي في ​​كلية كينغز، كامبريدج ، قبل أن يلتحق بالخدمة العسكرية عام ١٩٤٠. خلال الحرب العالمية الثانية ، عمل على معدات اعتراض الاتصالات اللاسلكية في هانسلوب بارك ، حيث كان آلان تورينج يعمل على مشروع تشفير الكلام ، وأصبح غاندي أحد أصدقاء تورينج المقربين ورفاقه مدى الحياة. في عام ١٩٤٦، أكمل الجزء الثالث من امتحان الرياضيات الثلاثي، ثم بدأ دراسة الدكتوراه تحت إشراف تورينج. أنجز أطروحته بعنوان " حول الأنظمة البديهية في الرياضيات والنظريات في الفيزياء" عام ١٩٥٢. [ ٢ ] كان عضوًا في جمعية رسل كامبريدج . [ ٨ ]

المسار الوظيفي والبحث

شغل غاندي مناصب في جامعة ليستر ، وجامعة ليدز ، وجامعة مانشستر . وكان أستاذاً مشاركاً زائراً في جامعة ستانفورد من عام 1966 إلى عام 1967، وشغل منصباً مماثلاً في جامعة كاليفورنيا، لوس أنجلوس في عام 1968. وفي عام 1969، انتقل إلى كلية وولفسون، أكسفورد ، حيث أصبح قارئاً في المنطق الرياضي.

يُعرف غاندي بأعماله في نظرية الاستدعاء الذاتي . تشمل إسهاماته نظرية سبيكتور-غاندي، ونظرية مقارنة مراحل غاندي، ونظرية اختيار غاندي. كما قدم إسهامًا كبيرًا في فهم أطروحة تشيرش-تورينج ، ويُطلق على تعميمه لآلة تورينج اسم آلة غاندي. [ 9 ]

توفي غاندي في أكسفورد ، إنجلترا في 20 نوفمبر 1995. [ 1 ] [ 10 ]

إرث

مباني روبن غاندي ، وهما مبنيان سكنيان في كلية وولفسون، أكسفورد ، سميت على اسم غاندي. [ 11 ] [ 12 ] عُقدت ندوة غاندي المئوية ليوم واحد في 22 فبراير 2020 في الكلية تكريماً لغاندي، وتضمنت مشاركات من بعض طلابه؛ [ 13 ] [ 14 ] وكان المتحدثون هم ماريانا أنتونوتي مارفوري (ميونخ)، وأندرو هودجز (أكسفورد)، ومارتن هايلاند (كامبريدج)، وجيف باريس (مانشستر)، وغوران سوندولم (ليدن)، وكريستين تاسون (باريس)، وفيليب ويلش (بريستول).

مراجع

  1. 1 2 3 ييتس، مايك (24 نوفمبر 1995). "نعي: روبن غاندي" . صحيفة الإندبندنت . تم الاطلاع عليه في 1 يناير 2012 .
  2. 1 2 غاندي، روبن أوليفر (1953). حول الأنظمة البديهية في الرياضيات والنظريات في الفيزياء . repository.cam.ac.uk (أطروحة دكتوراه). جامعة كامبريدج. doi : 10.17863/CAM.16125 . EThOS uk.bl.ethos.590164 . أيقونة الوصول المجاني
  3. هودجز، أندرو (1983). آلان تورينج: اللغز . سيمون وشوستر . ISBN 0-671-49207-1.
  4. " ملاحظات". نشرة المنطق الرمزي . 2 (1): 121-125 . مارس 1996. doi : 10.1017/s1079898600007988 . JSTOR 421052. S2CID 246638427 .  
  5. موشوفاكيس، يانيس ويتس، مايك (سبتمبر 1996). " في ذكرى: روبن أوليفر غاندي، 1919-1995" . نشرة المنطق الرمزي . 2 (3): 367-370 . doi : 10.1017/s1079898600007873 . JSTOR 420996. S2CID 120785678 .  
  6. "إيدا غاندي - كاتبة" . مركز ألدبورن للتراث . تم الاطلاع عليه بتاريخ 7 أبريل 2021 .
  7. مورلي، سي.؛ كورسيتير، ج. (2 يونيو 2016). "نعي: جيليان غاندي". المجلة الطبية البريطانية . 353 i3106. doi : 10.1136/bmj.i3106 . PMID 27256283. S2CID 41777853 .  
  8. "كلية وولفسون تُحيي روبن غاندي بمناسبة مرور مئة عام على ميلاده | كلية وولفسون، أكسفورد" .
  9. ويلفريد سيغ، 2005، كنيسة بلا عقيدة: بديهيات للحوسبة، جامعة كارنيجي ميلون
  10. روبن غاندي - ألبوم صور آلان تورينج ، مؤرشف [ تم حذف الرابط ] على موقع Archive.Today
  11. "أنواع الإقامة - مباني روبن غاندي" . المملكة المتحدة: كلية وولفسون، أكسفورد . تم الاطلاع عليه بتاريخ 14 أبريل 2020 .
  12. "مباني روبن غاندي، وولفسون" . فليكر . 6 أبريل 2008. تم الاطلاع عليه في 1 يناير 2012 .
  13. "ندوة غاندي" . المملكة المتحدة: كلية وولفسون، أكسفورد . 22 فبراير 2020. تم الاطلاع عليه بتاريخ 14 أبريل 2020 .
  14. إسحاقسون، دانيال (2020). "كلية وولفسون تُحيّي روبن غاندي في الذكرى المئوية لميلاده" . المملكة المتحدة: كلية وولفسون، أكسفورد . تاريخ الاسترجاع: 14 أبريل 2020 .