グリゴリー・サムイロヴィッチ・ツェイティン | |
|---|---|
| 生まれる | （1936年11月15日）1936年11月15日 レニングラード、ソ連 |
| 死亡 | 2022年8月27日（2022年8月27日）（享年85歳） キャンベル、カリフォルニア州、米国 |
| 知られている | ツェイティン変換 |
| 科学者としてのキャリア | |
| フィールド | 数学、コンピュータサイエンス |
| 論文 | 構成的完全可分距離空間上のアルゴリズム作用素 （1960） |
| 博士課程の指導教員 | アンドレイ・アンドレーヴィチ・マルコフ |
グリゴリ・サムイロヴィッチ・ツェイチン（ロシア語：Григорий Самуилович Цейтин、1936年11月15日、ソ連のレニングラード生まれ、2022年8月27日、米国カリフォルニア州キャンベルで死去）は、ロシアの数学者、コンピュータ科学者であり、1999年に米国に移住した。彼は、SATソルバーで使用されるツェイチン変換、証明複雑性理論で使用されるツェイチントートロジー、およびAlgol 68に関する研究で最もよく知られている。[1]
バイオグラフィー
ツィティンは1951年から1956年までレニングラード国立大学（現サンクトペテルブルク国立大学）で数学を学び、1960年にアンドレイ・アンドレーヴィチ・マルコフの指導の下、博士号を取得した。博士論文のタイトルは「構成的完全分離距離空間におけるアルゴリズム作用素」であった。 [2] 1968年には同大学からロシアの博士号（ハビリテーションに相当）を取得した。1960年から2000年まで、ツィティンはサンクトペテルブルク国立大学（SPbSU）のスミルノフ数学・機械研究所[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”. award.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日に取得。
