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 computación. tació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 Ucraniana de Ciencias , completando un doctorado. en esta última institución 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 computabilidad ahora conocido como teorema de Trakhtenbrot . [6]

Después de 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 por 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 CS1: falta el editor de la ubicación ( 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 retraso 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 . Asociación para Maquinaria de Computación .

enlaces externos

  • v
  • t
  • mi
  • v
  • t
  • mi