Loading article…
ラリー・ウォス | |
|---|---|
| 生まれる | ローレンス・T・ウォス 1930 |
| 死亡 | 2020年8月21日 |
| 知られている | 定理の証明 |
| 受賞歴 | エルブラン賞 (1992) |
| 科学者としてのキャリア | |
| 論文 | ノルムの可換素冪群について (1957) |
ローレンス・T・ウォス（1930年 - 2020年）はアメリカの数学者であり、アルゴンヌ国立研究所の数学・コンピュータサイエンス部門の研究者であった。[1]
バイオグラフィー
ウォスはシカゴ大学で学び、1950年に学士号、1954年に数学の修士号を取得し、イリノイ大学アーバナ・シャンペーン校で博士課程に進み、1957年にラインホルド・ベアの指導の下で博士号を取得した。[2] 1957年にアルゴンヌ国立研究所に入所し、1963年にコンピュータを使用して数学の定理を証明し始めた。[3] [4]
ウォスは先天的に盲目であった。彼は熱心なボウラーであり、米国で最高の盲目の男性ボウラーであった。[5] [6] [7]
受賞と栄誉
1982年、ウォスと彼の同僚のスティーブ・ウィンカーは、アメリカ数学会が授与する自動定理証明賞を受賞した最初の人物となった。[5] 1992年、ウォスは自動推論の分野への貢献によりエルブランド賞を 受賞した最初の人物となった。[8]彼を称える記念論文集である「Automated reasoning and its applications: essays in honor of Larry Wos」 （ロバート・ベロフ編）が、1997年にMIT Pressから出版された（ISBN 0-262-22055-5）。
書籍
Wos と Gail W. Pieper は、『A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning』 (World Scientific、1999 年、ISBN 978-981-02-3910-7 ) および『Automated Reasoning and the Discovery of Missing and Elegant Proofs』 (Rinton Press、2003 年、ISBN 1-58949-023-1 ) の共著者です。Wos の全集は 2000 年に World Scientific から 2 巻本 ( ISBN 978-981-02-4001-1 )として出版されました。
参考文献
- ^ Larry Wos の Argonne のホームページ、2010 年 10 月 3 日閲覧。
- ^ 数学系譜プロジェクトのラリー・ウォス
- ^ オバーミラー、ティム・アンドリュー（1997 年 4 月）、「彼の最高のゲーム」、シカゴ大学マガジン。
- ^ディック、 ステファニー（2011年9月）。「AfterMath：人間と機械のコラボレーション時代の証明作業」Isis。102 （3）。シカゴ大学出版局：494–505。doi ：10.1086/661623。JSTOR 10.1086 / 661623。PMID 22073773。S2CID 24778586 。
- ^ シカゴ・トリビューン、1982年11月18日。
- ^ ヴァン、ジョン（1982年1月24日）「盲目は成功への道で後退した」シカゴ・トリビューン。
- ^ モンゴメリー、ポール L. (1977 年 5 月 27 日)、「盲目の数学者がボウリングに解析的手法を適用」、ニューヨーク タイムズ。
- ^ Deepak Kapur (1992)、自動演繹、CADE-11: 第11回自動演繹国際会議
外部リンク
- DBLPの出版物リスト
- マリア・パオラ・ボナチーナ（フランツ・バーダー、アラン・バンディ、ウルリッヒ・ファーバッハ、フランク・フェニング、ジョン・スレイニー、クリストフ・ヴァイデンバックと共演）「追悼：ラリー・ウォス」