Boris Trakhtenbrot

Boris (Boaz) Avraamovich Trakhtenbrot (Russian: Борис Авраамович Трахтенброт; 19 February 1921 – 19 September 2016), or Boaz (Boris) Trakhtenbrot (Hebrew: בועז טרכטנברוט‎) was an Israeli and Russian mathematician in mathematical logic, algorithms, theory of computation, and cybernetics. Trakhtenbrot was born in Brichevo, northern Bessarabia.[1][2] He worked at Akademgorodok, Novosibirsk during the 1960s and 1970s.[3] After immigrating to Israel in 1981, he became a professor in the faculty of Exact sciences of Tel Aviv University, where he was professor emeritus until his death.

In 1964 Trakhtenbrot discovered and proved a fundamental result in theoretical computer science called the Gap theorem.[4] He also discovered and proved what is now called Trakhtenbrot's theorem[5] which is a theorem in logic, model theory, and computability theory. He died on 19 September 2016, aged 95.[6][7]

Notes
  1. "Russian Jewish Encyclopedia > Surnames starting with the letter T".
  2. "Academician Andrei Ershov's archive > Documents > Boris A. Trakhtenbrot". Archived from the original on 2011-07-26.
  3. "History of Computing in Russia > Authors > Boris Avraamovich Trahtenbrot" (in Russian). Archived from the original on 2008-04-29. Retrieved 2008-01-22.
  4. Boris Trakhtenbrot (1964). "Turing computations with logarithmic delay". Algebra and Logic (in Russian). 3 (4): 33–48.
  5. 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.
  6. http://www.iis.nsk.su/
  7. In Memoriam: Boris Trakhtenbrot, 1921-2016


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.