Boris Trakhtenbrot
Boris (Boaz) Avraamovich Trakhtenbrot (Russian: Борис Авраамович Трахтенброт; born 19 February 1921 in Brichevo, northern Bessarabia)[1][2] or Boaz (Boris) Trakhtenbrot (Hebrew: בועז טרכטנברוט) is an Israeli and Russian mathematician in mathematical logic, algorithms, theory of computation and cybernetics. He worked at Akademgorodok, Novosibirsk during the 1960s and 1970s.[3] Currently he is a professor in the faculty of Exact sciences of Tel Aviv University.
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 logic, model theory, and computability theory.
Notes
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
External links
- (Russian) Alib.ru: Search books: Трахтенброт.
- Boris Trakhtenbrot at 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 Science 4800 Springer 2008.
- Boris Trakhtenbrot at the Mathematics Genealogy Project
<templatestyles src="Asbox/styles.css"></templatestyles>
   |
This article about an Israeli scientist is a stub. You can help Wikipedia by expanding it. |
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This article about an Asian mathematician is a stub. You can help Wikipedia by expanding it. |
<templatestyles src="Asbox/styles.css"></templatestyles>
|
This article about a Russian mathematician is a stub. You can help Wikipedia by expanding it. |
- Articles containing Russian-language text
- Articles containing Hebrew-language text
- Articles with Russian-language external links
- 1921 births
- Living people
- People from Dondușeni District
- Moldovan Jews
- Bessarabian Jews
- Soviet emigrants to Israel
- Israeli people of Moldovan-Jewish descent
- Israeli Jews
- Israeli computer scientists
- Israeli mathematicians
- Moldovan computer scientists
- Moldovan mathematicians
- Soviet computer scientists
- Soviet mathematicians
- Tel Aviv University faculty
- Israeli scientist stubs
- Asian mathematician stubs
- Russian mathematician stubs
