أندريه تريبوليك

كان أندريه فويتشيك تريبوليك (29 يناير 1941 في كراكوف ، بولندا - 11 سبتمبر 2013 في بياليستوك ، بولندا ) عالم رياضيات وعالم حاسوب بولندي اشتهر بعمله على نظام ميزر . ^{[ 1 ]}

كان والداه، يان دبليو. تريبوليك وباربرا إتش. كورلوس، صيدليين محترفين يمتلكان صيدلية في بلدة شتشوتشين الصغيرة بالقرب من مدينة تارنوف في جنوب شرق بولندا، حيث كانا يبيعان الأدوية. التحق بالمدرسة الثانوية في رودا شلاسكا ، ثم انتقل بمبادرة منه إلى مدرسة ثانوية مرموقة في كراكوف ، حيث أكمل دراسته الثانوية. درس الرياضيات في جامعة وارسو ، ومن عام 1964 إلى عام 1966 حاضر في قسم الهندسة، وفي عام 1966 حصل على درجة الماجستير . وحتى عام 1967، حاضر في معهد الرياضيات بجامعة وارسو، ومن عام 1967 إلى عام 1971 عمل أستاذاً مساعداً في جامعة وارسو للتكنولوجيا ، ومنذ عام 1971 عمل في معهد علوم المكتبات والمعلومات بجامعة وارسو. في شهري سبتمبر وأكتوبر من عام 1973، كان تريبوليك أستاذاً زائراً في المعهد الروسي للمعلومات العلمية والتقنية (VINITI) في موسكو ، التي كانت آنذاك جزءاً من الاتحاد السوفيتي ، حيث ابتكر فكرة إمكانية قراءة النصوص الرياضية آلياً . وحصل على درجة الدكتوراه عام 1974 من معهد الرياضيات التابع للأكاديمية البولندية للعلوم تحت إشراف كارول بورزوك .

كانت أولى أبحاث تريبوليك في الرياضيات في مختلف مواضيع الفضاء الطوبولوجي والمتري التي رائدها كارول بورزوك . وبالتوازي مع أبحاثه الطوبولوجية العامة ، عمل أيضًا في اللغويات الحاسوبية ودلالات لغات البرمجة . وبتطبيق إطار بديهيات نظرية المجموعات لتارسكي-غروتينديك ، وتحديدًا نظرية المجموعات لزيرميلو-فرانكل المُكمَّلة ببديهية تارسكي مع اعتبار جميع العناصر مجموعات وإلغاء مفهوم الفئة، بالإضافة إلى منطق الرتبة الأولى للاستنتاج الطبيعي لجينتزن - ياسكوفسكي ، صمّم في عام 1973 نظام الصياغة الرسمية ميزر، الذي يتألف من لغة رسمية لكتابة التعريفات والبراهين الرياضية، ومساعد برهان قادر على التحقق آليًا من البراهين المكتوبة بهذه اللغة. على الرغم من أن العرض الأول لنظام ميزر في 14 نوفمبر 1973، خلال ندوة في معهد علوم المكتبات والمعلومات العلمية، كان بمثابة فكرة طموحة أكثر منه مشروعًا بحثيًا، إلا أنه قام لاحقًا، بمساعدة زملائه، بتطويرها إلى مكتبة ميزر الرياضية (MML)، وهي مكتبة للرياضيات الرسمية تُستخدم في إثبات النظريات الجديدة، وتُعد أكبر مستودع في العالم للرياضيات الرسمية والمُدققة حاسوبيًا. ومنذ عام 1978 وحتى وفاته، عمل أستاذًا في معهد علوم الحاسوب بجامعة بياليستوك ، بينما شغل منصب أستاذ زائر في قسم علوم وهندسة الحاسوب بجامعة كونيتيكت خلال الفترة 1984-1985 . وقد نشر عددًا من المقالات، معظمها في مجلة الرياضيات الرسمية، مُخصصة لمساهماته في مكتبة ميزر الرياضية.

• أسبرتي، أندريا؛ بانشيريك، غريغورز؛ تريبوليك، أندريه، محرران (2004)، إدارة المعرفة الرياضية: وقائع المؤتمر الدولي الثالث، MKM 2004، بيالوفيزا، بولندا، 19-21 سبتمبر 2004 ، سلسلة محاضرات في علوم الحاسوب 3119 ، نيويورك: سبرينغر، ISBN 978-3-540-23029-8

• نظام ميزر
• الجدول الزمني للعلوم والتكنولوجيا البولندية
• قائمة علماء الرياضيات البولنديين
• قائمة الأشخاص البولنديين

• كوبربيرغ، كريستينا تريبوليك (سبتمبر 2015)، "أندريه تريبوليك - في ذكرى" ، مجلة الاستدلال الآلي ، 55 (3): 187-190 ، doi : 10.1007/s10817-015-9343-3
• ماتوشيفسكي، رومان؛ زاليفسكا، آنا، محرران (2007)، "من البصيرة إلى البرهان: كتاب تذكاري تكريمًا لأندريه تريبوليك" (ملف PDF) ، دراسات في المنطق والنحو والبلاغة ، المجلد  10، رقم ISBN 978-837431128-1
• ماتوشيفسكي، رومان؛ رودنيكي، بيوتر (مارس 2005)، "ميزر: أول 30 عامًا" (ملف PDF) ، الرياضيات الآلية وتطبيقاتها ، 4 ( 1): 3-24
• رودنيكي، بيوتر (1992)، "نظرة عامة على مشروع ميزر"، في نوردستروم، بنغت؛ بيترسون، كينت؛ بلوتكين، غوردون (محررون)، وقائع ورشة عمل 1992 حول أنواع البراهين والبرامج، باستاد، السويد، يونيو 1992 ، باستاد : جامعة تشالمرز للتكنولوجيا ، ص 311-330 

• "أندريه تريبولك"، جامعة بياليستوك
• أندريه تريبوليك في مشروع علم الأنساب الرياضي
• نظام الميزار http://mizar.uwb.edu.pl
• http://math.uwb.edu.pl/~trybulec/awards.html
• https://web.archive.org/web/20060927204402/http://markun.cs.shinshu-u.ac.jp/mizar/mma.dir/2005/mma2005(2).pdf
• http://www-history.mcs.st-and.ac.uk/Biographies/Kuperberg.html
• http://mizar.uwb.edu.pl/cgi-bin/andrzej/memento
• http://www.openmath.org/meetings/eindhoven2003/proceedings/trybulec.pdf