Loading article…
ロバート・アーヴィング・ソアレはアメリカの数学者。1967年よりシカゴ大学数学・コンピュータサイエンス科のポール・スノーデン・ラッセル特別教授を務めている。カール・ジョクシュとともに低基底定理を証明し、主に計算可能性理論の分野で数理論理学の研究を行っている。シカゴ大学での博士課程の学生にはバーバラ・シマがいる。[1]
2012年に彼はアメリカ数学会の会員になった。[2]
主な出版物
- Soare, R. (2016).チューリング計算可能性 - 理論と応用. Springer-Verlag. ISBN 978-3-642-31932-7。
- Soare, R. (1987)。再帰的に列挙可能な集合と次数。数理論理学の展望。Springer- Verlag。ISBN 3-540-15299-7。
- CG Jockusch Jr.とRI Soare、「Π(0, 1)クラスと理論の次数」アメリカ数学会誌（1972年）。[1]
参照
参考文献
- ^ 数学系譜プロジェクトのロバート・I・ソアレ
- ^ アメリカ数学会フェロー一覧、2013年7月26日閲覧。
外部リンク
- プロフェッショナルホームページ