Tseytin, Grigory Samuilovich

Grigory Samuilovich Tseytin
Fødselsdato 15. november 1936( 1936-11-15 )
Fødselssted
Dødsdato 27. august 2022 (85 år)( 27-08-2022 )
Et dødssted Campbell , Santa Clara (CA) , USA
Land
Arbejdsplads
Alma Mater LSU (mathmech)
Akademisk grad Doktor i fysiske og matematiske videnskaber
videnskabelig rådgiver Andrey Andreevich Markov [2]
Internet side math.spbu.ru/user/tseyti…

Grigory Samuilovich Tseitin ( 15. november 1936 , Leningrad - 27. august 2022 , Campbell , Californien , USA ) - sovjetisk og amerikansk videnskabsmand inden for matematik og datalogi . Han beskæftigede sig med problemerne med konstruktiv matematik , propositionel logik , gruppeteori og matematisk lingvistik .

Biografi

I 1956 dimitterede han fra Fakultetet for Matematik og Mekanik ved Leningrad State University (nu St. Petersburg State University) og arbejdede senere ved Research Institute of Mathematics and Mechanics (NIIMM) ved Leningrad State University [3] [4] . Siden 1960, Ph.D. i fysik og matematik, Leningrad State University, er afhandlingens emne "Algorithmic operators in constructive metric spaces" [5] [6] . Doktor i fysiske og matematiske videnskaber (1968) [7] . Fra 1970 til 2000 - Leder af Laboratoriet for Matematisk Lingvistik (nu Laboratoriet for Intelligente Systemer) ved NIIMM Leningrad State University [8] .

Tseitin var også en af ​​grundlæggerne og hovedlærerne af Ungdoms Matematisk Skole ved Fakultetet for Matematik og Mekanik ved Leningrad State University [4] .

Tseitin flyttede til USA i 1990'erne. I 2000-2009 arbejdede han hos IBM , i 2009-2013 arbejdede han som forskningsassistent ved Stanford University [7] .

I 2006 blev Tseitin anerkendt som æresmedlem ( English  Distinguished Member ) af Association for Computing Machinery [9] .

Tseitin er esperantist . I 2017-2020 var han sekretær for San Francisco Esperanto Regional Organization i San Francisco ( engelsk  San Francisco Esperanto Regional Organization , SFERO) [7] .

Videnskabelige resultater

I 1956 gav Tseitin et eksempel på en semigruppe , for hvilken der ikke er nogen algoritme, der genkender ordenes lighed  - sådanne semigrupper blev kaldt Tseitins semigrupper [4] [10] .

I 1968 udviklede Tseitin en algoritme til at reducere propositionelle logiske formler til CNF , kaldet Tseitin-transformationen [11] .

Tseitin bidrog til udviklingen af ​​Algol 68 -programmeringssproget og dets implementering til ES-computeren [12] [13] .

Noter

  1. ↑ 1 2 Hoffman R. LinkedIn  (engelsk) - 2003.
  2. ↑ Matematisk genealogi  (engelsk) - 1997.
  3. ↑ Grigory Tseitin. Korte biografier om nogle bemærkelsesværdige esperanto-talere . Personligheder i esperantobevægelsen . Dato for adgang: 20. juni 2020.
  4. ↑ 1 2 3 Odinets V.P. Skitser om datalogiens historie: en lærebog . - Syktyvkar: Komi State Pedagogical Institute , 2013. - S. 96.100.156.177. — 421 s. - 75 eksemplarer.  - ISBN 978-5-87661-246-5 .
  5. ↑ Personer: Tseitin Grigory Samuilovich . Math-Net.ru . Dato for adgang: 20. juni 2020.
  6. ↑ Tseitin G. S. Algoritmiske operatorer i konstruktive metriske rum  // Proceedings of the USSR Institute of Academy of Sciences: samling. - M .: Publishing House of the Academy of Sciences of the USSR , 1962. - T. 67 . - S. 295-361 . — ISSN 0371-9685 .
  7. ↑ 1 2 3 Gregory  Tseytin . Linkedin . Dato for adgang: 20. juni 2020.
  8. ↑ Laboratorium for intelligente systemer (utilgængeligt link) . Forskningsinstituttet for Matematik og Mekanik. Akademiker V. I. Smirnov . Hentet 20. juni 2020. Arkiveret fra originalen 13. januar 2008. 
  9. ↑ Dr.  Gregory S Tseytin ACM . Dato for adgang: 20. juni 2020.
  10. ↑ Tseitin G.S. Associativ calculus med et uløseligt ækvivalensproblem  // Proceedings of the USSR Institute of Mathematics: collection. - M. - L .: Publishing House of the Academy of Sciences of the USSR , 1958. - T. 52 . - S. 172-189 . — ISSN 0371-9685 .
  11. ↑ Tseytin G.S. Om kompleksiteten af ​​inferens i propositionalregning  // Notes of Scientific Seminars LOMI. - 1968. - T. 8 . - S. 234-259 . — ISSN 0373-2703 .
  12. ↑ Revideret rapport om det algoritmiske sprog Algol 68  //  Algol Bulletin. - 1981. - August ( nr. 47 ). — ISSN 0084-6198 .
  13. ↑ Terekhov A. N. Historien om én idé  // Computerværktøjer i uddannelse: tidsskrift. - 2009. - Nr. 2 . - S. 30-40 . — ISSN 2071-2359 .

Links

  Gå til Wikidata-elementet  I sociale netværk
Tematiske steder