Boris Trakhtenbrot

Boris Trakhtenbrot
Nascimento
19 de fevereiro de 1921

Brichevo, Donduşeni (condado), Bessarábia
Morte
19 de setembro de 2016 (95 anos)
NacionalidadeRússia Russo, Israel israelense
Carreira científica
Orientador(es)(as)Pyotr Novikov
InstituiçõesUniversidade de Tel Aviv
Campo(s)Matemática
Tese1950: 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

Este artigo é emitido por Wikipédia. O texto é licenciado sob Creative Commons Attribution-Share Alike 4.0. Termos adicionais podem ser aplicados aos arquivos de mídia.