Boris Trakhtenbrot

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Boris Trakhtenbrot
Matemática
Nacionalidade Rússia Russo, Israel israelense
Nascimento 19 de fevereiro de 1921
Local Brichevo, Donduşeni (condado), Bessarábia
Morte 19 de setembro de 2016 (95 anos)
Atividade
Campo(s) Matemática
Instituições Universidade de Tel Aviv
Tese 1950: Decidability Problems for Finite Classes and Definitions of Finite Sets
Orientador(es) Pyotr Novikov

Boris (Boaz) Avraamovich Trakhtenbrot (em russo: Борис Авраамович Трахтенброт; Brichevo, 19 de fevereiro de 192119 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) [S.l.: s.n.] 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) [S.l.: s.n.] 70 (4): 569–572. 
  6. «Скончался Борис Абрамович Трахтенброт» (em russo). Consultado em 22 de setembro de 2016. 

Ver também[editar | editar código-fonte]

Ligações externas[editar | editar código-fonte]

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