Articulo de referencia

Boris Trakhtenbrot

Boris (Boaz) Abramovich Trakhtenbrot ( ruso : Борис Авраамович Трахтенброт , hebreo : בועז טרכטנברוט ; 19 de febrero de 1921 - 19 de septiembre de 2016) fue un matemático ruso-i...

Boris (Boaz) Abramovich Trakhtenbrot ( ruso : Борис Авраамович Трахтенброт , hebreo : בועז טרכטנברוט ; 19 de febrero de 1921 - 19 de septiembre de 2016) fue un matemático ruso-israelí en lógica . algoritmos , teoría de la computación y cibernética .

Biografía

Trakhtenbrot nació en el seno de una familia judía en Brichevo , al norte de Besarabia (actualmente Tîrnova, Moldavia ). [ 1 ] Estudió en el Instituto Pedagógico Estatal Moldavo de Kishinev , la Universidad de Chernivtsi y el Instituto de Matemáticas de la Academia de Ciencias de Ucrania , donde obtuvo su doctorado en 1950. [ 2 ]

Trabajó en Akademgorodok , Novosibirsk durante las décadas de 1960 y 1970. [ 3 ] [ 4 ] En 1964, Trakhtenbrot descubrió y demostró un resultado fundamental en la informática teórica llamado teorema de la brecha . [ 5 ] También descubrió y demostró el teorema en lógica , teoría de modelos y teoría de la computabilidad , ahora conocido como el teorema de Trakhtenbrot . [ 6 ]

Tras emigrar a Israel en 1981, se convirtió en profesor de la Facultad de Ciencias Exactas de la Universidad de Tel Aviv y continuó como profesor emérito hasta su muerte. Falleció el 19 de septiembre de 2016, a la edad de 95 años. [ 2 ] [ 7 ]

Notas

  1. «Apellidos que empiezan con la letra T» . Enciclopedia Judía Rusa . Traducido por Charny, Josif; Charny, Vitaly. Moscú. 1995. Archivado del original el 15 de abril de 2003.{{cite encyclopedia}}: CS1 mantenimiento: falta el editor de ubicación ( enlace )
  2. 1 2 "Boaz (Boris) Trakhtenbrot, 1921–2016" . Facultad de Ciencias Exactas . Universidad de Tel Aviv. Archivado del original el 6 de marzo de 2021.
  3. Борис Абрамович Трахтенброт[ Boris A. Trakhtenbrot ] . Архив академика А.П. Ершова (en ruso). Archivado desde el original el 26 de julio de 2011.
  4. "Historia de la informática en Rusia"Boris Авраамович Трахтенброт[ Boris Avraamovich Trahtenbrot ] (en ruso). Archivado del original el 29 de abril de 2008. Recuperado el 22 de enero de 2008 .
  5. Boris Trakhtenbrot (1964). "Cálculos de Turing con retardo logarítmico". Álgebra y lógica (en ruso). 3 (4): 33– 48.
  6. Boris Trakhtenbrot (1950). "La imposibilidad de un algoritmo para el problema de la decidibilidad en clases finitas". Actas de la Academia de Ciencias de la URSS (en ruso). 70 (4): 569– 572.
  7. Fisher, Lawrence M. (21 de septiembre de 2016). "In Memoriam: Boris Trakhtenbrot, 1921-2016" . Communications of the ACM . Association for Computing Machinery .
  • Boris A. Trakhtenbrot en el servidor de bibliografía DBLP
  • Pilares de la informática: Ensayos dedicados a Boris (Boaz) Trakhtenbrot con motivo de su 85 cumpleaños . Lecture Notes in Computer Science . Vol. 4800. Springer. 2008.