ポール・シュップ

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

彼は1966年にロジャー・リンドンの指導の下、ミシガン大学で博士号を取得した。

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

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

参考文献