Российско-израильский математик
Борис (Воаз) Абрамович Трахтенброт ( русский : Борис Авраамович Трахтенброт , иврит : בועז טרכטנברוט ; 19 февраля 1921 — 19 сентября 2016) — российско-израильский математик в области логики , алгоритмов , теории вычислений и кибернетики .
Биография
Трахтенброт родился в еврейской семье в Бричево , на севере Бессарабии (ныне Тырново, Молдова ). [1] Он учился в Молдавском государственном педагогическом институте в Кишиневе , Черновицком университете и Математическом институте Украинской академии наук , защитив докторскую диссертацию в последнем учреждении в 1950 году. [2]
Он работал в Академгородке , Новосибирск в 1960-х и 1970-х годах. [3] [4] В 1964 году Трахтенброт открыл и доказал фундаментальный результат в теоретической информатике, названный теоремой о зазоре . [5] Он также открыл и доказал теорему в логике , теории моделей и теории вычислимости , теперь известную как теорема Трахтенброта . [6]
После иммиграции в Израиль в 1981 году он стал профессором факультета точных наук Тель -Авивского университета и оставался почетным профессором до самой смерти. Он умер 19 сентября 2016 года в возрасте 95 лет. [2] [7]
Примечания
- ^ "Фамилии на букву Т". Российская еврейская энциклопедия . Перевод: Чарный, Иосиф; Чарный, Виталий. Москва. 1995. Архивировано из оригинала 15 апреля 2003 года.
{{cite encyclopedia}}: CS1 maint: отсутствует местоположение издателя ( ссылка ) - ^ ab "Boaz (Boris) Trakhtenbrot, 1921–2016". Факультет точных наук . Тель-Авивский университет. Архивировано из оригинала 6 марта 2021 г.
- ^ Борис Абрамович Трахтенброт [Борис А. Трахтенброт]. Архив академика А.П. Ершова (на русском языке). Архивировано из оригинала 26 июля 2011 года.
- ^ «История вычислительной техники в России» Борис Авраамович Трахтенброт [Борис Авраамович Трахтенброт] (на русском языке). Архивировано из оригинала 29 апреля 2008 года . Проверено 22 января 2008 г.
- ↑ Борис Трахтенброт (1964). «Вычисления Тьюринга с логарифмической задержкой». Алгебра и логика . 3 (4): 33–48.
- ↑ Борис Трахтенброт (1950). «Невозможность алгоритма для проблемы разрешимости на конечных классах». Известия Академии наук СССР . 70 (4): 569–572.
- ^ Фишер, Лоуренс М. (21 сентября 2016 г.). "Памяти Бориса Трахтенброта, 1921-2016". Сообщения ACM . Ассоциация вычислительной техники .
Внешние ссылки
- Борис А. Трахтенброт на сервере библиографии DBLP
- Столпы компьютерной науки. Эссе, посвященные Борису (Боазу) Трахтенброту по случаю его 85-летия]. Конспект лекций по компьютерной науке . Том 4800. Springer. 2008.
