ポール・シュップ

ポール・ユージン・シュップ（1937年3月12日 - 2022年1月24日）は、アメリカ生まれのイギリス人であり、イリノイ大学アーバナ・シャンペーン校の数学の名誉教授である。彼は、幾何群論、計算複雑性、計算可能性理論への貢献で知られている。^[1]

彼はロジャー・リンドンとともに、1910年代から1970年代後半のデーンの研究から始まり、現在でも小相殺理論の主題の現代の標準となっている組合せ群論の主題に関する包括的な説明を提供した書籍「組合せ群論」の共著者である。 [ ^1] 1980年代から、彼は群論とコンピュータサイエンスおよび複雑性理論との関係を探る問題に取り組んだ。彼はデビッド・ミュラーとともに、有限生成群 Gが文脈自由単語問題を持つのはGが事実上自由である場合のみであることを証明した。これは現在ミュラー・シュップ定理として知られている。^[2]

1977年、シュップはグッゲンハイムフェローシップを受賞した。2012年、彼はアメリカ数学会の初代フェローに任命された。2017年には、スティーブンス工科大学でポール・シュップの数学的貢献を称える会議「群と計算」が開催された。^[3]シュップは2022年1月24日に84歳で亡くなった。^[4]

参考文献

^ ab Kapovich, Ilya (2010). 「ポール・E・シュップの数学的貢献について」イリノイ数学ジャーナル. 54 : 1–9. doi : 10.1215/ijm/1299679735 . MR 2776982.
^ David E. Muller、Paul E. Schupp、「グループ、目的理論、文脈自由言語」。Journal of Computer and System Sciences 26 (1983)、第3号、295–310ページ
^ 「カンファレンス『群と計算: 幾何群論、計算可能性、コンピュータサイエンスの相互作用』」スティーブンス工科大学。 2020年4月5日閲覧。
^ “ポール・シュープ氏、84歳で死去”. 2022年1月24日. 2024年11月22日閲覧。