בוריס טרכטנברוט

בּוֹרִיס (בּוֹעז) טרַכטֶנבּרוֹט (ברוסית: Борис Авраамович Трахтенброт; 19 בפברואר 1921 – 19 בספטמבר 2016) היה מתמטיקאי ישראלי (לשעבר סובייטי) שעסק בלוגיקה מתמטית, אלגוריתמים, חישוביות וקיברנטיקה.

ביוגרפיה
טרכטנברוט נולד בשנת 1921 בכפר היהודי בריצ'בו  שבצפון בסרביה (כיום במולדובה) שהייתה אז חלק מממלכת רומניה. בגיל 3 התייתם מאמו. בגיל 7 החל ללמוד עברית, ובנעוריו היה חבר בתנועת "השומר הצעיר". בשנת 1940 החל ללמוד בפקולטה לפיזיקה ומתמטיקה במכון הפדגוגי המולדבי בקישינב. במסגרת המתקפה הנאצית על ברית המועצות ביוני 1941 הופצצה העיר בידי הלופטוואפה וטרכטנברוט נמלט לצ'קלוב (כיום אורנבורג) וכעבור שנה עבר לבוגורוסלן, שאליה עבר המכון הפדגוגי המולדבי. בשנת 1947 החל דוקטורט במכון המתמטי של קייב שבמסגרת האקדמיה האוקראינית למדע, ומשם יצא לביקורים ממושכים במוסקבה, כדי לקבל את הנחייתו של פיוטר נוביקוב. בשנת 1950 קיבל תואר דוקטור למתמטיקה על עבודה שכותרתה "Decidability Problems for Finite Classes and Deﬁnitions of Finite Sets", בהנחייתו של נוביקוב. עם סיום לימודיו עבר לפנזה, שם קיבל משרה במכון הפדגוגי בלינסקי. בשנת 1961 עבר לנובוסיבירסק, שם עבד בשנות ה-60 וה-70 במרכז האקדמי אקדמוגורודוק. בשנת 1963 מונה לפרופסור. בדצמבר 1980 עלה לישראל ומונה לפרופסור בבית הספר למדעי המתמטיקה באוניברסיטת תל אביב. בשנת 1991 פרש לגמלאות כפרופסור אמריטוס.

בשנת 1950 גילה והוכיח את משפט טרכטנברוט , שהוא משפט בלוגיקה, בתורת המודלים ובחישוביות. בשנת 1964 גילה והוכיח תוצאה יסודית במדעי המחשב הקרויה "משפט הפערים" , ועוסקת בסיבוכיות. הוכחתו לא נודעה במערב, וב-1972 הגיע גם אלן בורודין לתוצאה זו, ולכן התוצאה קרויה גם משפט הפערים של בורודין-טרכטנברוט.

ספריו במדעי המחשב, שנכתבו ברוסית, תורגמו לשפות רבות. 

לכבוד יום הולדתו ה-85 יצא לאור בהוצאת שפרינגר ספר יובל לכבודו, "Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday", בעריכתם של ארנון אברון, נחום דרשוביץ ואלכסנדר רבינוביץ'.

בשנת 2011 הוענקה לו מדליית EATCS מטעם האיגוד האירופי למדעי המחשב התאורטיים.

היה נשוי לברטה, עד מותה בשנת 2013. בניהם הם יוסף הלחמי ומרק טרכטנברוט, חבר סגל במחלקה למדעי המחשב ב-HIT מכון טכנולוגי חולון.

נפטר ב-19 בספטמבר 2016 ונטמן בבית הקברות החדש ברחובות.

לקריאה נוספת
 Boris A. Trakhtenbrot, From Logic to Theoretical Computer Science – An Update, Lecture Notes in Computer Science Volume 4800, 2008, pp 1-38

קישורים חיצוניים

 Boris Trakhtenbrot, באתר אוניברסיטת תל אביב
 Boris A. Trakhtenbrot: Academic Genealogy and Publications
 Boris A. Trakhtenbrot, The Eugene B. Dynkin Collection of Mathematics Interviews

הערות שוליים

מתמטיקאים סובייטים
מתמטיקאים ישראלים
מדעני מחשב ישראלים
סגל אוניברסיטת תל אביב: מתמטיקה ומדעי המחשב
עולים בשנות ה-1980
זוכי מדליית EATCS
אישים הקבורים ברחובות
ישראלים שנולדו ב-1921
ישראלים שנפטרו ב-2016