Boris Trakhtenbrot
Encyclopedia
Boris Avraamovich Trakhtenbrot ' onMouseout='HidePop("63837")' href="/topics/Bessarabia">Bessarabia
) or Boaz (Boris) Trakhtenbrot is an Israel
i and Russia
n mathematician
in mathematical logic
, algorithms, theory of computation
and cybernetics
. He worked at Akademgorodok
, Novosibirsk
during the 1960s and 1970s. Currently he is a professor in the faculty of Exact sciences of the Tel-Aviv University.
In 1964 Trakhtenbrot stated and proved a fundamental result in Theoretical Computer Science
called the Gap theorem
.
Bessarabia
Bessarabia is a historical term for the geographic region in Eastern Europe bounded by the Dniester River on the east and the Prut River on the west....
) or Boaz (Boris) Trakhtenbrot is an Israel
Israel
The State of Israel is a parliamentary republic located in the Middle East, along the eastern shore of the Mediterranean Sea...
i and Russia
Russia
Russia or , officially known as both Russia and the Russian Federation , is a country in northern Eurasia. It is a federal semi-presidential republic, comprising 83 federal subjects...
n mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
in mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
, algorithms, theory of computation
Theory of computation
In theoretical computer science, the theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm...
and cybernetics
Cybernetics
Cybernetics is the interdisciplinary study of the structure of regulatory systems. Cybernetics is closely related to information theory, control theory and systems theory, at least in its first-order form...
. He worked at Akademgorodok
Akademgorodok
Akademgorodok , is a part of the Russian city Novosibirsk, located 20 km south of the city center. It is the educational and scientific centre of Siberia...
, Novosibirsk
Novosibirsk
Novosibirsk is the third-largest city in Russia, after Moscow and Saint Petersburg, and the largest city of Siberia, with a population of 1,473,737 . It is the administrative center of Novosibirsk Oblast as well as of the Siberian Federal District...
during the 1960s and 1970s. Currently he is a professor in the faculty of Exact sciences of the Tel-Aviv University.
In 1964 Trakhtenbrot stated and proved a fundamental result in Theoretical Computer Science
Theoretical Computer Science
The term Theoretical Computer Science may refer to:*The field of theoretical computer science.*Theoretical Computer Science , a journal covering this field....
called the Gap theorem
Gap theorem
In computational complexity theory the Gap Theorem is a major theorem about the complexity of computable functions.It essentially states that there are arbitrarily large computable gaps in the hierarchy of complexity classes...
.
External links
Alib.ru: Search books: Трахтенброт.- Boris Trakhtenbrot at the Tel-Aviv University.
- DBLP: Boris A. Trakhtenbrot.
- List of publications of Boaz Trakhtenbrot at the site of his 85th birthday symposium (28 April 2006).
- Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Lecture Notes in Computer ScienceLecture Notes in Computer ScienceLecture Notes in Computer Science is a series of computer science books that has been published by Springer Science+Business Media since 1973....
4800 SpringerSpringer Science+Business Media- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
2008.