Loading article…
サミュエル・R・（サム）・バス（1957年8月6日生まれ）は、アメリカのコンピュータ科学者であり数学者で、数理論理学、計算複雑性理論、証明複雑性の分野に多大な貢献をしてきた。現在はカリフォルニア大学サンディエゴ校のコンピュータ科学科および数学科の教授を務めている。
バスは1979年にエモリー大学で学士号を、 1983年にプリンストン大学 で修士号を、1985年に同大学で博士号をそれぞれ取得した。1986年にカリフォルニア大学バークレー校の数学科に講師として着任し、1988年まで在籍した。1988年にはカリフォルニア大学サンディエゴ校のコンピュータサイエンス学科および数学科の助教授に就任し、1993年に教授に昇進した。
2019年、ブスは「全体性、証明可能性、実現可能性」と題したゲーデル講演を行った。
Bussは、限定算術と証明複雑性の先駆者の一人と考えられている。[ 1 ]
Bussは博士課程在学中、有界算術の研究に取り組みました。彼は1985年に博士号を取得しました。博士論文で有界算術を導入し、多項式時間計算の優れた証明論的特徴付けを行いました。彼の博士論文は、有界算術の分野における主要な参考文献の1つです。[ 2 ]また、彼は数理論理学とコンピュータサイエンスに関するいくつかの書籍の著者/編集者でもあります。[ 3 ]
Bussは1983年に、ブール式評価問題がALogTimeに属することを証明した。これは計算複雑性理論における重要な成果である。
彼の主な研究分野は、数理論理学、計算複雑性理論、証明複雑性である。その他、彼が貢献してきた分野には、限定算術、限定逆算術、命題論理証明体系における下限などがある。