Boris Trakhtenbrot was a prominent Soviet mathematician known for his contributions to various fields, including mathematical logic and computer science. He was particularly noted for his work on the theory of algorithms and the foundations of mathematics. One of his significant contributions is the development of algorithms for decision problems and his work on the theory of automata.
Articles by others on the same topic
There are currently no matching articles.