Boris Trakhtenbrot

From Wikipedia, the free encyclopedia

Boris (Boaz) Avraamovich Trakhtenbrot (Russian: Борис Авраамович Трахтенброт; born February 19, 1921, in Brichevo, northern Bessarabia)[1][2] 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.[3] 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.[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.

See also

Notes

  1. "Russian Jewish Encyclopedia > Surnames starting with the letter T". 
  2. "Academician Andrei Ershov's archive > Documents > Boris A. Trakhtenbrot". 
  3. "History of Computing in Russia > Authors > Boris Avraamovich Trahtenbrot" (in Russian). 
  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. 

External links


This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.