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
- ↑ «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 ) - 1 2 "Boaz (Boris) Trakhtenbrot, 1921–2016" . Facultad de Ciencias Exactas . Universidad de Tel Aviv. Archivado del 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 Авраамович Трахтенброт[ Boris Avraamovich Trahtenbrot ] (en ruso). Archivado del original el 29 de abril de 2008. Recuperado 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 la 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" . Communications of the 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 . Lecture Notes in Computer Science . Vol. 4800. Springer. 2008.
- Nacimientos de 1921
- Muertes en 2016
- judíos de Besarabia
- científicos informáticos israelíes
- judíos israelíes
- matemáticos israelíes del siglo XX
- Israelíes de ascendencia judía moldava
- científicos informáticos moldavos
- judíos moldavos
- matemáticos moldavos del siglo XX
- Gente del distrito de Dondușeni
- científicos informáticos soviéticos
- Emigrantes soviéticos a Israel
- matemáticos soviéticos
- Personal académico de la Universidad de Tel Aviv
- científicos rusos
- Científico israelí esboza
- Esbozos de matemáticos rusos