Boris Trakhtenbrot, Russian-Israeli mathematician, Died at 95


Boris (Boaz) Avraamovich Trakhtenbrot was born on February 19, 1921, in Brichevo, northern Bessarabia and died on September 19, 2016.

He was an Israeli and Russian mathematician in mathematical logic, algorithms, theory of computation and cybernetics.

Boris Trakhtenbrot worked at Akademgorodok, Novosibirsk during the 1960s and 1970s.

When he moved to Israel in 1981, Boris became a professor in the faculty of Exact sciences of Tel Aviv University, where he was professor emeritus until his death.

During 1964 Trakhtenbrot discovered and proved a fundamental result in theoretical computer science called the Gap theorem.

Boris Trakhtenbrot also discovered and proved what is now called Trakhtenbrot’s theorem which is a theorem in logic, model theory, and computability theory.

Boris Trakhtenbrot passed away at 95 years old.