رافائيل م.روبنسون ، عالم رياضيات وفيلسوف ومنظر أمريكي (ت. 1995)
كان رافائيل ميتشل روبنسون (2 نوفمبر 1911-27 يناير 1995) عالم رياضيات أمريكيًا.
وُلد روبنسون في ناشيونال سيتي بكاليفورنيا ، وكان الأصغر بين أربعة أطفال لمحامي ومعلم. حصل على درجة البكالوريوس في الرياضيات من جامعة كاليفورنيا ، بيركلي: بكالوريوس (1932) ، وماجستير (1933) ، ودكتوراه. (1935). دكتوراه. أطروحة حول التحليل المركب ، وكان بعنوان بعض النتائج في نظرية وظائف شليخت.
في عام 1941 ، تزوج روبنسون من طالبة سابقة جوليا بومان. أصبحت زميلته في بيركلي وأول امرأة تتولى رئاسة الجمعية الرياضية الأمريكية.
عمل روبنسون على المنطق الرياضي ، ونظرية المجموعات ، والهندسة ، ونظرية الأعداد ، والتوافقيات. في عام 1937 ، وضع نسخة أبسط وأكثر تقليدية من نظرية المجموعات البديهية لجون فون نيومان 1923. بعد فترة وجيزة من انضمام ألفريد تارسكي إلى قسم الرياضيات في بيركلي في عام 1942 ، بدأ روبنسون في القيام بعمل كبير على أسس الرياضيات ، بناءً على مفهوم تارسكي عن عدم القدرة على اتخاذ القرار ، من خلال إثبات عدد من النظريات الرياضية غير القابلة للتقرير. في عام 1950 ، أثبت روبنسون أن النظرية غير القابلة للتقرير أساسًا لا تحتاج إلى عدد لا حصر له من البديهيات من خلال الخروج بمثال مضاد: إن حساب روبنسون Q. Q هو بديهي تمامًا لأنه يفتقر إلى مخطط البديهية الحسابية للحث ؛ ومع ذلك ، فإن Q ، مثل حساب Peano الحسابي ، غير مكتمل وغير قابل للتقرير بمعنى Gödel. بلغ عمل روبنسون بشأن عدم القدرة على اتخاذ القرار ذروته في تأليفه المشارك تارسكي وآخرون. (1953) ، الذي أسس ، من بين أمور أخرى ، عدم القدرة على تقرير نظرية المجموعة ، ونظرية الشبكة ، والهندسة الإسقاطية المجردة ، وجبر الإغلاق.
عمل روبنسون في نظرية الأعداد ، حتى أنه استخدم أجهزة كمبيوتر مبكرة جدًا للحصول على النتائج. على سبيل المثال ، قام بترميز اختبار لوكاس-لومر البدائية لتحديد ما إذا كان 2n - 1 عددًا أوليًا لكل عدد أولي n <2304 على SWAC. في عام 1952 ، أظهر أن أرقام ميرسين هذه كانت كلها مركبة باستثناء 17 قيمة لـ n = 2 ، 3 ، 5 ، 7 ، 13 ، 17 ، 19 ، 31 ، 61 ، 89 ، 107 ، 127 ، 521 ، 607 ، 1279 ، 2203 ، 2281. اكتشف الخمسة الأخيرة من هذه الأعداد الأولية في مرسين ، وهي أكبرها المعروفة في ذلك الوقت.
كتب روبنسون عدة أوراق بحثية عن أسقف الطائرة ، ولا سيما ورقة عام 1971 الواضحة والرائعة عدم القدرة على القرار وعدم الدورية لأسقف الطائرة لتبسيط ما كان نظرية متشابكة.
أصبح روبنسون أستاذًا متفرغًا في جامعة بيركلي في عام 1949 ، وتقاعد في عام 1973 ، وظل نشطًا في اهتماماته التعليمية طوال حياته بعد أن نشر في وقت متأخر من حياته:
(80 عامًا) آلة تورينغ العالمية الصغيرة من مينسكي ، التي تصف آلة تورينغ عالمية بأربعة رموز وسبع حالات ؛
(83 سنة) شخصان في المستوى الزائدي.