Boris (Boaz) Avraamovich Trakhtenbrot (; Brichevo, – ) ou Boaz (Boris) Trakhtenbrot () foi um matemático russo-israelense.
Seus campos de trabalho são lógica matemática, algoritmo, teoria da computação e cibernética. Trabalhou na Akademgorodok, Novosibirsk, durante as décadas de 1960 e 1970. Foi professor da Faculdade de Ciências Exatas da Universidade de Tel Aviv.
Em 1964 Trakhtenbrot descobriu e provou um resultado fundamental em ciência da computação teórica denominado teorema do intervalo. Ele também descobriu e provou o que é atualmente conhecido como teorema de Trakhtenbrot que é um teorema em lógica, teoria dos modelos e teoria da computabilidade.
Morreu em 19 de setembro de 2016, aos 95 anos.
Ver também Teorema do intervalo Teorema de Trakhtenbrot
Ligações externas
Alib.ru: Search books: Трахтенброт. Boris Trakhtenbrot at the 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.
Categoria:Professores da Universidade de Tel Aviv Categoria:Cientistas da computação de Israel Categoria:Matemáticos de Israel Categoria:Matemáticos da União Soviética Categoria:Judeus de Israel Categoria:Judeus da Bessarábia