Boris Trakhtenbrot

Boris Trakhtenbrot
Boris Trakhtenbrot
Nascimento 19 de fevereiro de 1921
Brichevo, Donduşeni (condado), Bessarábia
Morte 19 de setembro de 2016 (95 anos)
Nacionalidade Rússia Russo, Israel 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

  1. ↑ «Russian Jewish Encyclopedia > Surnames starting with the letter T» 
  2. ↑ «Academician Andrei Ershov's archive > Documents > Boris A. Trakhtenbrot» 
  3. ↑ «History of Computing in Russia > Authors > Boris Avraamovich Trahtenbrot» (em russo) 
  4. ↑ Boris Trakhtenbrot (1964). «Turing computations with logarithmic delay». Algebra and Logic (em russo). 3 (4): 33–48 
  5. ↑ 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 
  6. ↑ «Скончался Борис Абрамович Трахтенброт» (em russo). Consultado em 22 de setembro de 2016 

Ver também

Ligações externas

Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.