ТРАХТЕНБРОТ  

БОРИС  АВРААМОВИЧ

р. 20 февраля 1921, Бричево Сорокского у., Бессарабия

Математик в области математической логики, теории алгоритмов и кибернетики.

Родился в семье Абрама Трахтенбройта, в 1941 году высланного на поселение и принудительные работы в Сибирь. В 1947 году окончил математический факультет Черновицкого университета. В 1950—1958 годах работал в Пензенском педагогическом институте, в 1958—1960 годах — в Пензенском политехническом институте. С 1960 года — в Институте математики Сибирского отделения Академии Наук СССР (Новосибирский Академгородок) и в Новосибирском государственном университете. После переезда в Израиль в декабре 1980 года — профессор отделения точных и компьютерных наук Тель-Авивского университета. Член редколлегии журнала «Information and Computation». Б. А. Трахтенброт — один из начинателей теоретической информатики в СССР, видный теоретик в области дискретной математики и формальных языков, а также математической логики, электронных вычислительных машин, в особенности теории автоматов. Публиковаться начал в 1950 году (представлена и доказана теорема неразрешимости Трахтенброта) и тогда же защитил кандидатскую диссертацию в Институте математики Украинской Академии Наук по теме «Разрешимость проблем для конечных классов и определения конечных классов» под научным руководством профессора П. С. Новикова. Первая же монография математика («Алгоритмы и машинное решение задач», в 2-х изданиях — 1957 и 1960) была переведена на болгарский, английский, французский, чешский, японский, испанский, итальянский, турецкий, немецкий и польский языки. Монографии «Введение в теорию конечных автоматов» (1962), «Конечные автоматы: поведение и синтез» (1970) и «Алгоритмы и вычислительные автоматы» (1974) также были переведены на несколько иностранных языков. В 2008 году в серии «Столпы компьютерных наук» (Pillars of Computer Science) издательства Springer Verlag вышел сборник научных статей в честь 85-летия Б. А. Трахтенброта. [монографии]