Loading article…
ボリス・トラクテンブロート | |
|---|---|
 1994 | |
| 生まれる | 1921年2月19日 |
| 死亡 | 2016年9月19日（享年95歳） レホヴォト、イスラエル |
| 配偶者 |
ベルタ・I・ラビノビッチ
（ 1947年生まれ 、2013年死去 |
| 学歴 | |
| 母校 | ウクライナ科学アカデミー |
| 論文 | 有限クラスの決定可能性問題と有限集合の定義 (1950) |
| 博士課程の指導教員 | ピョートル・ノビコフ |
| 学術研究 | |
| 機関 | |
ボリス（ボアズ）・アブラモヴィチ・トラクテンブロト（ロシア語: Борис Авраамович Трахтенброт、ヘブライ語: בועז טרכטנברוט ; 1921年2月19日 - 2016年9月19日）は、ロシア系イスラエル人の数学者で、論理、アルゴリズム、計算理論、サイバネティクスを専門とする。
バイオグラフィー
トラフテンブロートは、ベッサラビア北部のブリチェヴォ（現在のモルドバ共和国ティルノヴァ）のユダヤ人家庭に生まれた。 [1]キシナウのモルドバ国立教育大学、チェルニウツィー大学、ウクライナ科学アカデミー数学研究所で学び、1950年に後者の研究所で博士号を取得した。[2]
彼は1960年代から1970年代にかけてノボシビルスクのアカデムゴロドクで働いていた。 [3] [4] 1964年にトラクテンブロートはギャップ定理と呼ばれる理論計算機科学における基本的な結果を発見し証明した。[5]彼はまた、現在トラクテンブロートの定理として知られている論理学、モデル理論、計算可能性理論における定理を発見し証明した。[6]
1981年にイスラエルに移住した後、テルアビブ大学の精密科学学部の教授となり、亡くなるまで名誉教授を務めた。2016年9月19日に95歳で亡くなった。[2] [7]
注記
- ^ 「T で始まる姓」。ロシア・ユダヤ人百科事典。Charny, Josif、Charny, Vitaly 訳。モスクワ。1995 年。2003 年 4 月 15 日時点のオリジナルよりアーカイブ。
{{cite encyclopedia}}: CS1 メンテナンス: 場所が見つかりません 発行者 (リンク) - ^ ab “Boaz (Boris) Trakhtenbrot, 1921–2016”. Faculty of Exact Sciences . Tel Aviv University. 2021年3月6日時点のオリジナルよりアーカイブ。
- ^ Борис Абрамович Трахтенброт [ボリス・A・トラクテンブロート]. Архив академика А.П. Ерлова (ロシア語)。 2011 年 7 月 26 日のオリジナルからアーカイブ。
- ^ 「ロシアにおけるコンピューティングの歴史」Борис Авраамович Трахтенброт [Boris Avraamovich Trahtenbrot] (ロシア語)。 2008 年 4 月 29 日のオリジナルからアーカイブ。2008 年1 月 22 日に取得。
- ^ Boris Trakhtenbrot (1964). 「対数遅延によるチューリング計算」.代数と論理学(ロシア語). 3 (4): 33–48.
- ^ ボリス・トラクテンブロート (1950)。「有限クラス上の決定可能性問題に対するアルゴリズムの不可能性」。ソ連科学アカデミー紀要(ロシア語)。70 ( 4): 569–572。
- ^ フィッシャー、ローレンス M. (2016 年 9 月 21 日)。「追悼: ボリス・トラクテンブロート、1921-2016」。Communications of the ACM。Association for Computing Machinery。
外部リンク
- DBLP書誌サーバーの Boris A. Trakhtenbrot
- コンピュータサイエンスの柱 ボリス（ボアズ）トラクテンブロットの85歳の誕生日を記念して捧げたエッセイ。コンピュータサイエンスの講義ノート。第4800巻。シュプリンガー。2008年。