בוריס טרכטנברוט
בּוֹרִיס (בּוֹעז) טרַכטֶנבּרוֹט (ברוסית: Борис Авраамович Трахтенброт; 19 בפברואר 1921 – 19 בספטמבר 2016) היה מתמטיקאי ישראלי (לשעבר סובייטי) שעסק בלוגיקה מתמטית, אלגוריתמים, חישוביות וקיברנטיקה.
 | |
| לידה |
20 בפברואר 1921 בריצ'בה, ממלכת רומניה  |
|---|---|
| פטירה |
19 בספטמבר 2016 (בגיל 95) רחובות, ישראל |
| ענף מדעי |
לוגיקה מתמטית, קיברנטיקה |
| מקום קבורה |
רחובות |
| מקום לימודים |
|
| מנחה לדוקטורט |
פיוטר נוביקוב |
| מוסדות |
|
| תלמידי דוקטורט |
Michael Dekhtyar, Alexander Rabinovich, Irina Lomazova |
| פרסים והוקרה |
פרס האיגוד האירופי לתאוריה של מדעי המחשב (2011) |
  | |
ביוגרפיה עריכה
טרכטנברוט נולד בשנת 1921 בכפר היהודי בריצ'בו (אנ') שבצפון בסרביה (כיום במולדובה) שהייתה אז חלק מממלכת רומניה. בגיל 3 התייתם מאמו. בגיל 7 החל ללמוד עברית, ובנעוריו היה חבר בתנועת "השומר הצעיר". בשנת 1940 החל ללמוד בפקולטה לפיזיקה ומתמטיקה במכון הפדגוגי המולדבי בקישינב. במסגרת המתקפה הנאצית על ברית המועצות ביוני 1941 הופצצה העיר בידי הלופטוואפה וטרכטנברוט נמלט לצ'קלוב (כיום אורנבורג) וכעבור שנה עבר לבוגורוסלן, שאליה עבר המכון הפדגוגי המולדבי. בשנת 1947 החל דוקטורט במכון המתמטי של קייב שבמסגרת האקדמיה האוקראינית למדע, ומשם יצא לביקורים ממושכים במוסקבה, כדי לקבל את הנחייתו של פיוטר נוביקוב. בשנת 1950 קיבל תואר דוקטור למתמטיקה על עבודה שכותרתה "Decidability Problems for Finite Classes and Definitions of Finite Sets", בהנחייתו של נוביקוב. עם סיום לימודיו עבר לפנזה, שם קיבל משרה במכון הפדגוגי בלינסקי. בשנת 1961 עבר לנובוסיבירסק, שם עבד בשנות ה-60 וה-70 במרכז האקדמי אקדמוגורודוק. בשנת 1963 מונה לפרופסור. בדצמבר 1980 עלה לישראל ומונה לפרופסור בבית הספר למדעי המתמטיקה באוניברסיטת תל אביב. בשנת 1991 פרש לגמלאות כפרופסור אמריטוס.
בשנת 1950 גילה והוכיח את משפט טרכטנברוט (אנ'),[1] שהוא משפט בלוגיקה, בתורת המודלים ובחישוביות. בשנת 1964 גילה והוכיח תוצאה יסודית במדעי המחשב הקרויה "משפט הפערים" (אנ'),[2] ועוסקת בסיבוכיות. הוכחתו לא נודעה במערב, וב-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
קישורים חיצוניים עריכה
- בוריס טרכטנברוט, באתר פרויקט הגנאלוגיה במתמטיקה
- בוריס טרכטנברוט, באתר MacTutor (באנגלית)
- בוריס טרכטנברוט, באתר dblp
- Boris Trakhtenbrot, באתר אוניברסיטת תל אביב
- Boris A. Trakhtenbrot: Academic Genealogy and Publications
- Boris A. Trakhtenbrot, The Eugene B. Dynkin Collection of Mathematics Interviews
- נפטר המתמטיקאי שגילה את "משפט הפערים", באתר ynet, 21 בספטמבר 2016
הערות שוליים עריכה
- ^ Boris Trakhtenbrot (1950). "The Impossibility of an Algorithm for the Decidability Problem on Finite Classes". Proceedings of the USSR Academy of Sciences (in Russian) 70 (4): 569–572.
- ^ Boris Trakhtenbrot (1964). "Turing computations with logarithmic delay". Algebra and Logic (in Russian) 3 (4): 33–48.