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

Борис (Боаз) Абрамович Трахтенброт ( русский : Борис Авраамович Трахтенброт , иврит : בועז טרכטנברוט ; 19 февраля 1921-19 сентября 2016) был российско-израильским математиком в области логики , алгоритмов , теории вычислений и кибернетики .

биография

Трахтенброт родился в селе Бричево на севере Бессарабии (ныне Тырнова, Молдова ). Учился в Молдавском государственном педагогическом институте в Кишиневе , Черновицком университете и Математическом институте Украинской академии наук , получив степень доктора философии. в последнем учреждении в 1950 г.

Он работал в Академгородке , Новосибирск в 1960 - х и 1970 - х годов. В 1964 году Трахтенброт открыл и доказал фундаментальный результат теоретической информатики, названный теоремой о разрыве . Он также обнаружил и доказал теорему в логике , теории моделей и теорию вычислимости теперь известную как теорема Трахтенброта в .

После того, как иммигрировать в Израиль в 1981 году, он стал профессором на факультете точных наук в Тель - Авивском университете , и продолжал как почетный профессор до его смерти. Он умер 19 сентября 2016 года в возрасте 95 лет.

Примечания

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

• Борис А. Трахтенброт на сервере библиографии DBLP
• Основы компьютерных эссе, посвященных Борису (Боазу) Трахтенброту к 85-летию со дня рождения . Конспект лекций по информатике . 4800 . Springer. 2008 г.
• Борис А. Трахтенброт на проекте « Математическая генеалогия»

Эта статья об израильском ученом - незавершенная . Вы можете помочь Википедии, расширив ее .

• v
• т
• е

Эта статья о русском математике - незавершенная . Вы можете помочь Википедии, расширив ее .

• v
• т
• е