يان ويليم كلوب

كان يان ويليم كلوب (19 ديسمبر 1945 - 28 سبتمبر 2025) عالم رياضيات هولنديًا، وأستاذًا للمنطق التطبيقي في جامعة فريجي بأمستردام . حصل على درجة الدكتوراه في المنطق الرياضي من جامعة أوتريخت . اشتهر كلوب بأعماله في جبر العمليات المتصلة ، وإعادة كتابة الحدود، وحساب لامدا اللانهائي، وبمشاركته في تأليف كتاب TeReSe ^{[ 2 ]} ، وبمُركِّب النقطة الثابتة ^{[ 3 ].}

ص _ك = (للللللللللللللللللللللل)

أين

L = λabcdefghijklmnopqstuvwxyzr. (r (thisisafixedpointcomb inator))

أصبح كلوب عضواً في الأكاديمية الملكية الهولندية للفنون والعلوم في عام 2003. ^{[ 4 ]} توفي في 28 سبتمبر 2025، عن عمر يناهز 79 عاماً. ^{[ 5 ]}

• جان ويليم كلوب (1980). أنظمة التخفيض التوافقية (PDF) (أطروحة دكتوراه). جامعة أوتريخت.
• JCM Baeten؛ Jan Bergstra ؛ Jan Willem Klop (1987). "أنظمة إعادة كتابة المصطلحات مع تحديد الأولويات". في Lescanne, Pierre (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الثاني، RTA-87 . LNCS . المجلد  256. Springer. الصفحات 83-94 . — التقرير الفني السابق FVI 86-03
• ي. توياما؛ يان ويليم كلوب؛ هينك باريندريخت (1989). "إنهاء المجموع المباشر لأنظمة إعادة كتابة الحد الخطي الأيسر - مسودة أولية -". في: ناحوم ديرشوفيتز (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الثالث، RTA-89 . سلسلة محاضرات في علوم الحاسوب. المجلد  355. سبرينغر. الصفحات 477-491 . — التقرير الفني السابق IEICE COMP 88-90
• ن. ديرشوفيتز؛ جان بيير جوانو ؛ يان ويليم كلوب (1991). "مشكلات مفتوحة في إعادة الكتابة". في رونالد ف. بوك (محرر). تقنيات وتطبيقات إعادة الكتابة، المؤتمر الدولي الرابع، RTA-91 (ملف PDF) . سلسلة محاضرات في علوم الحاسوب. المجلد  488. سبرينغر. الصفحات 445-456 . 
• جيه آر كيناواي؛ جيه دبليو كلوب؛ إم آر سليب؛ إف-جيه دي فريس (1991). "الاختزالات المتسامية في أنظمة إعادة كتابة المصطلحات المتعامدة (ملخص موسع)". في كتاب، رونالد في. (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الرابع، RTA-91 (ملف PDF) . سلسلة محاضرات في علوم الحاسوب. المجلد  488. سبرينغر. الصفحات 1-12 . مؤرشف من الأصل (ملف PDF) في 4 فبراير 2015. تم الاطلاع عليه في 22 سبتمبر 2014 . 
• ن. ديرشوفيتز؛ ج.-ب. جوانو؛ ج. و. كلوب (1993). "مزيد من المشاكل في إعادة الكتابة". في كيرشنر، كلود (محرر). تقنيات وتطبيقات إعادة الكتابة، المؤتمر الدولي الخامس، RTA-93 (ملف PDF) . سلسلة محاضرات في علوم الحاسوب. المجلد  690. سبرينغر. الصفحات 468-487 . 
• ر. كيناواي؛ ج. و. كلوب؛ م. ر. سليب؛ ف. ج. دي فريس (1995). "حسابات لامدا اللانهائية ونماذج بوم". في: هسيانغ، جيه (محرر). المؤتمر الدولي السادس حول تقنيات إعادة الكتابة وتطبيقاتها (RTA) . سلسلة محاضرات في علوم الحاسوب. المجلد  914. سبرينغر. الصفحات 257-270 . 
• يان ويليم كلوب (1998). "تتبع الأصل في إعادة كتابة المصطلحات (محاضرة مدعوة)". في توبياس نيبكو (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي التاسع، RTA-98 . سلسلة محاضرات في علوم الحاسوب. المجلد  1379. سبرينغر. ص  1.

• الصفحة الرئيسية لجان ويليم كلوب
• يان ويليم كلوب في مشروع علم الأنساب الرياضي