Борис Трахтенброт - Boris Trakhtenbrot

Борис (Боаз) Авраамович Трахтенброт (русский: Борис Авраамович Трахтенброт; 19 февраля 1921 - 19 сентября 2016), или Боаз (Борис) Трахтенброт (Иврит: בועז טרכטנברוט) Был израильтянином и русским математик в математическая логика, алгоритмы, теория вычислений, и кибернетика. Трахтенброт родился в г. Бричево, северный Бессарабия.[1][2] Он работал в Академгородок, Новосибирск в течение 1960-х и 1970-х годов.[3] После иммиграции в Израиль в 1981 году он стал профессором факультета Точные науки из Тель-авивский университет, где он был Заслуженный профессор в отставке до его смерти.

В 1964 г. Трахтенброт открыл и доказал фундаментальный результат в теоретическая информатика называется Теорема о разрыве.[4] Он также открыл и доказал то, что сейчас называется Теорема Трахтенброта[5] что является теоремой в логика, теория моделей, и теория вычислимости. Он умер 19 сентября 2016 года в возрасте 95 лет.[6][7]

Заметки

  1. ^ "Российская еврейская энциклопедия> Фамилии на букву Т".
  2. ^ "Архив академика Андрея Ершова> Документы> Борис Александрович Трахтенброт". Архивировано из оригинал на 2011-07-26.
  3. ^ "История информатики в России> Авторы> Борис Авраамович Трахтенброт" (по-русски). Архивировано из оригинал на 2008-04-29. Получено 2008-01-22.
  4. ^ Борис Трахтенброт (1964). «Вычисления Тьюринга с логарифмической задержкой». Алгебра и логика (по-русски). 3 (4): 33–48.
  5. ^ Борис Трахтенброт (1950). «Невозможность алгоритма решения проблемы разрешимости на конечных классах». Известия АН СССР. (по-русски). 70 (4): 569–572.
  6. ^ http://www.iis.nsk.su/
  7. ^ Памяти: Бориса Трахтенброта, 1921-2016 гг.

внешние ссылки