Boris Trakhtenbrot

Academic backgroundAlma materUkrainian Academy of ScienceThesisDecidability Problems for Finite Classes and Definitions of Finite Sets (1950)Doctoral advisorPyotr NovikovAcademic workInstitutions

Boris (Boaz) Abramovich Trakhtenbrot (Russian: Борис Авраамович Трахтенброт, Hebrew: בועז טרכטנברוט; 19 February 1921 – 19 September 2016) was a Russian-Israeli mathematician in logic, algorithms, theory of computation, and cybernetics.

Biography

Trakhtenbrot was born into a Jewish family in Brichevo, northern Bessarabia (now Tîrnova, Moldova).^[1] He studied at the Moldovan State Pedagogical Institute in Kishinev, Chernivtsi University, and the Ukrainian Academy of Science's Mathematical Institute, completing a Ph.D. at the latter institution in 1950.^[2]

He worked at Akademgorodok, Novosibirsk during the 1960s and 1970s.^[3][4] In 1964 Trakhtenbrot discovered and proved a fundamental result in theoretical computer science called the gap theorem.^[5] He also discovered and proved the theorem in logic, model theory, and computability theory now known as Trakhtenbrot's theorem.^[6]

After immigrating to Israel in 1981, he became a professor in the Faculty of Exact Sciences at Tel Aviv University, and continued as professor emeritus until his death. He died on 19 September 2016, at the age of 95.^[2][7]

Notes

External links

• Boris A. Trakhtenbrot at DBLP Bibliography Server
• Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday]. Lecture Notes in Computer Science. Vol. 4800. Springer. 2008.