Boris Trakhtenbrot

Boris Trakhtenbrot Avraamovich, and Boaz, Russian Борис Авраамович Трахтенброт, also written costume bread, ( born February 19, 1921 in Tirnova, Rajon Donduşeni ) is from the former Soviet Union ( Moldova) originating Israeli computer scientists and mathematical logician. He is a professor at the University of Tel Aviv.

Life and work

Trakhtenbrot 1950 at Pyotr Sergeyevich Novikov at the Institute of Mathematics of the Ukrainian Academy of Sciences PhD ( Entscheidbarkeitsprobleme for finite classes and definitions of finite sets, Russian). In the Soviet Union he worked in Akademgorodok (Novosibirsk ).

He proved in 1964 a basic set of complexity theory, the gap theorem of Borodin ( Gap Theorem ), but then in the West remained unnoticed and in 1972 found new by Allan Borodin, after which he was named. The theorem says roughly that there are arbitrarily large gaps in the hierarchy of complexity classes.

In 1950 he proved in his dissertation the set of Trakhtenbrot in the model theory and logic. He says that the problem of verification in order logic over the class of finite models is undecidable.

From the late 1950s coined the phrase of J. Büchi, Elgot C. (1958), and ( independent of both ) Trakhtenbrot on the equivalence of finite automata and monadic predicate logic stage 2 ( MSO).

In 2011 he received the EATCS Award.

Writings

• Boris costume bread algorithms and computing machines, Berlin, German Academic Publishers 1977
• Costume bread, Nathan Kobrinskij introduction to the theory of finite automata, Berlin, Akademie Verlag 1967
• Costume bread Why can expect machines: an introduction to the logical- mathematical foundations of program-controlled calculating machine, Berlin, German Academic Publishers 1962, 1968
• Trakhtenbrot, Ya. M. Barzdin Finite Automata. Behavior and Synthesis, North Holland 1973