チューリング次数の半順序に関する長年の未解決問題であったロジャースの同次性予想は、リチャード・アーノルド・ショアによって解決されました。1946年生まれの彼は、特定の点より上のチューリング次数の構造が同型ではないことを証明し、論理学コミュニティが数十年にわたって挑んできた問いに決定的な答えを出しました。
学術的背景
ショアはマサチューセッツ工科大学とハーバード大学という2つの主要な機関で正式な教育を修了しました。これらの研究期間は、数理論理学における関数の計算可能性と未解決問題の構造を調べる分野である再帰理論に焦点を当てたキャリアへの準備となりました。
論理学への貢献
ロジャース予想に関する研究以外にも、ショアはセオドア・スラマンと共同で、チューリング次数の半順序内でのチューリングジャンプの定義可能性を証明しました。彼の研究は、これらの次数の構造的複雑さに焦点を当てることが多く、相対的計算可能性と非決定性の階層に関する数学的理解に貢献しています。
専門職と貢献
ショアはプロとしてのキャリアを通じて、1983年から2013年までコーネル大学の教員として重要な存在であり続けました。また、1984年から1993年までの『Journal of Symbolic Logic』や1993年から2000年までの『Bulletin of Symbolic Logic』での編集職など、論理学の運営にも貢献しました。
評価と受賞
ショアはその分野への貢献により数学コミュニティから評価されています。1983年にワルシャワで開催された国際数学者会議では招待講演者として、相対的計算可能性による関数の順序付けについて発表しました。2009年にはゲーデル講師に選出され、「逆数学：論理学の遊び場」と題した講演を行いました。2012年にはアメリカ数学会のフェローに選出されました。
基本情報
- 生年: 1946年 - 国籍: アメリカ合衆国 - 主な分野: 再帰理論 - 所属機関: コーネル大学 (1983-2013) - ゲーデル講師: 2009年 - アメリカ数学会フェロー: 2013年
よくある質問
### リチャード・ショアはどこで学びましたか？
マサチューセッツ工科大学とハーバード大学で学位を取得しました。
### リチャード・ショアの主な研究分野は何ですか？
再帰理論とチューリング次数の半順序に関する研究で知られる論理学者であり数学者です。
