グリゴリー・ツェティン

グリゴリー・サムイロヴィッチ・ツェイチン（ロシア語：Григорий Самуилович Цейтин、1936年11月15日、ソ連のレニングラード生まれ、2022年8月27日、米国カリフォルニア州キャンベルで死去）は、1999年に米国に移住したロシアの数学者、コンピュータ科学者である。彼は、 SATソルバーで使用されるツェイチン変換、証明複雑性理論で使用されるツェイチントートロジー、およびAlgol 68に関する研究で最もよく知られている。^[1]

バイオグラフィー

ツィティンは1951年から1956年までレニングラード国立大学（現サンクトペテルブルク国立大学）で数学を学んだ。1960年に「構成的完全分離距離空間上のアルゴリズム演算子」で博士号を取得した。^[2] 1968年に同大学からロシアの博士号（ハビリテーションに相当）を取得した。1960年から2000年までツィティンはスミルノフ数学機械科学研究所^[3]に勤務し、母校でコンピュータサイエンスの授業を担当した。

2006年、ツィティンはACMから著名な科学者として認められました。^[4]

作品

GS Tseitin. 「命題計算における導出の複雑さについて」、J. Siekmann および G. Wrightson 編『Automation of Reasoning 2: Classical Papers on Computational Logic 1967–1970』、466–483 ページ。ベルリン、ハイデルベルク、1983 年。

参考文献

^ A. ファンワインガルデン、BJ マイルー、JEL ペック、CHA コスター、M. シンツォフ、CH リンゼイ、LGT メールテンス、RGFisker (1970)。「アルゴリズム言語 ALGOL 68 に関する改訂レポート」(PDF; 4,42 MB)。ソフトウェア保存.org 。2018年12月25日に取得。{{cite web}}: CS1 maint: 複数の名前: 著者リスト (リンク)
^ 数学系譜プロジェクトのグリゴリー・ツェイティン
^ 「サンクトペテルブルク国立大学 / 数学・機械学部 / スミルノフ数学・機械科学研究所」Istc.int 。 2018年12月25日閲覧。
^ “Dr. Gregory S Tseytin”. awards.acm.org . 2020年6月22日時点のオリジナルよりアーカイブ。2018年12月25日閲覧。

外部リンク

「人物: ツェイティン・グリゴリー・サムイロヴィチ」。Mathnet.ru 。2018年12月25日に取得。
「Григорий Самуилович Цейтин」。Cshistory.nsu.ru (ロシア語) 。2018年12月25日に取得。
「Деятели международного эсперанто-движения. Григорий Цейтин」。Slavik.babil.komputilo.org (ロシア語) 。2018年12月25日に取得。

[1] A. ファンワインガルデン、BJ マイルー、JEL ペック、CHA コスター、M. シンツォフ、CH リンゼイ、LGT メールテンス、RGFisker (1970)。「アルゴリズム言語 ALGOL 68 に関する改訂レポート」(PDF; 4,42 MB)。ソフトウェア保存.org 。2018年12月25日に取得。{{cite web}}: CS1 maint: 複数の名前: 著者リスト (リンク)

[2] 数学系譜プロジェクトのグリゴリー・ツェイティン

[3] 「サンクトペテルブルク国立大学 / 数学・機械学部 / スミルノフ数学・機械科学研究所」Istc.int 。 2018年12月25日閲覧。

[4] “Dr. Gregory S Tseytin”. awards.acm.org . 2020年6月22日時点のオリジナルよりアーカイブ。2018年12月25日閲覧。