Войти
Борис (Боаз) Авраамович Трахтенброт (Русский : Борис Авраамович Трахтенброт ; 19 февраля 1921-19 сентября 2016), или Вооз (Борис) Трахтенброт (иврит: בועז טרכטנברוט) был израильтянином и русским математик в математической логике, алгоритмах, теории вычислений и кибернетике s. Трахтенброт родился в Бричево северной Бессарабии. Работал в Академгородке, Новосибирске в 1960-1970-х гг. После иммиграции в Израиль в 1981 году он стал профессором факультета точных наук Тель-Авивского университета, где он был заслуженным профессором до самой смерти.
В 1964 году Трахтенброт открыл и доказал фундаментальный результат теоретической информатики, названный теоремой Гэпа. Он также открыл и доказал то, что сейчас называется теоремой Трахтенброта, которая является теоремой из логики, теории моделей и теории вычислимости. Умер 19 сентября 2016 года в возрасте 95 лет.
.
