stringtranslate.com

Boris Trakhtenbrot

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 y teoría de la comp utación y cibernética .

Biografía

Trakhtenbrot nació en una familia judía en Brichevo , en el norte de Besarabia (ahora Tîrnova, Moldavia ). [1] Estudió en el Instituto Pedagógico Estatal de Moldavia en Kishinev , la Universidad de Chernivtsi y el Instituto de Matemáticas de la Academia de Ciencias de Ucrania , completando un doctorado en esta última institución en 1950. [2]

Trabajó en Akademgorodok , Novosibirsk durante los años 1960 y 1970. [3] [4] En 1964 Trakhtenbrot descubrió y demostró un resultado fundamental en la informática teórica llamado el teorema de la brecha . [5] También descubrió y demostró el teorema en lógica , teoría de modelos y teoría de computabilidad ahora conocido como 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. Murió 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 desde el original el 15 de abril de 2003.{{cite encyclopedia}}: Mantenimiento de CS1: falta la ubicación del editor ( enlace )
  2. ^ ab "Boaz (Boris) Trakhtenbrot, 1921–2016". Facultad de Ciencias Exactas . Universidad de Tel Aviv. Archivado desde el 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 Avraamovich Trahtenbrot] (en ruso). Archivado desde el original el 29 de abril de 2008 . Consultado 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 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". Comunicaciones de la ACM . Association for Computing Machinery .

Enlaces externos