Matemático ruso-israelí
Boris (Boaz) Abramovich Trakhtenbrot ( en ruso : Борис Авраамович Трахтенброт ; en 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 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
- ^ "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 ) - ^ ab "Boaz (Boris) Trakhtenbrot, 1921–2016". Facultad de Ciencias Exactas . Universidad de Tel Aviv. Archivado desde el original el 6 de marzo de 2021.
- ^ Борис Абрамович Трахтенброт [Boris A. Trakhtenbrot]. Архив академика А.П. Ершова (en ruso). Archivado desde el original el 26 de julio de 2011.
- ^ "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 .
- ^ Boris Trakhtenbrot (1964). "Cálculos de Turing con retardo logarítmico". Álgebra y lógica (en ruso). 3 (4): 33–48.
- ^ 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.
- ^ Fisher, Lawrence M. (21 de septiembre de 2016). "In Memoriam: Boris Trakhtenbrot, 1921-2016". Comunicaciones de la ACM . Association for Computing Machinery .
Enlaces externos
- 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. Apuntes de clase sobre informática . Vol. 4800. Springer. 2008.
