Back بوريس تراختينبروت ARZ Boris Trakhtenbrot Catalan Boris Trakhtenbrot German Boris Trakhtenbrot English Boris Trakhtenbrot French בוריס טרכטנברוט HE Boris Trachtenbrot Italian Boris Trahtenbrot Romanian Трахтенброт, Борис Авраамович Russian
| Boris Trakhtenbrot | |
|---|---|
 | |
| Nascimento | 19 de fevereiro de 1921 Brichevo, Donduşeni (condado), Bessarábia |
| Morte | 19 de setembro de 2016 (95 anos) |
| Nacionalidade |  Russo,  israelense
|
| Orientador(es)(as) | Pyotr Novikov |
| Instituições | Universidade de Tel Aviv |
| Campo(s) | Matemática |
| Tese | 1950: Decidability Problems for Finite Classes and Definitions of Finite Sets |
Boris (Boaz) Avraamovich Trakhtenbrot (em russo: Борис Авраамович Трахтенброт; Brichevo, 19 de fevereiro de 1921 – 19 de setembro de 2016)[1][2] ou Boaz (Boris) Trakhtenbrot (em hebraico: בועז טרכטנברוט) foi um matemático russo-israelense.
Seus campos de trabalho são lógica matemática, algoritmo, teoria da computação e cibernética. Trabalhou na Akademgorodok, Novosibirsk, durante as décadas de 1960 e 1970.[3] Foi professor da Faculdade de Ciências Exatas da Universidade de Tel Aviv.
Em 1964 Trakhtenbrot descobriu e provou um resultado fundamental em ciência da computação teórica denominado teorema do intervalo.[4] Ele também descobriu e provou o que é atualmente conhecido como teorema de Trakhtenbrot[5] que é um teorema em lógica, teoria dos modelos e teoria da computabilidade.
Morreu em 19 de setembro de 2016, aos 95 anos.[6]
Referências
- ↑ «Russian Jewish Encyclopedia > Surnames starting with the letter T»
- ↑ «Academician Andrei Ershov's archive > Documents > Boris A. Trakhtenbrot»
- ↑ «History of Computing in Russia > Authors > Boris Avraamovich Trahtenbrot» (em russo)
- ↑ Boris Trakhtenbrot (1964). «Turing computations with logarithmic delay». Algebra and Logic (em russo). 3 (4): 33–48
- ↑ Boris Trakhtenbrot (1950). «The Impossibility of an Algorithm for the Decidability Problem on Finite Classes». Doklady Akademii Nauk SSSR (em russo). 70 (4): 569-572
- ↑ «Скончался Борис Абрамович Трахтенброт» (em russo). Consultado em 22 de setembro de 2016