روبن غاندي

روبن غاندي
معلومات شخصية
اسم الولادة	روبن اوليفر غاندي
الميلاد	22 سبتمبر 1919; روزيرفيلد بيبر، أكسفوردشير ، إنجلترا
الوفاة	20 نوفمبر 1995 (عن عمر ناهز 76 عاماً); أكسفورد، إنجلترا
الإقامة	المملكة المتحدة
الجنسية	بريطاني
الحياة العملية
المؤسسات	جامعة مانشستر; جامعة لستر; جامعة ليدز; جامعة ستانفورد; جامعة كاليفورنيا (لوس أنجلوس); جامعة أوكسفورد;
الأطروحات	On Axiomatic Systems in Mathematics and Theories in Physics 1953
المدرسة الأم	جامعة كامبريدج (PhD)
مشرف الدكتوراه	آلان تورنغ
طلاب الدكتوراه	مارتن هايلاند; جيف باريس;
مجال العمل	منطق رياضي
سبب الشهرة	نظرية الحاسوبية
	تعديل مصدري - تعديل

روبن أوليفر غاندي (22 سبتمبر 1919 - 20 نوفمبر 1995)، عالم رياضيات بريطاني وفيلسوف في المنطق.^[4] كان صديقاً وطالباً وشريكاً لـ آلان تورينج ، بعد أن أشرف عليه تورنج أثناء حصوله على درجة الدكتوراه في جامعة كامبريدج،^[1] حيث عملا معاً في هذه الجامعة.^[5]^[6]^[7]

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

ولد روبين غاندي في قرية روثرفيلد بيبارد، أوكسفوردشاير، إنجلترا. كان ابن توماس هول غاندي (1876-1948) وإيدا كارولين ني هوني (1885–1977) وحفيدًا للمهندس والفنان جوزيف غاندي (1771-1843).

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

الحياة المهنية والبحث

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

اشتهر بعمله في نظرية الحاسوبية. وتشمل مساهماته نظرية سبكتور-غاندي، ونظرية مقارنة مرحلة غاندي، ونظرية غاندي المختارة. كما ساهم بشكل كبير في فهم أطروحة تورينغ، وعمل علي تطوير آلة تورنغ.^[9]

توفي غاندي في أكسفورد، إنجلترا.^[4]^[10]

المراجع

^ ^أ ^ب Gandy، Robin Oliver (1953). On axiomatic systems in mathematics and theories in physics (PhD thesis). University of Cambridge. DOI:10.17863/CAM.16125. مؤرشف من الأصل في 2019-08-14.
^ ^أ ^ب روبن غاندي في شجرة علماء الرياضيات
^ Hyland، John Martin Elliott (1975). Recursion Theory on the Countable Functionals (DPhil thesis). University of Oxford. قالب:EThOS. مؤرشف من الأصل في 2020-01-26. {{استشهاد بأطروحة}}: الوسيط غير المعروف |الموقع الإلكتروني= تم تجاهله (مساعدة)
^ ^أ ^ب Yates, Mike (24 نوفمبر 1995). "Obituary: Robin Gandy". ذي إندبندنت. مؤرشف من الأصل في 2018-07-16. اطلع عليه بتاريخ 2012-01-01.
^ Hodges، Andrew (1983). Alan Turing: The Enigma. Simon & Schuster. ISBN:0-671-49207-1.
^ "Notices". The Bulletin of Symbolic Logic. ج. 2 ع. 1: 121–125. مارس 1996. DOI:10.1017/s1079898600007988. JSTOR:421052.
^ Moschovakis, Yannis؛ Yates, Mike (سبتمبر 1996). "In Memoriam: Robin Oliver Gandy, 1919–1995". The Bulletin of Symbolic Logic. ج. 2 ع. 3: 367–370. DOI:10.1017/s1079898600007873. JSTOR:420996. {{استشهاد بدورية محكمة}}: الوسيط غير المعروف |last-author-amp= تم تجاهله يقترح استخدام |name-list-style= (مساعدة)
^ "Robin Gandy Buildings, Wolfson". فليكر. مؤرشف من الأصل في 2019-12-22. اطلع عليه بتاريخ 2012-01-01.
^ Wilfried Sieg, 2005, Church without dogma: axioms for computability, Carnegie Mellon University نسخة محفوظة 01 ديسمبر 2017 على موقع واي باك مشين.
^ Robin Gandy — The Alan Turing Scrapbook, archived at Archive.Today نسخة محفوظة 01 يوليو 2016 على موقع واي باك مشين.

[gandyphd-1] أ ^ب Gandy، Robin Oliver (1953). On axiomatic systems in mathematics and theories in physics (PhD thesis). University of Cambridge. DOI:10.17863/CAM.16125. مؤرشف من الأصل في 2019-08-14.

[mathgene-2] أ ^ب روبن غاندي في شجرة علماء الرياضيات

[hylandphd-3] Hyland، John Martin Elliott (1975). Recursion Theory on the Countable Functionals (DPhil thesis). University of Oxford. قالب:EThOS. مؤرشف من الأصل في 2020-01-26. {{استشهاد بأطروحة}}: الوسيط غير المعروف |الموقع الإلكتروني= تم تجاهله (مساعدة)

[independent-4] أ ^ب Yates, Mike (24 نوفمبر 1995). "Obituary: Robin Gandy". ذي إندبندنت. مؤرشف من الأصل في 2018-07-16. اطلع عليه بتاريخ 2012-01-01.

[5] Hodges، Andrew (1983). Alan Turing: The Enigma. Simon & Schuster. ISBN:0-671-49207-1.

[6] "Notices". The Bulletin of Symbolic Logic. ج. 2 ع. 1: 121–125. مارس 1996. DOI:10.1017/s1079898600007988. JSTOR:421052.

[7] Moschovakis, Yannis؛ Yates, Mike (سبتمبر 1996). "In Memoriam: Robin Oliver Gandy, 1919–1995". The Bulletin of Symbolic Logic. ج. 2 ع. 3: 367–370. DOI:10.1017/s1079898600007873. JSTOR:420996. {{استشهاد بدورية محكمة}}: الوسيط غير المعروف |last-author-amp= تم تجاهله يقترح استخدام |name-list-style= (مساعدة)

[8] "Robin Gandy Buildings, Wolfson". فليكر. مؤرشف من الأصل في 2019-12-22. اطلع عليه بتاريخ 2012-01-01.

[9] Wilfried Sieg, 2005, Church without dogma: axioms for computability, Carnegie Mellon University نسخة محفوظة 01 ديسمبر 2017 على موقع واي باك مشين.

[10] Robin Gandy — The Alan Turing Scrapbook, archived at Archive.Today نسخة محفوظة 01 يوليو 2016 على موقع واي باك مشين.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

روبن غاندي

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

الحياة المهنية والبحث

المراجع

قائمة التصفح

بحث