I read several articles about mathematical logic these days. Finally, I just found some work done by Boris. Record the intro here.

Boris (Boaz) Avraamovich Trakhtenbrot (RussianБорис Авраамович Трахтенброт; 19 February 1921 – 19 September 2016), or Boaz (Boris) Trakhtenbrot (Hebrew: בועז טרכטנברוט‎) was an Israeli and Russian mathematician in mathematical logicalgorithmstheory of computation, and cybernetics. Trakhtenbrot was born in Brichevo, northern Bessarabia.[1][2] He worked at AkademgorodokNovosibirsk during the 1960s and 1970s.[3] After immigrating to Israel in 1981, he became a professor in the faculty of Exact sciences of Tel Aviv University, where he was professor emeritus until his death.

In 1964 Trakhtenbrot discovered and proved a fundamental result in theoretical computer science called the Gap theorem.[4] He also discovered and proved what is now called Trakhtenbrot’s theorem[5] which is a theorem in logicmodel theory, and computability theory. He died on 19 September 2016, aged 95.[6][7]

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s