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 (93 anos)
Local Brichevo, Donduşeni (condado), Bessarábia
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 1921)[1] [2] or Boaz (Boris) Trakhtenbrot (em hebraico: בועז טרכטנברוט) é 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] Atualmente é 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.

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" (em russo). Algebra and Logic 3 (4): 33–48.
  5. Boris Trakhtenbrot. (1950). "The Impossibility of an Algorithm for the Decidability Problem on Finite Classes" (em russo). Doklady Akademii Nauk SSSR 70 (4): 569-572.

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.