WikiSort.ru - Не сортированное

Борис Авраамович Трахтенброт
Дата рождения	20 февраля 1921(1921-02-20)[1][2]
Место рождения	Бричева, Королевство Румыния
Дата смерти	19 сентября 2016(2016-09-19)[3][2] (95 лет)
Место смерти	Реховот, Израиль
Страна	Королевство Румыния  СССР  Израиль
Научная сфера	математическая логика и кибернетика
Место работы	Сибирское отделение Российской академии наук
Альма-матер	Государственный педагогический университет имени Иона Крянгэ Черновицкий национальный университет имени Юрия Федьковича
Учёная степень	доктор физико-математических наук
Учёное звание	профессор
Награды и премии	премия Европейской ассоциации теоретической информатики[d] (2011) премия Европейской ассоциации теоретической информатики[d] (2011)

Борис Авраамович Трахтенброт (также Борис Абрамович, англ. Boris (Boaz) Trachtenbrot, Trakhtenbrot, Trajtenbrot & Trahtenbrot, ивр. ‏בועז טרכטנברוט‏‎; 20 февраля 1921, Бричево, Сорокский уезд, Бессарабия — 19 сентября 2016, Реховот, Израиль) — советский и израильский математик в области математической логики, теории алгоритмов и кибернетики. Доктор физико-математических наук (1962), профессор (1963).

Один из начинателей теоретической информатики в СССР, видный теоретик в области дискретной математики и формальных языков, а также математической логики, электронных вычислительных машин, в особенности теории автоматов (см. теорему неразрешимости Трахтенброта и Щелевую теорему Трахтенброта—Бородина).

Биография

Борис Трахтенброт (первоначально Трахтенбройт) родился в бессарабской еврейской земледельческой колонии Бричево (ныне Дондюшанского района Молдавии) в 1921 году в семье Абрама Трахтенбройта, в 1941 году высланного на поселение и принудительные работы в Сибирь.^[4] Учился в начальной школе в Бричево, потом в Бельцах и в мужской гимназии в Сороках (окончил последнюю в 1939 году).^[5][6]

В 1940 году поступил на физико-математическое отделение Кишинёвского педагогического института. В начале июля 1941 года Б. А. Трахтенброту удалось бежать из осаждённого города и попасть в Чкалов, где он продолжил обучение в местном педагогическом институте, а через год перевёлся обратно в эвакуированный в Бугуруслан Кишинёвский педагогический институт. Одновременно работал на обувной фабрике, затем на строительстве газовой магистрали между Бугурусланом и Куйбышевом. В августе 1944 года вместе с педагогическим институтом вернулся в Кишинёв. Получив диплом об окончании института в 1945 году работал учителем в Бельцах. Приняв решение серьёзно заняться математикой, в том же году поступил на физико-математический факультет в Черновицкий университет, где слушал лекции по теории вероятностей Александра Боброва. В 1947 году окончил математический факультет Черновицкого университета и поступил в аспирантуру в Институт математики Академии наук Украинской ССР в Киеве. Специализировался в математической логике под руководством П. С. Новикова, защитил диссертацию в 1950 году.

В 1950—1958 годах работал в Пензенском педагогическом институте, в 1958—1960 годах — в Пензенском политехническом институте^[7]. С 1960 года — в Институте математики Сибирского отделения Академии Наук СССР (Новосибирский Академгородок) и в Новосибирском государственном университете (с 1963 года — профессор, заведующий отделом).

После переезда в Израиль в декабре 1980 года — профессор отделения точных и компьютерных наук Тель-Авивского университета (с 1991 года — professor emeritus). Член редколлегии журнала «Information and Computation» (Elsevier).

Публиковаться начал в 1950 году (представлена и доказана теорема неразрешимости Трахтенброта) и тогда же защитил кандидатскую диссертацию в Институте математики Украинской Академии Наук (Киев) по теме «Разрешимость проблем для конечных классов и определения конечных классов» под научным руководством профессора (впоследствии академика) П. С. Новикова.^[8] Первая же монография математика («Алгоритмы и машинное решение задач», в 2-х изданиях — 1957 и 1960) была переведена на болгарский, английский, французский (оба издания), чешский, японский (оба издания), испанский (оба издания), итальянский, турецкий, немецкий и польский языки. Монографии «Введение в теорию конечных автоматов» (1962), «Конечные автоматы: поведение и синтез» (1970) и «Алгоритмы и вычислительные автоматы» (1974) также были переведены на несколько иностранных языков.

В 2008 году в серии «Столпы компьютерных наук» (Pillars of Computer Science) издательства Springer Verlag вышел сборник научных статей в честь 85-летия Б. А. Трахтенброта. Среди учеников и соавторов Б. А. Трахтенброта — Янис Барздинь (р. 1937)^[9].

Семья

• Жена (с 1947 года) — Берта Исааковна Трахтенброт (урождённая Рабинович; 1921, Атаки — 2013, Реховот).
  • Сын — Марк Борисович Трахтенброт (род. 1950), математик в области формальных методов спецификации и тестирования сложных систем, сотрудник Отдела программирования ВЦ СО АН (1971—1984), учёный секретарь Научного совета Вычислительного Центра Сибирского отделения АН СССР в Новосибирске^[10], заведующий отделом компьютерных наук в Холонском институте технологии (Израиль, 2006—2009).
  • Сын — Иосиф Борисович Трахтенброт (род. 1952), специалист в разработке больших программных систем.

Также

• Trakhtenbrot’s theorem (1950)
• Gap theorem (1964)

Библиография

См. частичную библиографию здесь  (недоступная ссылка с 13-05-2013 [2101 день] — история).

Примечания

Ссылки

• Страница Б. Трахтенброта на сайте Тель-Авивского университета  (англ.)
• Подробный обзор теоремы Трахтенброта
• Слева направо: А. А. Марков, В. А. Успенский, С. А. Адян, Б. А. Трахтенброт. Стоит: А. С. Есенин-Вольпин. Москва, 1950  (недоступная ссылка с 13-05-2013 [2101 день] — история)
• List of publications from the DBLP Bibliography Server  (англ.)