Grigori Samuilowitsch Zeitin

russischer Mathematiker und Informatiker
(Weitergeleitet von Tseitin)

Grigori Samuilowitsch Zeitin (russisch Григорий Самуилович Цейтин, wiss. Transliteration Grigorij Samuilovič Cejtin; 15. November 1936 – 27. August 2022) war ein sowjetischer Mathematiker und Informatiker, der ab 1999 in den Vereinigten Staaten lebte.

Biographie

Bearbeiten

Zeitin studierte Mathematik und Mechanik an der Staatlichen Universität Leningrad (heute Staatliche Universität St. Petersburg) und promovierte dort 1960 über „Algorithmic Operators on Constructive Complete Separable Metric Spaces“[1]. Mit Sergei Fitialow hatte er zwei Bücher zur Maschinellen Übersetzung verfasst, die 1958 erschienen waren. 1968 erhielt Zeitin den russischen Doktorgrad (entsprechend einer Habilitation) an der Universität Leningrad. Von 1969 bis 2000 war Zeitin am Smirnov Scientific Research Institute of Mathematics and Mechanics[2] tätig.

In den 1990er Jahren zog Zeitin in die Vereinigten Staaten und arbeitete von Dezember 2000 bis 2009 bei IBM. Ab 2009 arbeitete er als Researcher und Visiting Scholar an der Stanford University.[3]

2006 wurde Zeitin als Distinguished Member durch die ACM ausgezeichnet.[4]

Ab September 2017 war Zeitin Sekretär der San Francisco Esperanto Regional Organization (SFERO).[3]

Arbeiten

Bearbeiten

Der Name von Zeitin ging in die Lehrbücher über formale Logik ein, weil er die Zeitin-Transformation entwickelt hat.

Zeitin leistete einen Beitrag zur Entwicklung der Programmiersprache Algol 68.[5]

Schriften

Bearbeiten
  • G. S. Zeitin. „On the complexity of derivation in propositional calculus“ in: J. Siekmann and G. Wrightson, editors, Automation of Reasoning 2: Classical Papers on Computational Logic 1967–1970, S. 466–483. Berlin, Heidelberg, 1983.
Bearbeiten

Einzelnachweise

Bearbeiten
  1. Grigori Samuilowitsch Zeitin im Mathematics Genealogy Project (englisch)
  2. St Petersburg State University / Mathematic-Mechanical Faculty / Smirnov Scientific Research Institute of Mathematics and Mechanics. In: istc.int. Abgerufen am 25. Dezember 2018.
  3. a b Gregory Tseytin. In: linkedin.com. Abgerufen am 25. Dezember 2018 (englisch).
  4. Dr. Gregory S Tseytin. In: awards.acm.org. Abgerufen am 25. Dezember 2018.
  5. A. van Wijngaarden, B.J. Mailloux, J.E.L. Peck, C.H.A. Koster, M. Sintzoff, C.H. Lindsey, L.G.T. Meertens, R.G.Fisker: Revised Report on the Algorithmic Language ALGOL 68. (PDF; 4,42 MB) In: softwarepreservation.org. 1970, abgerufen am 25. Dezember 2018 (englisch).