Трахтенброт Борис Авраамович
Борис Трахтенброт является израильским и советским математиком в области кибернетики, теории алгоритмов и математической логики. В 1962 году ему была присвоена докторская степень физико-математических наук, а в 1963 году - профессорская.
Борис Трахтенброт является одним из основателей теоретической информатики в СССР. Внес значительный вклад в области развития формальных языков, дискретной математики, электронных вычислительных машин, математической логики и теории автоматов.
Работы Трахтенброта начали публиковаться в 1950 году. Первой опубликованным изданием стала работа о теореме неразрешимости с подробным ее описанием и доказательством. В 1950 году Трахтенброт защитил кандидатскую диссертацию по теме «Разрешимость проблем для конечных классов и определения конечных классов». Руководителем по диссертации был профессор-академик П. С. Новиков. Первой монографией Трахтенброта стало 2-х томное издание «Алгоритмы и машинное решение задач». Издания были переведены на французский, японский, чешский, польский, итальянский, болгарский и английский языки. В период с 1962 по 1974 год были опубликованы еще несколько больших работ математика, которые также были переведены на иностранные языки. В 2008 году в честь 85-летия математика вышел сборник его научных статей «Столпы компьютерных наук».
Сын Трахтенброта тоже стал математиком, только в несколько другой области.