Трахтенброт, Борис Авраамович

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Биография[править | править исходный текст]

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

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

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

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

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

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

Сын Б. А. Трахтенброта — Марк Борисович Трахтенброт — математик в области формальных методов спецификации и тестирования сложных систем, сотрудник Отдела программирования ВЦ СО АН (1971—1984), учёный секретарь Научного совета Вычислительного Центра Сибирского отделения АН СССР в Новосибирске (второй справа (недоступная ссылка с 13-05-2013 (339 дней))), ныне заведующий отделом компьютерных наук в Холонском институте технологии (Израиль).

Также[править | править исходный текст]

Библиография[править | править исходный текст]

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

Монографии[править | править исходный текст]

  • Введение в теорию конечных автоматов (совместно с Н. Е. Кобринским). Физматгиз (Государственное издательство физико-математической литературы): Москва, 1962.
  • Сложность алгоритмов и вычислений (лекции). Новосибирский Государственный университет: Новосибирск, 1967.
  • Конечные автоматы (поведение и синтез, совместно с Я. М. Барздинем). Наука: Москва, 1970.
  • Алгоритмы и вычислительные автоматы. Советское радио: Москва, 1974.
  • Selected Developments in Soviet Mathematical Cybernetics. Delphic Associated: Вашингтон, 1985.
  • Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (см. электронное издание здесь). Lecture Notes in Computer Science (Введение: From Logic to Theoretical Computer Science, стр. 1—39). Springer: Нью-Йорк, 2008.

Примечания[править | править исходный текст]

  1. Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (см. электронное издание здесь). Springer: Нью-Йорк, 2008
  2. Б. А. Трахтенброт. Вспоминая об Алексее Андреевиче (пятидесятые годы)

Ссылки[править | править исходный текст]