Grigori Tseitin

G. S. Tseitin
Biographie
Naissance
Décès
(à 85 ans)
Nationalités
Formation
Activités
Autres informations
A travaillé pour
Directeur de thèse
Site web

Grigori Samuilovitch Tseitin (en russe : Григорий Самуилович Цейтин), né le à Léningrad, URSS, décédé le à Campbell, Californie, États-Unis) est un mathématicien et informaticien russe, qui a déménagé aux États-Unis en 1999. Il est surtout connu pour la transformation de Tseitin utilisée dans les solveurs SAT , les tautologies Tseitin utilisées dans la théorie de la complexité de la preuve et pour ses travaux sur Algol 68[1].

Biographie

Tseitin étudie les mathématiques à l'Université d'État de Leningrad (aujourd'hui l'Université d'État de Saint-Pétersbourg) en 1951-1956. Il obtient son doctorat en 1960 avec une thèse sur les "Opérateurs algorithmiques sur des espaces métriques séparables complets constructifs"[2]. En 1968, il obtient le doctorat russe (correspondant à une habilitation) de la même université. De 1960 à 2000, Tseitin travaille à l'Institut de recherche scientifique Smirnov en mathématiques et mécanique[3] et enseigne des cours d'informatique à son alma mater.

En 2006, Tseitin est reconnu scientifique émérite par l'Association for Computing Machinery (ACM)[4].

Publications

  • G.S. Tseitin. "On the complexity of derivation in propositional calculus" dans: J. Siekmann et G. Wrightson, éditeurs, Automation of Reasoning 2: Classical Papers on Computational Logic 1967–1970, S. 466–483. Berlin, Heidelberg, 1983.

Liens externes

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Grigori Tseitin » (voir la liste des auteurs).
  1. ↑ (en) 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], softwarepreservation.org, (consulté le )
  2. ↑ (en) « Grigori Tseitin », sur le site du Mathematics Genealogy Project
  3. ↑ « St Petersburg State University / Mathematic-Mechanical Faculty / Smirnov Scientific Research Institute of Mathematics and Mechanics », Istc.int (consulté le )
  4. ↑ « Dr. Gregory S Tseytin », awards.acm.org (consulté le )
Personnalité russe de l'informatique (17)
Mathématicien russe du XXIe siècle (48)
Mathématicien russe du XXe siècle (133)
Naissance en RSFS de Russie (4157)
Dernière mise à jour du contenu le .
Droit d'auteur : le texte de l'article est disponible sous la licence CC BY-SA 3.0.
Les détails concernant les licences et crédits des images sont disponibles en cliquant sur l'image.
Le site Wikimonde est un agrégateur d'articles encyclopédiques, il n'est pas à l'origine du contenu des articles, ni des images.
Le contenu de cet article est une copie de l'article d'origine (//fr.wikipedia.org/wiki/Grigori_Tseitin) publié sur Wikipédia (wiki collaboratif publié sous licence libre).
Le contenu des articles n'est pas garanti.
Le texte des articles n'est pas modifié par Wikimonde. Des modifications mineures de mise en page et des liens internes (pour faciliter la navigation) peuvent être effectués automatiquement.
Des crédits concernant les images peuvent être ajoutés automatiquement selon les informations fournis par le site d'origine.
Les images sont chargées depuis des sites externes, certaines peuvent ne pas s'afficher.
Auteurs de cet article « Grigori Tseitin » :
WikiCleanerBot, Cbyd, DSisyphBot, Lillian Rínkū.