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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
בוריס טרכטנברוט
אין תמונה חופשית
לידה 20 בפברואר 1921
בריצ'בה, ממלכת רומניה עריכת הנתון בוויקינתונים
פטירה 19 בספטמבר 2016 (בגיל 95)
רחובות, ישראל עריכת הנתון בוויקינתונים
ענף מדעי לוגיקה מתמטית, קיברנטיקה עריכת הנתון בוויקינתונים
מקום קבורה רחובות עריכת הנתון בוויקינתונים
מקום לימודים
  • Ion Creangă Pedagogical State University
  • אוניברסיטת צ'רנוביץ עריכת הנתון בוויקינתונים
מוסדות
פרסים והוקרה
  • פרס האיגוד האירופי לתאוריה של מדעי המחשב (2011)
  • פרס האיגוד האירופי לתאוריה של מדעי המחשב (2011) עריכת הנתון בוויקינתונים
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

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

ביוגרפיה[עריכת קוד מקור | עריכה]

טרכטנברוט נולד בשנת 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

קישורים חיצוניים[עריכת קוד מקור | עריכה]

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ 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.
  2. ^ Boris Trakhtenbrot (1964). "Turing computations with logarithmic delay". Algebra and Logic (in Russian) 3 (4): 33–48.