Борис (Боаз) Авраамович Трахтенброт ( русский : Борис Авраамович Трахтенброт ; 19 февраля 1921-19 сентября 2016), или Боаз (Борис) Трахтенброт (иврит: בועז טרכטנברוט ) был израильским и российским математиком в области математической логики , алгоритмов , теории вычислений. , и кибернетика . Трахтенброт родился в Бричево на севере Бессарабии . [1] [2] Он работал в Академгородке , Новосибирск в 1960 - х и 1970 - х годов. [3] После того, как иммигрировать в Израиль в 1981 году, он стал профессором на факультете точных наук в Тель - Авивском университете , где он был почетным профессором до его смерти.
В 1964 году Трахтенброт открыл и доказал фундаментальный результат теоретической информатики, названный теоремой Гэпа . [4] Он также обнаружил и доказал , что сейчас называется теоремой Трахтенбротом в [5] , которая является теоремой в логике , теории моделей и теории вычислимости . Он умер 19 сентября 2016 года в возрасте 95 лет. [6] [7]
Заметки [ править ]
- ^ "Российская еврейская энциклопедия> Фамилии на букву Т" .
- ^ "Архив академика Андрея Ершова> Документы> Борис Александрович Трахтенброт" . Архивировано из оригинала на 2011-07-26.
- ^ "История вычислительной техники в России> Авторы> Борис Авраамович Трахтенброт" . Архивировано из оригинала на 2008-04-29 . Проверено 22 января 2008 .
- ↑ Борис Трахтенброт (1964). «Вычисления Тьюринга с логарифмической задержкой». Алгебра и логика . 3 (4): 33–48.
- ↑ Борис Трахтенброт (1950). «Невозможность алгоритма решения проблемы разрешимости на конечных классах». Известия Академии наук СССР . 70 (4): 569–572.
- ^ http://www.iis.nsk.su/
- ^ В Memoriam: Трахтенброт, 1921-2016
Внешние ссылки [ править ]
- (на русском языке ) Alib.ru: Поиск книг: Трахтенброт .
- Борис Трахтенброт в Тель-Авивском университете.
- Борис А. Трахтенброт на сервере библиографии DBLP
- Список публикаций Боаза Трахтенброта на сайте симпозиума, посвященного его 85-летию (28 апреля 2006 г.).
- Основы информатики, Очерки Борису (Боазу) Трахтенброту к 85-летию со дня рождения . Конспект лекций по информатике 4800 Springer 2008.
- Борис А. Трахтенброт на проекте « Математическая генеалогия»
