Trakhtenbrot, Boris Avraamovich

Boris Avraamovich Trakhtenbrot (también Boris Abramovich , ing.  Boris (Boaz) Trachtenbrot, Trakhtenbrot, Trajtenbrot & Trahtenbrot , heb . בועז טרכטנברוט ; 20 de febrero de 1921 , Brichevo , distrito de Soroca , Besarabia - 19 de septiembre de 2019 ) - soviético e israelí matemático en el campo de la lógica matemática, la teoría de los algoritmos y la cibernética . Doctor en Ciencias Físicas y Matemáticas (1962), Profesor (1963).

Uno de los pioneros de la informática teórica en la URSS, un destacado teórico en el campo de las matemáticas discretas y los lenguajes formales , así como la lógica matemática , las computadoras electrónicas , en particular la teoría de los autómatas (ver el teorema de indecidibilidad de Trakhtenbrot y el Teorema de Trakhtenbrot- Teorema de la brecha de borodin ).

Biografía

Boris Trakhtenbrot (originalmente Trakhtenbroit) nació en la colonia agrícola judía de Besarabia de Brichevo (ahora la región Dondyushansky de Moldavia ) en 1921 en la familia de Abram Trakhtenbroit, quien en 1941 fue deportado a un asentamiento y trabajo forzado en Siberia . [4] Estudió en una escuela primaria en Brichevo, luego en Balti y en un gimnasio masculino en Soroca (se graduó en este último en 1939 ). [5] [6]

En 1940 ingresó al Departamento de Física y Matemáticas del Instituto Pedagógico de Chisinau . A principios de julio de 1941, B. A. Trakhtenbrot logró escapar de la ciudad sitiada y llegar a Chkalov , donde continuó sus estudios en el instituto pedagógico local, y un año después se transfirió de nuevo al Instituto Pedagógico de Chisinau , evacuado a Buguruslan . Al mismo tiempo, trabajó en una fábrica de calzado, luego en la construcción de un gasoducto entre Buguruslan y Kuibyshev . En agosto de 1944, junto con el Instituto Pedagógico, regresó a Chisinau . Habiendo recibido un diploma de graduación del instituto en 1945, trabajó como profesor en Balti. Habiendo decidido tomarse las matemáticas en serio, en el mismo año ingresó a la Facultad de Física y Matemáticas de la Universidad de Chernivtsi, donde asistió a conferencias sobre teoría de la probabilidad de Alexander Bobrov. En 1947 se graduó de la Facultad de Matemáticas de la Universidad de Chernivtsi e ingresó a la escuela de posgrado en el Instituto de Matemáticas de la Academia de Ciencias de la República Socialista Soviética de Ucrania en Kiev . Se especializó en lógica matemática bajo la dirección de PS Novikov y defendió su disertación en 1950 .

En 1950-1958 trabajó en el Instituto Pedagógico de Penza , en 1958-1960 - en el Instituto Politécnico de Penza [7] . Desde 1960  - en el Instituto de Matemáticas de la Rama Siberiana de la Academia de Ciencias de la URSS ( Novosibirsk Academgorodok ) y en la Universidad Estatal de Novosibirsk (desde 1963  - profesor, jefe de departamento).

Después de mudarse a Israel en diciembre de 1980, se  convirtió en profesor en el Departamento de Ciencias Exactas e Informáticas de la Universidad de Tel Aviv (desde 1991  , profesor emérito). Miembro del consejo editorial de la revista Information and Computation (Elsevier).

Comenzó a publicar en 1950 (se presentó y demostró el teorema de indecidibilidad de Trakhtenbrot ) y al mismo tiempo defendió su Ph.D.S. . [8] La primera monografía de un matemático ("Algoritmos y resolución de problemas con máquinas", en 2 ediciones - 1957 y 1960) fue traducida al búlgaro , inglés , francés (ambas ediciones), checo , japonés (ambas ediciones), español ( ambas ediciones), italiano , turco , alemán y polaco . Las monografías An Introduction to Finite Automata Theory (1962), Finite Automata : Behavior and Synthesis (1970) y Algorithms and Computing Automata (1974) también se han traducido a varios idiomas extranjeros.

En 2008, en la serie Pillars of Computer Science, Springer Verlag publicó una colección de artículos científicos en honor al 85 aniversario de B. A. Trakhtenbrot. Entre los estudiantes y coautores de B. A. Trakhtenbrot se encuentra Janis Barzdin (n. 1937) [9] .

Familia

• Esposa (desde 1947) - Berta Isaakovna Trakhtenbrot (nee Rabinovich ; 1921, Ataques - 2013, Rehovot ).
  • Hijo: Mark Borisovich Trakhtenbrot (n. 1950), matemático en el campo de los métodos formales de especificación y prueba de sistemas complejos, empleado del Departamento de Programación del Centro de Computación de la Rama Siberiana de la Academia de Ciencias (1971-1984), secretario científico del Consejo Científico del Centro de Computación de la Rama Siberiana de la Academia de Ciencias de la URSS en Novosibirsk [10] , Jefe del Departamento de Ciencias de la Computación en el Instituto de Tecnología de Holon ( Israel , 2006-2009).
  • Hijo: Iosif Borisovich Trakhtenbrot (nacido en 1952), especialista en el desarrollo de grandes sistemas de software.

También

• Teorema de Trakhtenbrot (1950)
• Teorema de la brecha (1964)

Bibliografía

Ver bibliografía parcial aquí  (enlace descendente desde 13-05-2013 [3459 días] - historia ) .

Monografías

• Algoritmos y resolución de problemas de máquinas. En la serie Conferencias Populares de Matemáticas . Gostekhizdat: Moscú , 1957 ( edición japonesa  - Tokio , 1959 y 1964).
• Wieso können Automaten Rechnen (en alemán ). Deutsche Verlag der Wissenschaften: Berlín , 1959.

• Algoritmos y resolución de problemas de máquinas. Segunda edición (ampliada). Fizmatgiz: Moscú , 1960.
• Algorithmy i automatyczne rozwiazyvanie zadan (en polaco ). Pasttwowe Wydawnictwo Naukowe: Varsovia , 1961.
• Algorithmes et machines à calculer (en francés ). Dunod: París , 1963.
• Algoritmia a strojove reseni ulokh (en checo ). Nakladatelstvi Ceskoslovenske akademie ved: Praga , 1963.
• Algoritmos y soluciones mecánicas para problemas (en búlgaro ). Editorial Darzhavno Técnica: Sofía , 1963.
• Algoritmos y Máquinas Computacionales Automáticas (en inglés ). En la serie "Temas de Matemáticas". DC Heath and Company: Boston , 1963.
• Algoritmi e Macchine Calcolatrici Automatiche (en italiano ). Progresso Tecnico Editoriale: Milán , 1964.
• Algoritmalar ve Otomatik Hesap Makinalari (en turco ). Turk Matematik Dernegi Yaynlari: Estambul , 1964.
• Introducción a la Teoría Matemática de las Computadoras y de la Programación (en español ). Siglo Veintiuno Editores SA: Ciudad de México , 1967.
• Algorithme et Resolution de Problemes par des Machines (en francés ). La segunda parte del libro Nouvelles Orientations des Mathematiques (I. Yaglom, B. Trakhtenbrot, G. Wenzel, A. Solodovnikov). Ediciones Mir: Moscú , 1975.
• Los Algoritmos y la Resolución Automática de Problemas (en español ). Editorial Mir: Moscú , 1977.
• アルゴリズムの数学 (単行本（ソフトカバー）) (en japonés , ver aquí  (enlace descendente al 13-05-2013 [3459 días]) ). 東京図書: Tokio , 1994.

• Introducción a la teoría de los autómatas finitos (junto con N. E. Kobrinsky ). Fizmatgiz (Editorial estatal de literatura física y matemática): Moscú , 1962.

• Introducción a la Teoría de los Autómatas Finitos (en inglés ). En la serie "Estudios de Lógica y Fundamentos de las Matemáticas". North-Holland Publishing Company: Ámsterdam , 1965.
• Uvod do Teorie Konecnych Automatu (en checo ). Nakladatelstvi Technicke Literatury: Praga , 1967.
• Einfuhrung in die Theory Endlicher Automaten (en alemán ). Akademie-Verlag: Berlín , 1967.

• La complejidad de los algoritmos y cálculos (conferencias). Universidad Estatal de Novosibirsk: Novosibirsk , 1967.
• Autómatas finitos (comportamiento y síntesis, con Ya. M. Barzdin). Ciencia: Moscú , 1970.

• Autómatas Finitos (Comportamiento y Síntesis, en inglés ). En la serie "Estudios Fundamentales en Ciencias de la Computación". North-Holland Publishing Company: Amsterdam - Londres , 1973 y American Elsevier Publishing Company: Nueva York , 1973.

• Algoritmos y Máquinas de Computación. Radio soviética: Moscú , 1974.

• Algorithmen und Rechenautomaten (en alemán ). Deutsche Verlag der Wissenschaften: Berlín , 1977.
• Što su algoritmi: algoritmi i računski automati (en croata ). Školska Knjiga: Zagreb , 1978.
• Algoritmusok és absztrakt automaták (en húngaro ). Műszaki Könyvkiadó: Budapest y el mundo: Moscú , 1978.

• Desarrollos seleccionados en la cibernética matemática soviética. Delphic Associated: Washington , 1985.
• Pilares de la informática: ensayos dedicados a Boris (Boaz) Trakhtenbrot con motivo de su 85 cumpleaños (ver edición en línea aquí ). Apuntes de clase en informática (Introducción: de la lógica a la informática teórica, págs. 1-39). Springer: Nueva York , 2008.

Notas

1. ↑ 1 2 MacTutor Archivo de Historia de las Matemáticas
2. ↑ http://www.iis.nsk.su/
3. ↑ 1 2 Genealogía matemática  (inglés) - 1997.
4. ↑ Pillars of Computer Science: Ensayos dedicados a Boris (Boaz) Trakhtenbrot con motivo de su 85 cumpleaños (Ver edición en línea aquí Archivado el 22 de julio de 2011 en Wayback Machine ). Springer: Nueva York , 2008
5. ↑ BA Trakhtenbrot "Primeros días" (Pilares de la informática)
6. ↑ Buzya Trakhtenbroit en Soroca . Consultado el 2 de noviembre de 2014. Archivado desde el original el 24 de septiembre de 2015. (indefinido)
7. ↑ Genios olvidados: Boris Trakhtenbrot . Consultado el 20 de septiembre de 2016. Archivado desde el original el 9 de mayo de 2018. (indefinido)
8. ↑ B. A. Trakhtenbrot. Recordando a Alexei Andreevich (los años cincuenta) . Consultado el 24 de febrero de 2008. Archivado desde el original el 26 de junio de 2020. (indefinido)
9. ↑ Janis Barzdins (enlace inaccesible) . Fecha de acceso: 24 de febrero de 2008. Archivado desde el original el 17 de diciembre de 2008. (indefinido) 
10. ↑ Página personal de Mark Trakhtenbrot (enlace inaccesible) . Consultado el 6 de diciembre de 2014. Archivado desde el original el 24 de septiembre de 2015. (indefinido) 

Enlaces

• Página de B. Trakhtenbrot en el sitio web de la Universidad de Tel Aviv  (inglés)
• Resumen detallado del teorema de Trachtenbrot
• De izquierda a derecha: A. A. Markov, V. A. Uspensky, S. A. Adyan, B. A. Trakhtenbrot. Valor: A. S. Yesenin-Volpin. Moscú, 1950  (enlace no disponible desde el 13-05-2013 [3459 días] - historia )
• Lista de publicaciones del DBLP Bibliography  Server

sitios temáticos	genealogía matemática zbMATH Abierto Portal matemático de toda Rusia Archivo de Historia de las Matemáticas MacTutor
En catálogos bibliográficos BIBSYS: 90659344 BNF : 10141277j TIERRA : 126970467 ISNI : 0000 0001 1030 3409 J9U : 987007454779805171 LCCN : n84801072 NKC : ola2004231395 NLA : 35267048 PNL : A21589276 NTA : 071681558 NUKAT : n97090039 LIBRIS : nl0234r6325r2q4 SUDOC : 081982976 VIAF : 85015458 WorldCat VIAF : 85015458