روبن جودستين

كان روبن لويس جودستين ( 15 ديسمبر 1912 - 8 مارس 1985) عالم رياضيات إنجليزيًا مهتمًا بفلسفة وتدريس الرياضيات . ^[³^]

تعليم

تلقى غودستين تعليمه في مدرسة سانت بول بلندن . وحصل على درجة الماجستير من كلية ماغدالين بجامعة كامبريدج . بعد ذلك، عمل في جامعة ريدينغ ، لكنه أمضى معظم مسيرته الأكاديمية في جامعة ليستر . وحصل على درجة الدكتوراه من جامعة لندن عام ١٩٤٦ ^{[ ٤ ]} بينما كان لا يزال يعمل في ريدينغ.

درس غودستين أيضًا على يد لودفيغ فيتغنشتاين . ^{[ 1 ]}^{[ 2 ]} اختار فيتغنشتاين غودستين وآخرين لتدوين ملاحظات محاضراته، والتي أصبحت فيما بعد كتاب "الكتاب الأزرق" . ^{[ 5 ]}

نشر العديد من الأعمال حول المذهب المحدود وإعادة بناء التحليل من منظور محدود، ومنها على سبيل المثال "الصيغة البنائية: مقالات في أسس الرياضيات". وكانت نظرية غودستين من أوائل الأمثلة على النظريات التي وُجد أنها غير قابلة للإثبات في حساب بيانو، ولكنها قابلة للإثبات في أنظمة منطقية أقوى (مثل حساب الرتبة الثانية ). كما قدّم صيغةً مختلفةً لدالة أكرمان تُعرف الآن باسم متتالية العمليات الفائقة ، بالإضافة إلى اصطلاح التسمية المستخدم حاليًا لهذه العمليات ( التكرار ، والتكرار الخماسي ، إلخ).

إلى جانب المنطق الرياضي (الذي شغل فيه أول كرسي أستاذية في المملكة المتحدة)، والتحليل الرياضي ، وفلسفة الرياضيات ، كان غودستين مهتمًا بشدة بتدريس الرياضيات. من عام 1956 إلى عام 1962، شغل منصب رئيس تحرير مجلة "ذا ماثيماتيكال غازيت" . وفي عام 1962، كان متحدثًا مدعوًا في المؤتمر الدولي للرياضيات (حيث ألقى محاضرة بعنوان "الشبكة المتكررة ") في ستوكهولم . ومن بين طلابه في الدكتوراه مارتن لوب وآلان بوندي . ^{[ 6 ]}

المفاهيم الأساسية للرياضيات، دار بيرغامون للنشر، 1962، الطبعة الثانية 1979
مقالات في فلسفة الرياضيات، مطبعة جامعة ليستر 1965
التحليل التكراري، نورث هولاند 1961، دوفر 2010
المنطق الرياضي، مطبعة جامعة ليستر 1957 ^{[ 7 ]}
تطوير المنطق الرياضي، لندن، دار نشر لوغوس، 1971
الدوال المعقدة، ماكجرو هيل 1965
الجبر البولياني، دار نشر بيرغامون 1963، دوفر 2007
نظرية الأعداد المتكررة - تطوير الحساب المتكرر في حساب التفاضل والتكامل للمعادلات الخالية من المنطق، نورث هولاند 1957
الشكلية البنائية - مقالات حول أسس الرياضيات، كلية جامعة ليستر 1951
مع إي جيه إف بريمروز: الهندسة الإسقاطية البديهية، كلية جامعة ليستر 1953

1 2 نونو فينتورينها، التكوين النصي للتحقيقات الفلسفية لويتغنشتاين ، روتليدج، 2013، ص 39.
1 2 في غودستين، آر إل (1939). "الأنظمة الرياضية". العقل . 48 (189): 58-73 . doi : 10.1093/mind/XLVIII.189.58 .في الصفحة 58، يشير غودستين إلى فيتغنشتاين باعتباره معلمه السابق.
↑ أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "روبن جودستين" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروز
↑ جودستين، آر إل (1945). "نظرية الدوال في حساب المعادلات الخالي من البديهيات". وقائع الجمعية الرياضية بلندن . s2-48: 401– 434. doi : 10.1112/plms/s2-48.1.401 .
↑ مونكل، راي (2012). لودفيج فيتجنشتاين: واجب العبقرية . دار راندوم هاوس. ص 336.
↑ روبن غودستين في مشروع علم الأنساب الرياضي
↑ روجرز، هارتلي (1958). "مراجعة: آر إل جودستين، المنطق الرياضي " . نشرة الجمعية الأمريكية للرياضيات 64 (1): 32-35 . doi : 10.1090/s0002-9904-1958-10141-x .