Grigory Samuilowitsch Zeitin

Grigori Samuilowitsch Zeitin ( Russian: Григорий Самуилович Цейтин , scientific transliteration Grigorij Samuilovič Cejtin ; * 1936 ) is a Russian mathematician and computer scientist who now lives in the United States.

biography

Zeitin studied mathematics and mechanics at the Leningrad State University (today St. Petersburg State University) and received his doctorate there in 1960 on "Algorithmic Operators on Constructive Complete Separable Metric Spaces". In 1968 he received the Russian doctoral degree (corresponding to a habilitation) at the University of Leningrad . From 1969 to 2000, Zeitin worked at the Smirnov Scientific Research Institute of Mathematics and Mechanics .

In the 1990s, Zeitin moved to the United States and worked at IBM from December 2000 to 2009 . Since 2009 he has been working as a researcher and visiting scholar at Stanford University .

In 2006 Zeitin was named a Distinguished Member by the ACM .

Zeitin has been secretary of the San Francisco Esperanto Regional Organization (SFERO) since September 2017 .

Work

Zeitin's name went into textbooks on formal logic because he developed the Zeitin transformation .

Zeitin contributed to the development of the programming language Algol 68 .

Fonts

GS time "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 , pp. 466–483. Berlin, Heidelberg, 1983.

Web links

Persons: Tseitin Grigorii Samuilovich. In: mathnet.ru. Retrieved December 25, 2018(English).
Григорий Самуилович Цейтин. In: cshistory.nsu.ru. Retrieved December 25, 2018(Russian).
Деятели международного эсперанто-движения. Григорий Цейтин. In: slavik.babil.komputilo.org. Retrieved December 25, 2018(Russian).

Individual evidence

↑ Grigori Samuilowitsch Zeitin in the Mathematics Genealogy Project (English)
^ St Petersburg State University / Mathematic-Mechanical Faculty / Smirnov Scientific Research Institute of Mathematics and Mechanics. In: istc.int. Retrieved December 25, 2018 .
↑ ^a ^b Gregory Tseytin. In: linkedin.com. Accessed December 25, 2018 .
↑ Dr. Gregory S Tseytin. In: awards.acm.org. Retrieved December 25, 2018 .
↑ A. van Wijngaarden, BJ Mailloux, JEL Peck, CHA Koster, M. Sintzoff, CH Lindsey, LGT Meertens, RGFisker: Revised Report on the Algorithmic Language ALGOL 68. (PDF; 4.42 MB) In: softwarepreservation.org. 1970, accessed December 25, 2018 .

personal data
SURNAME	Zeitin, Grigory Samuilovich
ALTERNATIVE NAMES	Цейтин, Григорий Самуилович (Russian)
BRIEF DESCRIPTION	Russian mathematician and computer scientist
DATE OF BIRTH	1936

[1] Grigori Samuilowitsch Zeitin in the Mathematics Genealogy Project (English)

[2] St Petersburg State University / Mathematic-Mechanical Faculty / Smirnov Scientific Research Institute of Mathematics and Mechanics. In: istc.int. Retrieved December 25, 2018 .

[:0-3] Gregory Tseytin. In: linkedin.com. Accessed December 25, 2018 .

[4] Dr. Gregory S Tseytin. In: awards.acm.org. Retrieved December 25, 2018 .

[5] A. van Wijngaarden, BJ Mailloux, JEL Peck, CHA Koster, M. Sintzoff, CH Lindsey, LGT Meertens, RGFisker: Revised Report on the Algorithmic Language ALGOL 68. (PDF; 4.42 MB) In: softwarepreservation.org. 1970, accessed December 25, 2018 .