افتح القائمة الرئيسية

جون ألان روبنسون

رياضياتي أمريكي

جون ألان روبنسون (بالإنجليزية: John Alan Robinson) هو عالم حاسوب ورياضياتي ومهندس أمريكي وبريطاني، ولد في 9 مارس 1930 في يوركشاير في المملكة المتحدة، وتوفي في 5 أغسطس 2016 في بورتلاند في الولايات المتحدة.[2][3][4]

جون ألان روبنسون
John Alan Robinson IMG 0493.jpg
 

معلومات شخصية
الميلاد 9 مارس 1930  تعديل قيمة خاصية تاريخ الميلاد (P569) في ويكي بيانات
يوركشاير  تعديل قيمة خاصية مكان الولادة (P19) في ويكي بيانات
الوفاة 5 أغسطس 2016 (86 سنة)  تعديل قيمة خاصية تاريخ الوفاة (P570) في ويكي بيانات
بورتلاند، مين  تعديل قيمة خاصية مكان الوفاة (P20) في ويكي بيانات
مواطنة
Flag of the United Kingdom.svg
المملكة المتحدة
Flag of the United States (1795-1818).svg
الولايات المتحدة  تعديل قيمة خاصية بلد المواطنة (P27) في ويكي بيانات
عضو في جمعية النهوض بالذكاء الاصطناعي  تعديل قيمة خاصية عضو في (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة كامبريدج
جامعة برنستون
جامعة أوريغون  تعديل قيمة خاصية تعلم في (P69) في ويكي بيانات
مشرف الدكتوراه كارل هيمبل  تعديل قيمة خاصية مشرف الدكتوراه (P184) في ويكي بيانات
المهنة رياضياتي،  وعالم حاسوب،  ومهندس،  وفيلسوف  تعديل قيمة خاصية المهنة (P106) في ويكي بيانات
اللغات المحكية أو المكتوبة الإنجليزية[1]  تعديل قيمة خاصية اللغة (P1412) في ويكي بيانات
مجال العمل رياضيات  تعديل قيمة خاصية مجال العمل (P101) في ويكي بيانات
موظف في جامعة رايس،  وجامعة سيراكيوز  تعديل قيمة خاصية رب العمل (P108) في ويكي بيانات
الجوائز
زمالة غوغنهايم 
زمالة جمعية النهوض بالذكاء الاصطناعي  تعديل قيمة خاصية الجوائز المستلمة (P166) في ويكي بيانات

مراجععدل

  1. ^ http://data.bnf.fr/ark:/12148/cb12367215g — تاريخ الاطلاع: 10 أكتوبر 2015 — الرخصة: رخصة حرة
  2. ^ John Alan Robinson CV, upm.es, access date 12 August 2016 نسخة محفوظة 18 مايو 2012 على موقع واي باك مشين.
  3. ^ The Coq Development Team (2018-10-18). The Coq Reference Manual: Release 8.10+alpha (PDF). صفحة 3. اطلع عليه بتاريخ 19 أكتوبر 2018. Automated theorem-proving was pioneered in the 1960’s by Davis and Putnam in propositional calculus. A complete mechanization (in the sense of a semidecision procedure) of classical first-order logic was proposed in 1965 by J.A. Robinson, with a single uniform inference rule called resolution. Resolution relies on solving equations in free algebras (i.e. term structures), using the unification algorithm. Many refinements of resolution were studied in the 1970’s, but few convincing implementations were realized, except of course that PROLOG is in some sense issued from this effort. 
  4. ^ philosophyfamilytree record نسخة محفوظة 28 أكتوبر 2014 على موقع واي باك مشين.

وصلات خارجيةعدل

  • لا بيانات لهذه المقالة على ويكي داتا تخص الفن
 
هذه بذرة مقالة عن حياة شخصية أمريكية بحاجة للتوسيع. شارك في تحريرها.
 
هذه بذرة مقالة عن حياة شخصية بريطانية بحاجة للتوسيع. شارك في تحريرها.