Tseytin, Grigori Samuilovich

Grigory Samuilovich Tseytin
Fecha de nacimiento 15 de noviembre de 1936( 15/11/1936 )
Lugar de nacimiento
Fecha de muerte 27 de agosto de 2022 (85 años)( 2022-08-27 )
Un lugar de muerte Campbell , Santa Clara (California) , EE . UU.
País
Lugar de trabajo
alma mater LSU (matemática)
Titulo academico Doctor en Ciencias Físicas y Matemáticas
consejero científico Andrei Andreevich Markov [2]
Sitio web math.spbu.ru/user/tseyti…

Grigory Samuilovich Tseitin ( 15 de noviembre de 1936 , Leningrado - 27 de agosto de 2022 , Campbell , California , EE . UU.) - Científico soviético y estadounidense en el campo de las matemáticas y la informática . Se ocupó de los problemas de las matemáticas constructivas , la lógica proposicional , la teoría de grupos y la lingüística matemática .

Biografía

En 1956 se graduó de la Facultad de Matemáticas y Mecánica de la Universidad Estatal de Leningrado (ahora Universidad Estatal de San Petersburgo) y luego trabajó en el Instituto de Investigación de Matemáticas y Mecánica (NIIMM) de la Universidad Estatal de Leningrado [3] [4] . Desde 1960, Doctorado en Física y Matemáticas, Universidad Estatal de Leningrado, el tema de la disertación es "Operadores algorítmicos en espacios métricos constructivos" [5] [6] . Doctor en Ciencias Físicas y Matemáticas (1968) [7] . De 1970 a 2000 - Jefe del Laboratorio de Lingüística Matemática (ahora el Laboratorio de Sistemas Inteligentes) en la Universidad Estatal de Leningrado NIIMM [8] .

Tseitin también fue uno de los fundadores y principales profesores de la Escuela de Matemáticas Juveniles en la Facultad de Matemáticas y Mecánica de la Universidad Estatal de Leningrado [4] .

Tseitin se mudó a los Estados Unidos en la década de 1990. En 2000-2009 trabajó en IBM , en 2009-2013 trabajó como asistente de investigación en la Universidad de Stanford [7] .

En 2006, Tseitin fue reconocido como miembro honorario ( Inglés  Distinguished Member ) de la Asociación de Maquinaria de Computación [9] .

Tseitin es esperantista . En 2017-2020, fue secretario de la Organización Regional de San Francisco Esperanto en San Francisco ( English  San Francisco Esperanto Regional Organization , SFERO) [7] .

Logros científicos

En 1956, Tseitin dio un ejemplo de un semigrupo , para el cual no existe un algoritmo que reconozca la igualdad de palabras  ; tales semigrupos se denominaron semigrupos de Tseitin [4] [10] .

En 1968, Tseitin desarrolló un algoritmo para reducir fórmulas de lógica proposicional a CNF , llamado transformación Tseitin [11] .

Tseitin contribuyó al desarrollo del lenguaje de programación Algol 68 y su implementación para la computadora ES [12] [13] .

Notas

  1. ↑ 1 2 Hoffman R. LinkedIn  (inglés) - 2003.
  2. ↑ Genealogía matemática  (inglés) - 1997.
  3. ↑ Grigori Tseitin. Breves biografías de algunos hablantes de esperanto notables . Personalidades del Movimiento Esperantista . Fecha de acceso: 20 de junio de 2020.
  4. ↑ 1 2 3 Odinets V.P. Bocetos sobre la historia de la informática: un libro de texto . - Syktyvkar: Instituto Pedagógico del Estado de Komi , 2013. - S. 96,100,156,177. — 421 pág. - 75 copias.  - ISBN 978-5-87661-246-5 .
  5. ↑ Personas: Tseitin Grigory Samuilovich . Math-Net.ru . Fecha de acceso: 20 de junio de 2020.
  6. ↑ Tseitin G. S. Operadores algorítmicos en espacios métricos constructivos  // Actas del Instituto de la Academia de Ciencias de la URSS: colección. - M. : Editorial de la Academia de Ciencias de la URSS , 1962. - T. 67 . - S. 295-361 . — ISSN 0371-9685 .
  7. ↑ 1 2 3 Gregorio  Tseytin . Linkedin . Fecha de acceso: 20 de junio de 2020.
  8. ↑ Laboratorio de sistemas inteligentes (enlace inaccesible) . Instituto de Investigaciones de Matemáticas y Mecánica. Académico V. I. Smirnov . Consultado el 20 de junio de 2020. Archivado desde el original el 13 de enero de 2008. 
  9. ↑ Dra.  Gregorio S. Tseytin ACM . Fecha de acceso: 20 de junio de 2020.
  10. ↑ Tseitin G.S. Cálculo asociativo con un problema de equivalencia irresoluble  // Actas del Instituto de Matemáticas de la URSS: colección. - M. - L .: Editorial de la Academia de Ciencias de la URSS , 1958. - T. 52 . - S. 172-189 . — ISSN 0371-9685 .
  11. ↑ Tseytin G.S. Sobre la complejidad de la inferencia en el cálculo proposicional  // Apuntes de Seminarios Científicos LOMI. - 1968. - T. 8 . - S. 234-259 . — ISSN 0373-2703 .
  12. ↑ Informe revisado sobre el lenguaje algorítmico Algol 68  //  Boletín Algol. - 1981. - Agosto ( núm. 47 ). — ISSN 0084-6198 .
  13. ↑ Terekhov A. N. La historia de una idea  // Herramientas informáticas en educación: revista. - 2009. - Nº 2 . - S. 30-40 . — ISSN 2071-2359 .

Enlaces

  Ir al elemento de Wikidata  en redes sociales
sitios temáticos