リチャード・ショア

リチャード・A・ショア
生まれる	1946年8月18日（年齢  （1946年8月18日）79）
市民権	アメリカ人
母校	マサチューセッツ工科大学
科学者としてのキャリア
フィールド	数学
機関	コーネル大学
論文	アルファ再帰理論における優先権の議論 （1972年）
博士課程の指導教員	ジェラルド・E・サックス

リチャード・アーノルド・ショア（1946年8月18日生まれ）は、コーネル大学の数学教授であり、再帰理論を専門としています。特に、チューリング次数の半順序に関する研究で知られています。 ${\displaystyle {\mathcal {D}}}$

• ショアは、チューリング次数とが存在し、それぞれと上の次数の構造が同型ではないことを示して、ロジャーズの同次性予想を解決した。[ 1 ^]${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle {\mathcal {D}}_{a}}$ ${\displaystyle {\mathcal {D}}_{b}}$ ${\displaystyle a}$ ${\displaystyle b}$
• セオドア・スラマンとの共同研究で、ショアはチューリングジャンプが で定義可能であることを示した。^[2]${\displaystyle {\mathcal {D}}}$

キャリア

1983年、ワルシャワで開催された国際数学者会議に招待講演者として招かれ、 「解けない度合い：相対的計算可能性による関数の順序付け」と題した講演を行った。2009年にはゲーデル講演者（「逆数学：論理の遊び場」）を務めた。^{[3] 1984年から1993年まで『} Journal of Symbolic Logic』、1993年から2000年まで『Bulletin of Symbolic Logic』の編集者を務めた。2012年、アメリカ数学会フェローに就任した。^[4]

参考文献

1. Shore, RA (1979). 「同質性予想」.米国科学アカデミー紀要. 76 (9): 4218– 4219. Bibcode :1979PNAS...76.4218S. doi : 10.1073/pnas.76.9.4218 . JSTOR  70054. PMC  411543. PMID  16592707 .
2. Shore, RA; Slaman, TA (1999). 「チューリングジャンプの定義」. Math. Res. Lett . 6 ( 5–6 ): 711– 722. doi : 10.4310/MRL.1999.v6.n6.a10 .
3. “ゲーデル講義、記号論理学協会”. 2015年9月23日時点のオリジナルよりアーカイブ。2015年11月3日閲覧。
4. アメリカ数学会フェロー一覧 Archived 2018-08-25 at the Wayback Machine、2013-07-18取得。

外部リンク

• コーネル数学 - リチャード A. ショア。
• 数学系譜プロジェクトのリチャード・ショア
• MathSciNet - リチャード・A・ショア