Tseytin, Grigory Samuilovich

Grigory Samuilovich Tseytin
Syntymäaika 15. marraskuuta 1936( 11.15.1936 )
Syntymäpaikka
Kuolinpäivämäärä 27. elokuuta 2022 (85-vuotias)( 27.8.2022 )
Kuoleman paikka Campbell , Santa Clara (CA) , Yhdysvallat
Maa
Työpaikka
Alma mater LSU (mathmech)
Akateeminen tutkinto Fysikaalisten ja matemaattisten tieteiden tohtori
tieteellinen neuvonantaja Andrey Andreevich Markov [2]
Verkkosivusto math.spbu.ru/user/tseyti…

Grigory Samuilovich Tseitin ( 15. marraskuuta 1936 , Leningrad - 27. elokuuta 2022 , Campbell , Kalifornia , USA ) - Neuvostoliiton ja amerikkalainen tiedemies matematiikan ja tietojenkäsittelytieteen alalla . Hän käsitteli konstruktiivisen matematiikan , lauselogiikan , ryhmäteorian ja matemaattisen kielitieteen ongelmia .

Elämäkerta

Vuonna 1956 hän valmistui Leningradin valtionyliopiston (nykyisen Pietarin osavaltion yliopiston) matematiikan ja mekaniikan tiedekunnasta ja työskenteli myöhemmin Leningradin valtionyliopiston matematiikan ja mekaniikan tutkimuslaitoksessa (NIIMM) [3] [4] . Vuodesta 1960 lähtien Fysiikan ja matematiikan tohtori, Leningradin osavaltion yliopisto, väitöskirjan aiheena on "Algoritmiset operaattorit konstruktiivisissa metrisissä tiloissa" [5] [6] . Fysikaalisten ja matemaattisten tieteiden tohtori (1968) [7] . Vuodesta 1970 vuoteen 2000 - NIIMM Leningradin valtionyliopiston matemaattisen kielitieteen laboratorion (nykyisin älykkäiden järjestelmien laboratorion) johtaja [8] .

Tseitin oli myös yksi Nuorten matemaattisen koulun perustajista ja pääopettajista Leningradin valtionyliopiston matematiikan ja mekaniikan tiedekunnassa [4] .

Tseitin muutti Yhdysvaltoihin 1990-luvulla. Vuosina 2000-2009 hän työskenteli IBM :llä , vuosina 2009-2013 hän työskenteli tutkimusassistenttina Stanfordin yliopistossa [7] .

Vuonna 2006 Tseitin tunnustettiin Association for Computing Machinery [9] kunniajäseneksi ( englanniksi  Distinguished Member ) .

Tseitin on esperantisti . Vuosina 2017-2020 hän oli San Franciscon esperantoalueorganisaation sihteeri ( englanniksi  San Francisco Esperanto Regional Organization , SFERO) [7] .

Tieteelliset saavutukset

Vuonna 1956 Tseitin antoi esimerkin puoliryhmästä , jolle ei ole algoritmia, joka tunnistaisi sanojen yhtäläisyyden  - tällaisia ​​puoliryhmiä kutsuttiin Tseitinin puoliryhmiksi [4] [10] .

Vuonna 1968 Tseitin kehitti algoritmin lauselogiikkakaavojen pelkistämiseksi CNF :ksi , nimeltään Tseitin-muunnos [11] .

Tseitin osallistui Algol 68 -ohjelmointikielen kehittämiseen ja sen toteuttamiseen ES-tietokoneelle [12] [13] .

Muistiinpanot

  1. ↑ 1 2 Hoffman R. LinkedIn  (englanniksi) - 2003.
  2. ↑ Matemaattinen sukututkimus  (englanniksi) - 1997.
  3. ↑ Grigori Tseitin. Lyhyet elämäkerrat joistakin merkittävistä esperantonpuhujista . Esperantoliikkeen henkilöitä . Käyttöönottopäivä: 20.6.2020.
  4. ↑ 1 2 3 Odinets V.P. Luonnokset tietojenkäsittelytieteen historiasta: oppikirja . - Syktyvkar: Komin valtion pedagoginen instituutti , 2013. - S. 96,100,156,177. — 421 s. - 75 kappaletta.  - ISBN 978-5-87661-246-5 .
  5. ↑ Henkilöt: Tseitin Grigory Samuilovich . Math-Net.ru . Käyttöönottopäivä: 20.6.2020.
  6. ↑ Tseitin G. S. Algoritmiset operaattorit konstruktiivisissa metrinen avaruudessa  // Neuvostoliiton tiedeakatemian instituutin julkaisut: kokoelma. - M . : Neuvostoliiton tiedeakatemian kustantamo , 1962 . - T. 67 . - S. 295-361 . — ISSN 0371-9685 .
  7. ↑ 1 2 3 Gregory  Tseytin . Linkedin . Käyttöönottopäivä: 20.6.2020.
  8. ↑ Älykkäiden järjestelmien laboratorio (pääsemätön linkki) . Matematiikan ja mekaniikan tutkimuslaitos. Akateemikko V. I. Smirnov . Haettu 20. kesäkuuta 2020. Arkistoitu alkuperäisestä 13. tammikuuta 2008. 
  9. ↑ Dr.  Gregory S Tseytin ACM . Käyttöönottopäivä: 20.6.2020.
  10. ↑ Tseitin G.S. Assosiatiivinen laskenta, jossa on ratkaisematon ekvivalenssiongelma  // Proceedings of the USSR Institute of Mathematics: kokoelma. - M. - L .: Neuvostoliiton tiedeakatemian kustantamo , 1958. - T. 52 . - S. 172-189 . — ISSN 0371-9685 .
  11. ↑ Tseytin G.S. Päätelmien monimutkaisuudesta lauselaskennassa  // Notes of Scientific Seminars LOMI. - 1968. - T. 8 . - S. 234-259 . — ISSN 0373-2703 .
  12. ↑ Algoritmisen kielen tarkistettu raportti Algol 68  //  Algol Bulletin. - 1981. - elokuu ( nro 47 ). — ISSN 0084-6198 .
  13. ↑ Terekhov A. N. Yhden idean historia  // Tietokonetyökalut koulutuksessa: lehti. - 2009. - Nro 2 . - S. 30-40 . — ISSN 2071-2359 .

Linkit

  Siirry Wikidata-kohteeseen  Sosiaalisissa verkostoissa
Temaattiset sivustot