Tseytin, Grigory Samuilovich

Grigory Samuilovich Tseytin
Födelsedatum 15 november 1936( 1936-11-15 )
Födelseort
Dödsdatum 27 augusti 2022 (85 år)( 2022-08-27 )
En plats för döden Campbell , Santa Clara (CA) , USA
Land
Arbetsplats
Alma mater LSU (mathmech)
Akademisk examen Doktor i fysikaliska och matematiska vetenskaper
vetenskaplig rådgivare Andrey Andreevich Markov [2]
Hemsida math.spbu.ru/user/tseyti…

Grigory Samuilovich Tseitin ( 15 november 1936 , Leningrad - 27 augusti 2022 , Campbell , Kalifornien , USA ) - sovjetisk och amerikansk vetenskapsman inom området matematik och datavetenskap . Han behandlade problemen med konstruktiv matematik , propositionell logik , gruppteori och matematisk lingvistik .

Biografi

År 1956 tog han examen från fakulteten för matematik och mekanik vid Leningrad State University (nuvarande St. Petersburg State University) och arbetade senare vid forskningsinstitutet för matematik och mekanik (NIIMM) vid Leningrad State University [3] [4] . Sedan 1960, doktor i fysik och matematik, Leningrad State University, är ämnet för avhandlingen "Algorithmic operators in constructive metric spaces" [5] [6] . Doktor i fysikaliska och matematiska vetenskaper (1968) [7] . Från 1970 till 2000 - Chef för Laboratory of Mathematical Linguistics (nu Laboratory of Intelligent Systems) vid NIIMM Leningrad State University [8] .

Tseitin var också en av grundarna och huvudlärarna av Ungdomens matematiska skola vid fakulteten för matematik och mekanik vid Leningrad State University [4] .

Tseitin flyttade till USA på 1990-talet. 2000-2009 arbetade han på IBM , 2009-2013 arbetade han som forskningsassistent vid Stanford University [7] .

År 2006 erkändes Tseitin som hedersmedlem ( Engelska  Distinguished Member ) av Association for Computing Machinery [9] .

Tseitin är esperantist . 2017-2020 var han sekreterare för San Francisco Esperanto Regional Organization i San Francisco ( Engelska  San Francisco Esperanto Regional Organization , SFERO) [7] .

Vetenskapliga landvinningar

1956 gav Tseitin ett exempel på en semigrupp , för vilken det inte finns någon algoritm som känner igen ordens likhet  - sådana semigrupper kallades Tseitins semigrupper [4] [10] .

År 1968 utvecklade Tseitin en algoritm för att reducera propositionella logiska formler till CNF , kallad Tseitin-transformationen [11] .

Tseitin bidrog till utvecklingen av programmeringsspråket Algol 68 och dess implementering för ES-datorn [12] [13] .

Anteckningar

  1. ↑ 1 2 Hoffman R. LinkedIn  (engelska) - 2003.
  2. ↑ Mathematical Genealogy  (engelska) - 1997.
  3. ↑ Grigory Tseitin. Korta biografier om några framstående esperanto-talare . Personligheter i esperantorörelsen . Tillträdesdatum: 20 juni 2020.
  4. ↑ 1 2 3 Odinets V.P. Skisser om datavetenskapens historia: en lärobok . - Syktyvkar: Komi State Pedagogical Institute , 2013. - S. 96,100,156,177. — 421 sid. - 75 exemplar.  - ISBN 978-5-87661-246-5 .
  5. ↑ Personer: Tseitin Grigory Samuilovich . Math-Net.ru . Tillträdesdatum: 20 juni 2020.
  6. ↑ Tseitin G. S. Algoritmiska operatorer i konstruktiva metriska utrymmen  // 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 . Tillträdesdatum: 20 juni 2020.
  8. ↑ Laboratorium för intelligenta system (otillgänglig länk) . Forskningsinstitutet för matematik och mekanik. Akademiker V. I. Smirnov . Hämtad 20 juni 2020. Arkiverad från originalet 13 januari 2008. 
  9. ↑ Dr.  Gregory S Tseytin ACM . Tillträdesdatum: 20 juni 2020.
  10. ↑ Tseitin G.S. Associativ kalkyl med ett olösligt ekvivalensproblem  // 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. On the complexity of inferens in propositional calculus  // Notes of Scientific Seminars LOMI. - 1968. - T. 8 . - S. 234-259 . — ISSN 0373-2703 .
  12. ↑ Reviderad rapport om det algoritmiska språket Algol 68  //  Algol Bulletin. - 1981. - Augusti ( nr 47 ). — ISSN 0084-6198 .
  13. ↑ Terekhov A. N. En idés historia  // Datorverktyg i utbildning: tidskrift. - 2009. - Nr 2 . - S. 30-40 . — ISSN 2071-2359 .

Länkar

  Gå till Wikidata-objektet  I sociala nätverk
Tematiska platser