アンジェイ・エーレンフォイヒト

アンドレイ・エーレンフォイヒト（ポーランド語: [ˈand.ʐɛj ˈɛrɛnfɔjxt]、1932年8月8日生まれ）は、ポーランド系アメリカ人の数学者、コンピュータ科学者である。

人生

Andrzej Ehrenfeucht は、Roland Fraïsséの博士論文で示された往復法を使用して、Ehrenfeucht–Fraïssé ゲームを定式化しました。エーレンフォイヒトにちなんで、エーレンフォイヒト-ミシエルスキー数列という名前も付けられます。

1971 年、エレンフォイヒトはコロラド大学ボルダー校のコンピュータサイエンス学部の創設メンバーの 1 人でした。現在は同大学で教鞭をとり、研究を行っており、パトリシアバゲットとともに「breaking away」プロジェクトを運営しています。このプロジェクトでは、実践的な活動を通じて、高校生の数学とテクノロジーへの興味を高めることを目指しています。

エーレンフォイヒトの教え子であるユージン・マイヤーズとデイヴィッド・ハウスラーの2人は、ヒトゲノムの配列決定に貢献した。彼らはハロルド・ガボウ、ロス・マッコーネル、グジェゴシュ・ローゼンバーグとともに、2012年にコロラド大学で行われたエーレンフォイヒトの80歳の誕生日を祝う2日間のシンポジウムで講演した。^[1]

彼を称えて2つの雑誌が発行されており、1つは彼の65歳の誕生日を記念した『Lecture Notes in Computer Science』^{[2] 、もう1つは彼の80歳の誕生日を記念した}『Theoretical Computer Science』^[3]である。

Andrzej Ehrenfeucht、Tero Harju、Ion Petre、David M. Prescott、Grzegorz Rozenberg、Computation in Living Cells: Gene Assembly in Ciliates、Springer、2004、ISBN 3-540-40795-2
パトリシア・バゲット、アンジェイ・エーレンフォイヒト『数学の本からの脱却：K-6年生向けのクリエイティブプロジェクト』、ISBN 1-56676-299-5
Andrzej Ehrenfeucht、Tero Harju、Grzegorz Rozenberg、「2 構造の理論: グラフの分解と変換のフレームワーク」、World Scientific、1999 年、ISBN 981-02-4042-2

(Wirtualna Biblioteka Nauki からアクセス可能)

Chen Chung Chang、Andrzej Ehrenfeucht、「アーベル群の特徴付け」、Fundamenta Mathematicae、第51巻、第2号、1962年、141-147ページ。
Andrzej Ehrenfeucht、「形式化された理論の完全性問題へのゲームの応用」、Fundamenta Mathematicae、第49巻、第2号、1960年、129-141ページ。
Andrzej Ehrenfeucht、「権力における定言論について」、Fundamenta Mathematicae、vol. 44、いいえ。 2、1957年、241-248ページ。
Andrzej Ehrenfeucht、Andrzej Mostowski、「自己同型を認める公理理論のモデル」、Fundamenta Mathematicae、1956 年、vol. 43、いいえ。 1、50-68ページ。

^ 「コンピューターサイエンスの著名な教授、アンジェイ・エーレンフォイヒトの80歳の誕生日シンポジウム」コロラド大学ボルダー校。2016年3月4日時点のオリジナルよりアーカイブ。 2012年8月19日閲覧。
^ Jan Mycielski、Grzegorz Rozenberg、Arto Salomaa (編)：論理とコンピュータサイエンスの構造、Andrzej Ehrenfeucht を称えるエッセイ集。コンピュータサイエンスの講義ノート 1261 Springer 1997、ISBN 3-540-63246-8、ページ IX はダウンロード可能。2009 年 4 月 29 日にアクセス
^ Rozenberg, G. (2012年10月5日). 「形式的および自然なコンピューティング: Andrzej Ehrenfeucht 生誕80周年を記念して (特別号)」.理論計算機科学. 457 : 1–180. doi : 10.1016/j.tcs.2012.07.015 .
^ アニタ・B・フェファーマンとソロモン・フェファーマン、『アルフレッド・タルスキ：人生と論理』ケンブリッジ大学出版局、2004年。ISBN 0-521-80240-7、239～242頁。