Tseytin, Grigori Samuilovici

Grigori Samuilovici Tseytin
Data nașterii 15 noiembrie 1936( 15.11.1936 )
Locul nașterii
Data mortii 27 august 2022 (85 de ani)( 27.08.2022 )
Un loc al morții Campbell , Santa Clara (CA) , SUA
Țară
Loc de munca
Alma Mater LSU (matematică)
Grad academic Doctor în Științe Fizice și Matematice
consilier științific Andrey Andreevich Markov [2]
Site-ul web math.spbu.ru/user/tseyti…

Grigory Samuilovich Tseitin ( 15 noiembrie 1936 , Leningrad - 27 august 2022 , Campbell , California , SUA ) - om de știință sovietic și american în domeniul matematicii și informaticii . S-a ocupat de problemele de matematică constructivă , logica propozițională , teoria grupurilor și lingvistica matematică .

Biografie

În 1956 a absolvit Facultatea de Matematică și Mecanică a Universității de Stat din Leningrad (acum Universitatea de Stat din Sankt Petersburg) și mai târziu a lucrat la Institutul de Cercetare de Matematică și Mecanică (NIIMM) al Universității de Stat din Leningrad [3] [4] . Din 1960, doctor în Fizică și Matematică, Universitatea de Stat din Leningrad, tema tezei este „Operatorii algoritmici în spații metrice constructive” [5] [6] . Doctor în științe fizice și matematice (1968) [7] . Din 1970 până în 2000 - Șef al Laboratorului de Lingvistică Matematică (acum Laboratorul de Sisteme Inteligente) la Universitatea de Stat NIIMM Leningrad [8] .

Tseitin a fost, de asemenea, unul dintre fondatorii și profesorii principali ai Școlii de Matematică pentru Tineret de la Facultatea de Matematică și Mecanică a Universității de Stat din Leningrad [4] .

Tseitin s-a mutat în SUA în anii 1990. În 2000-2009 a lucrat la IBM , în 2009-2013 a lucrat ca asistent de cercetare la Universitatea Stanford [7] .

În 2006, Tseitin a fost recunoscut ca membru de onoare (membru distins englez  ) al Asociației pentru mașini de calcul [9] .

Tseitin este un esperantist . În 2017-2020, a fost secretarul Organizației Regionale San Francisco Esperanto din San Francisco ( Organizația Regională Esperanto San Francisco în engleză  , SFERO) [7] .

Realizări științifice

În 1956, Tseitin a dat un exemplu de semigrup , pentru care nu există un algoritm care să recunoască egalitatea cuvintelor  - astfel de semigrupuri au fost numite semigrupurile lui Tseitin [4] [10] .

În 1968, Tseitin a dezvoltat un algoritm pentru reducerea formulelor logice propoziționale la CNF , numit transformarea Tseitin [11] .

Tseitin a contribuit la dezvoltarea limbajului de programare Algol 68 și la implementarea acestuia pentru computerul ES [12] [13] .

Note

  1. ↑ 1 2 Hoffman R. LinkedIn  (engleză) - 2003.
  2. ↑ Genealogia matematică  (engleză) - 1997.
  3. ↑ Grigory Tseitin. Scurte biografii ale unor vorbitori remarcabili de esperanto . Personalități în mișcarea Esperanto . Data accesului: 20 iunie 2020.
  4. ↑ 1 2 3 Odinets V.P. Schițe despre istoria informaticii: un manual . - Syktyvkar: Institutul Pedagogic de Stat Komi , 2013. - S. 96.100.156.177. — 421 p. - 75 de exemplare.  - ISBN 978-5-87661-246-5 .
  5. ↑ Persoane: Tseitin Grigori Samuilovici . Math-Net.ru . Data accesului: 20 iunie 2020.
  6. ↑ Tseitin G. S. Operatori algoritmici în spații metrice constructive  // ​​Proceedings of the URSS Institute of Academy of Sciences: collection. - M . : Editura Academiei de Ştiinţe a URSS , 1962. - T. 67 . - S. 295-361 . — ISSN 0371-9685 .
  7. ↑ 1 2 3 Gregory  Tseytin . Linkedin . Data accesului: 20 iunie 2020.
  8. ↑ Laboratorul de sisteme inteligente (link inaccesibil) . Institutul de Cercetare de Matematică și Mecanică. Academician V. I. Smirnov . Preluat la 20 iunie 2020. Arhivat din original la 13 ianuarie 2008. 
  9. ↑ Dr.  Gregory S Tseytin ACM . Data accesului: 20 iunie 2020.
  10. ↑ Tseitin G.S. Calcul asociativ cu o problemă de echivalență insolubilă  // Proceedings of the USSR Institute of Mathematics: collection. - M. - L .: Editura Academiei de Științe a URSS , 1958. - T. 52 . - S. 172-189 . — ISSN 0371-9685 .
  11. ↑ Tseytin G.S. Despre complexitatea inferenței în calculul propozițional  // Notes of Scientific Seminars LOMI. - 1968. - T. 8 . - S. 234-259 . — ISSN 0373-2703 .
  12. ↑ Raport revizuit privind limbajul algoritmic Algol 68  //  Buletinul Algol. - 1981. - August ( nr. 47 ). — ISSN 0084-6198 .
  13. ↑ Terekhov A. N. Istoria unei idei  // Instrumente informatice în educație: jurnal. - 2009. - Nr 2 . - S. 30-40 . — ISSN 2071-2359 .

Link -uri

  Accesați articolul Wikidata  În rețelele sociale
Site-uri tematice