هينك باريندريخت

📅 آخر تحديث: ٣٠ يوليو ٢٠٢٦
✍️ نُشر في: ٣٠ يوليو ٢٠٢٦
📷 يحتوي على 1 صور
الموسوعة الحرة
هينك باريندريجت خلال زيارته إلى براغ في أبريل 2012

هندريك بيتر (هينك) باريندريخت (ولد في 18 ديسمبر 1947، أمستردام ) [ 1 ] هو عالم منطق هولندي ، معروف بعمله في حساب التفاضل والتكامل لامدا ونظرية النوع .

الحياة والعمل

درس باريندريخت المنطق الرياضي في جامعة أوتريخت ، وحصل على درجة الماجستير عام 1968 ودرجة الدكتوراه عام 1971، وكلاهما بامتياز ، تحت إشراف ديرك فان دالين وجورج كريزل . بعد حصوله على منصب ما بعد الدكتوراه في جامعة ستانفورد ، قام بالتدريس في جامعة أوتريخت .

منذ عام 1986، يُدرّس باريندريخت في جامعة رادبود نايميخن ، حيث يشغل حاليًا كرسي أسس الرياضيات وعلوم الحاسوب. ويعمل فريقه البحثي على الرياضيات التفاعلية البنّاءة. كما أنه أستاذ مساعد في جامعة كارنيجي ميلون في بيتسبرغ، الولايات المتحدة الأمريكية. وقد عمل باحثًا زائرًا في جامعات دارمشتات ، والمعهد الفدرالي السويسري للتكنولوجيا في زيورخ ، وسيينا، وكيوتو.

انتُخب باريندريخت عضوًا في الأكاديمية الأوروبية عام 1992. [ 2 ] وفي عام 1997، انتُخب عضوًا في الأكاديمية الملكية الهولندية للفنون والعلوم . [ 3 ] وفي 6 فبراير 2003، مُنح باريندريخت جائزة سبينوزا لعام 2002، وهي أعلى جائزة علمية في هولندا. [ 4 ] وفي عام 2002، مُنح لقب فارس من وسام الأسد الهولندي .

حصل باريندريخت على درجة الدكتوراه الفخرية من جامعة هيريوت وات في عام 2015. [ 5 ]

منشورات مختارة

  • إتش بي باريندريخت (1984). حساب لامدا - تركيبه ودلالاته . دراسات في المنطق وأسس الرياضيات. المجلد  103. أمستردام: نورث هولاند. ISBN 0-444-87508-5.— انظر إلى قائمة الأخطاء
  • ي. توياما؛ ج. و. كلوب ؛ هـ. ب. باريندريخت (1989). "إنهاء المجموع المباشر لأنظمة إعادة كتابة الحدود الخطية اليسرى (مسودة أولية)". في: ناحوم ديرشوفيتز (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الثالث، RTA-89 . سلسلة محاضرات في علوم الحاسوب . المجلد  355. سبرينغر. الصفحات 477-491 . 
  • إتش بي باريندريخت (2001). "الحوسبة والإثبات (محاضرة مدعوة)". في ميدلدورب، أ. (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الثاني عشر، RTA-01 . سلسلة محاضرات في علوم الحاسوب. المجلد  2051. سبرينغر.
  • إتش بي باريندريجت، و. ديكرز، و ر. ستاتمان (2013). حساب التفاضل والتكامل لامدا مع الأنواع . وجهات نظر في المنطق. مطبعة جامعة كامبريدج. رقم ISBN 978-052-176-614-2.
  • إتش بي باريندريخت وجي مانزونيتو ​​(2022). قمر ​​صناعي لحساب التفاضل والتكامل لامدا . المنطق الرياضي والأسس. منشورات الكلية. ISBN 978-1-84890-415-6.

مراجع

  1. ↑ إريك باريندسن؛ هيرمان جوفرز؛ فينانزيو كابريتا؛ ميلاد نيكي، محرران (2007). تأملات في نظرية الأنماط، وحساب لامدا، والعقل - مقالات مهداة إلى هينك باريندريخت بمناسبة عيد ميلاده الستين . جامعة نيميغن. ISBN 978-90-9022446-6.هنا: المقدمة ، صفحة 5
  2. ↑ "هندريك باريندريخت" . أكاديميا يوروبايا. مؤرشف من الأصل في 28 مارس 2019.
  3. ↑ "هينك باريندريخت" . الأكاديمية الملكية الهولندية للفنون والعلوم. مؤرشف من الأصل في 21 مايو 2020.
  4. ↑ «جائزة سبينوزا لعام 2002» الصادرة عن المنظمة الهولندية للبحث العلمي. 5 سبتمبر 2014. مؤرشف من الأصل في 3 مارس 2016. تم الاطلاع عليه في 30 يناير 2016 .
  5. ↑ "حفلات تخرج حرم جامعة إدنبرة - أخبار | جامعة هيريوت وات إدنبرة" . www.hw.ac.uk. تاريخ الوصول: 24 مارس 2016 .