Tseytin, Grigorij Samuilovič

Grigorij Samuilovič Tseytin
Datum narození 15. listopadu 1936( 1936-11-15 )
Místo narození
Datum úmrtí 27. srpna 2022 (ve věku 85 let)( 2022-08-27 )
Místo smrti Campbell , Santa Clara (CA) , USA
Země
Místo výkonu práce
Alma mater LSU (matematika)
Akademický titul Doktor fyzikálních a matematických věd
vědecký poradce Andrej Andrejevič Markov [2]
webová stránka math.spbu.ru/user/tseyti…

Grigorij Samuilovič Tseitin ( 15. listopadu 1936 , Leningrad - 27. srpna 2022 , Campbell , Kalifornie , USA ) - sovětský a americký vědec v oboru matematiky a informatiky . Zabýval se problémy konstruktivní matematiky , výrokové logiky , teorie grup a matematické lingvistiky .

Životopis

V roce 1956 promoval na Matematicko-mechanické fakultě Leningradské státní univerzity (dnes St. Petersburg State University) a později pracoval ve Výzkumném ústavu matematiky a mechaniky (NIIMM) Leningradské státní univerzity [3] [4] . Od roku 1960 doktorát z fyziky a matematiky na Leningradské státní univerzitě, tématem disertační práce je "Algoritmické operátory v konstruktivních metrických prostorech" [5] [6] . Doktor fyzikálních a matematických věd (1968) [7] . Od roku 1970 do roku 2000 - vedoucí Laboratoře matematické lingvistiky (nyní Laboratoř inteligentních systémů) na Leningradské státní univerzitě NIIMM [8] .

Tseitin byl také jedním ze zakladatelů a hlavních učitelů Mládežnické matematické školy na Fakultě matematiky a mechaniky Leningradské státní univerzity [4] .

Tseitin se v 90. letech přestěhoval do USA. V letech 2000-2009 pracoval v IBM , v letech 2009-2013 působil jako výzkumný asistent na Stanfordské univerzitě [7] .

V roce 2006 byl Tseitin uznán jako čestný člen ( anglicky  Distinguished Member ) Asociace pro výpočetní techniku ​​[9] .

Tseitin je esperantista . V letech 2017-2020 byl tajemníkem Sanfranciské regionální organizace esperanta v San Franciscu ( anglicky  San Francisco Esperanto Regional Organization , SFERO) [7] .

Vědecké úspěchy

V roce 1956 Tseitin uvedl příklad pologrupy , pro kterou neexistuje žádný algoritmus, který rozpoznává rovnost slov  – takové pologrupy se nazývaly Tseitinovy ​​pologrupy [4] [10] .

V roce 1968 Tseitin vyvinul algoritmus pro redukci výrokových logických vzorců na CNF , nazvaný Tseitin transformace [11] .

Tseitin přispěl k vývoji programovacího jazyka Algol 68 a jeho implementaci pro počítač ES [12] [13] .

Poznámky

  1. ↑ 1 2 Hoffman R. LinkedIn  (anglicky) – 2003.
  2. ↑ Matematická genealogie  (anglicky) - 1997.
  3. ↑ Grigorij Tseitin. Stručné biografie některých významných mluvčích esperanta . Osobnosti esperantského hnutí . Datum přístupu: 20. června 2020.
  4. ↑ 1 2 3 Odinets V.P. Náčrtky k historii informatiky: učebnice . - Syktyvkar: Státní pedagogický ústav Komi , 2013. - S. 96,100,156,177. — 421 s. - 75 výtisků.  - ISBN 978-5-87661-246-5 .
  5. ↑ Osoby: Tseitin Grigory Samuilovich . Math-Net.ru . Datum přístupu: 20. června 2020.
  6. ↑ Tseitin G. S. Algoritmické operátory v konstruktivních metrických prostorech  // Proceedings of the SSSR Institute of Academy of Sciences: collection. - M .: Nakladatelství Akademie věd SSSR , 1962. -T. 67 . - S. 295-361 . — ISSN 0371-9685 .
  7. ↑ 1 2 3 Gregory  Tseytin . Linkedin . Datum přístupu: 20. června 2020.
  8. ↑ Laboratoř inteligentních systémů (nepřístupný odkaz) . Výzkumný ústav matematiky a mechaniky. Akademik V. I. Smirnov . Získáno 20. června 2020. Archivováno z originálu dne 13. ledna 2008. 
  9. ↑ Dr.  Gregory S Tseytin ACM . Datum přístupu: 20. června 2020.
  10. ↑ Tseitin G.S. Asociativní kalkul s neřešitelným problémem ekvivalence  // Proceedings of the SSSR Institute of Mathematics: collection. - M. - L .: Nakladatelství Akademie věd SSSR , 1958. - T. 52 . - S. 172-189 . — ISSN 0371-9685 .
  11. ↑ Tseytin G.S. O složitosti vyvozování ve výrokovém počtu  // Poznámky z vědeckých seminářů LOMI. - 1968. - T. 8 . - S. 234-259 . — ISSN 0373-2703 .
  12. ↑ Revidovaná zpráva o algoritmickém jazyce Algol 68  //  Bulletin Algol. - 1981. - srpen ( č. 47 ). — ISSN 0084-6198 .
  13. ↑ Terekhov A. N. Historie jedné myšlenky  // Počítačové nástroje ve vzdělávání: časopis. - 2009. - č. 2 . - S. 30-40 . — ISSN 2071-2359 .

Odkazy

  Přejděte na položku Wikidata  V sociálních sítích
Tematické stránky