Boris (Boaz) Avraamovich Trakhtenbrot (Russian: Борис Авраамович Трахтенброт; born 19 February 1921 in Brichevo, northern Bessarabia) or Boaz (Boris) Trakhtenbrot (Hebrew: בועז טרכטנברוט) is an Israeli and Russian mathematician in mathematical logic, algorithms, theory of computation and cybernetics. He worked at Akademgorodok, Novosibirsk during the 1960s and 1970s. Currently he is a professor in the faculty of Exact sciences of Tel Aviv University.
In 1964 Trakhtenbrot discovered and proved a fundamental result in theoretical computer science called the Gap theorem. He also discovered and proved what is now called Trakhtenbrot's theorem which is a theorem in logic, model theory, and computability theory.
- "Russian Jewish Encyclopedia > Surnames starting with the letter T".
- "Academician Andrei Ershov's archive > Documents > Boris A. Trakhtenbrot".
- "History of Computing in Russia > Authors > Boris Avraamovich Trahtenbrot" (in Russian).
- Boris Trakhtenbrot (1964). "Turing computations with logarithmic delay". Algebra and Logic (in Russian) 3 (4): 33–48.
- 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.
- (Russian) Alib.ru: Search books: Трахтенброт.
- Boris Trakhtenbrot at Tel Aviv University.
- DBLP: Boris A. Trakhtenbrot.
- List of publications of Boaz Trakhtenbrot at the site of his 85th birthday symposium (28 April 2006).
- Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Lecture Notes in Computer Science 4800 Springer 2008.
- Boris Trakhtenbrot at the Mathematics Genealogy Project
|This article about an Israeli scientist is a stub. You can help Wikipedia by expanding it.|
|This article about an Asian mathematician is a stub. You can help Wikipedia by expanding it.|
|This article about a Russian mathematician is a stub. You can help Wikipedia by expanding it.|