"איש גיבור חיל... ושמו בעז" 

מגילת רות (ב, 1)

בועז טרכטנברוט — חוקר דגול, מחנך נפלא, חכם ונבון, בנאדם נדיב — אינו. הוא נפטר בגיל תשעים-וחמש ב-19 לספטמבר 2016.

טרכטנברוט קיבל אישור לעלות ארצה בשנת 1980, והגיע הישר לאוניברסיטת תל-אביב, לבית הספר למתמטיקה, שם נרתם לבנות ולטפח את החוג למדעי מחשב, ובפרט את הצד הלוגי והסמנטי.

טרכטנברוט מוכר ומהולל בעולם המדע בעיקר כמייסד תורת המודלים הסופיים בלוגיקה, כמפיץ תורת האוטומטים הסופיים, וכאחד ממייסדי תחום סיבוכיות החישוב. לא פחות משלושה משפטים מתמטיים העומדים בבסיס ובמרכז של מדעי מחשב התיאורטיים נושאים את שמו:

• משפט טרכטנברוט: שום תהליך פורמלי אינו יכול להוכיח את כל הטענות שנכונות בכל עולם סופי.

• משפט הפערים של בורודין וטרכטנברוט: יש פערים עצומים בין מחלקות סיבוכיות.

• משפט בוכי-אלגוט-טרכטנברוט: ללוגיקה מונאדית ולאוטומטים סופיים אותו כח ביטוי.

למרות תלאות מלחמת העולם ורדיפות רבות בהיותו יהודי ובהיותו לוגיקאי (בשעתו, תחום נתעב מאחורי מסך הברזל), פעל הרבה מאוד, יצר הרבה מאוד, והספיק הרבה מאוד. הוא כתב כמאה ספרים, ספרי לימוד, ומאמרים. הוא הנחה ששה-עשר דוקטורנטים ודוקטורנטיות, ביניהם גדולי מדעני המחשב בברית המועצות לשעבר. אלפים אחרים התחנכו על ברכי ספריו. הוא גם עזר בייסוד מחלקות למדעי מחשב בלטביה, ביינה שבגרמניה המזרחית, ובירוואן שבארמניה. גם לאחר שפרש לגמלאות בגיל שבעים, לא חדל מלחקור, מלהשתתף בסמינרים, ומלכתוב מאמרים וסקירות.

טרכטנברוט עטור פרסים וכיבודים מדעיים על הישגיו. ב-1991, לקראת פרישתו, ארגנו חברי החוג ימי עיון לכבודו, ובאו עמיתים מכל קצווי תבל. לציון שנתו השמונים, התבקש לשאת את הרצאת המפתח בכנס הגדול המשותף SIGACT/ICALP  שהתקיים בכרתים. כעבור עוד חמש שנים, ארגנו עוד יום עיון, ויצא ספר יובל מפואר לכבודו עם מאמרים ממיטב מדעני עולם. ולפני חמש שנים, בהיותו בן תשעים, קיבל את הפרס היוקרתי של האיגוד האירופי למדעי מחשב תיאורטיים (EATCS) על תרומותיו הרבות.

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

יהי זכרו ברוך.

In Memoriam: Boris Trakhtenbrot, 1921-2016

Boris (Boaz) Avraamovich Trakhtenbrot, an Israeli and Russian mathematician who worked in the areas of mathematical logic, algorithms, theory of computation and cybernetics, passed away Sept. 19 at the age of 95.

Trakhtenbrot was born Feb. 20, 1921 in Bricheva, a village in Northern Bessarabia (now known as Moldova).  He attended high school in the neighboring towns of Belts and Soroka, and in 1940 enrolled in the Faculty of Physics and Mathematics of the Moldovian Pedagogical Institute in Kishinev. After than city was bombed at the outset of World War II in June 1941, he relocated to Chkalov (now Orenburg), and enrolled in the local pedagogical institute. In 1942, he and his family move to Buguruslan, but his studies were often interrupted during the war years.

In 1945, having passed the exams to qualify to teach high school math, Trakhtenbrot enrolled in the University of Chernovsty (Ukraine) to pursue the equivalent of a master’s degree, which he received in 1947. He spent the next three years studying mathematical logic and computability at the Kiev Mathematics Institute of the Ukrainian Academy of Sciences, where he received his Ph.D. in 1950. He also received a (Soviet) Doctor of Sciences degree in 1962.

From 1950 to 1960, Trakhtenbrot held positions at the Pedagogical and Polytechnic Institutes of Penza, Russia.

From 1960 to 1980, he conducted research at the Mathematical Institute of the USSR Academy of Sciences’ Siberian branch, and lectured at Novosibirsk State University in Akademgorodok, Novosibirsk. He joined Novosibirsk’s Department of Theoretical Cybernetics when it was launched in 1961, and worked there with J.M. Barzdin on the basic concepts of computational complexity.

After immigrating to Israel in 1981, he became a professor of computer science at Tel Aviv University. In the years before his retirement in 1991, he also visited and collaborated with many Western universities and research centers.

In 1964, Trakhtenbrot discovered and proved a fundamental result in theoretical computer science called the Gap theorem, regarding the complexity of computable functions.He also discovered and proved what is now called Trakhtenbrot's theorem, which states the problem of validity in first-order logic (FO) on the class of all finite models is undecidable, and that the class of valid sentences over finite models is not recursively enumerable (though it is co-recursively enumerable). The theorem was first published in 1950, in the paper "The Impossibility of an Algorithm for the Decidability Problem on Finite Classes."

In 2011, the European Association for Theoretical Computer Science (EATCS) awarded Trakhtenbrot, then about to turn 90, its annual Distinguished Achievements Award. The organization described him as "unquestionably a principal founding father of the discipline of computer science, a preeminent distinguished researcher, and a most illustrious leader and disseminator," as well as "a grand visionary who pioneered many fascinating directions and concepts, which have had enormous impact."

Further, the organization said, "for over half a century, Trakhtenbrot has been making seminal contributions to virtually all of the central aspects of theoretical computer science, inaugurating numerous brand-new areas of investigation. The list of topics in which Trakhtenbrot has made his lasting mark is breathtaking in its scope: decidability problems in logic and schematology of programs, finite automata theory, the connection between infinite automata and monadic second-order logic, complexity of algorithms, abstract complexity, algorithmic logic, probabilistic computation, program verification, the lambda calculus and foundations of programming languages, programming semantics, and much more. The entire body of his work demonstrates the same unique melding of supreme mathematical prowess, combined with profound depth and thoroughness. His operative style has always been patient in-depth survey of existing literature, uncompromising evaluation and critical comparison of existing approaches, followed by extraordinary and prescient contributions.

"…Trankhtenbrot’s contributions are astounding under any measure; his undaunted spirit should be heralded as an inspiration to the rest of the world."

Trakhtenbrot published about 100 papers and four books:

• Introduction to the Theory of Finite Automata (co-authored with N.E. Kobrinski);
• Algorithms and Automatic Computing Machines;
• Complexity of Algorithms and Computations, and
• Finite Automata: Behavior and Synthesis (co-authored with J.M. Barzdin).

He married Berta I. Rabinovich in 1947; she passed away in 2013. They had two sons, Mark (who was part of a team that received the ACM Software System Award for 2007) and Yossef, and five grandchildren.

Lawrence M. Fisher is Senior Editor/News for ACM Magazines.

http://cacm.acm.org/news/207650-in-memoriam-boris-trakhtenbrot-1921-2016/fulltext