S._Barry_Cooper
S.バリークーパー(1943年10月9日– 2015年10月26日)は、英国の数学者および計算可能性理論家でした。彼はの教授だった純粋数学のリーズ大学。
S.バリークーパー
生まれ(1943-10-09)1943年10月9日
ボグナーレジス、
ウエストサセックス、イギリス
死亡しました
2015年10月26日(2015-10-26)(72歳)
国籍
イギリス
母校
オックスフォード大学(ジーザスカレッジ)
で知られている
アソシエーションCiE、アランチューリングイヤー 賞 名誉博士(ソフィア大学、2011年)
科学的キャリア
機関
リーズ大学
定説
解けない程度 (1970)
指導教官
グッドスタイン、CEMイェーツ
協会CiEの初代会長
在職中2008–2015
後継
ダグ・ノルマン
コンテンツ
1 初期の人生と教育
2 学問的な仕事
3 興味
4 死
5 選択された出版物
6 参考文献
7 外部リンク
初期の人生と教育
クーパーはボグナーレジスで育ち、チチェスター男子高校に通いました。その間、彼は15歳未満のイングランドラグビーチームのスクラムハーフをプレーしました。
クーパーは卒業ジーザスカレッジ、オックスフォード1966年と1970年に彼の受けた博士号をからレスター大学の監督の下でルーベン・グッドスタインと題した論文で、及びCEMイェーツUnsolvabilityの度。
学問的な仕事
クーパーは1969年にリーズ大学の数学部の講師に任命され、残りのキャリアを続けました。彼は1991年に数理論理学のリーダーに昇進し、1996年に純粋数学の教授に昇進しました。2011年に、彼はソフィア大学「St.KlimentOhridski」で名誉博士号を授与されました。
彼の著書「計算可能性理論」により、新世代の学生が技術研究分野にアクセスできるようになりました。彼は、アラン・チューリングによって検討された種類の基本的な質問への復帰、および計算可能性に関連する学際的な開発の主導的な動機でした。彼はヨーロッパの協会計算可能性の会長であり、アランチューリング年を調整したチューリング百周年諮問委員会(TCAC)の議長でした。ブックアラン・チューリング:彼の仕事と影響クーパーとによって編集され、ジャン・バン・リーウウェンは、獲得したアメリカの出版社協会「RRホーキンス賞を。
クーパーはのメンバーだった編集委員会のためにラザフォードジャーナル。
興味
クーパーは熱心な長距離ランナーであり、ジャズや即興音楽にも興味があり、リーズジャズを設立し、シロアリクラブに参加していました。
1970年代には、彼はチリの連帯キャンペーンの主導者でもあり、チリの難民をリーズに迎えました。
死
クーパーは2015年10月26日に短い病気で亡くなりました。
選択された出版物
SB Cooper、2004年。計算可能性理論、Chapman&Hall / CRC。ISBN 1-58488-237-9
SBクーパー; J. van Leeuwen(eds。)、2013。Alan Turing – His Work and Impact、New York:Elsevier、
ISBN 978-0-123-86980-7
SB Cooper、B.Löwe、A。Sorbi(eds。)、2008年。新しい計算パラダイム–計算可能なものの概念の変化、Springer。
ISBN 978-1-58488-237-4
クーパー、SB; ハリントン、L。; ラクラン、AH; Lempp、S。; ソアレ、RI(1991)。「dre度は密ではありません」。純粋な応用論理の年報。55(2):125–151。土井:10.1016 / 0168-0072(91)90005-7。
クーパー、SB(2006)。「ハイパーコンピューティング効果としての定義可能性」 (PDF)。応用数学と計算。178:72–82。arXiv:0904.2874。土井:10.1016 /j.amc.2005.09.072。S2CID 1487739。
クーパー、SB(2004)。「計算不可能なアランチューリング」。Alan Mathison Turing 2004:マンチェスター大学、2004年6月5日、彼の人生と業績を祝う。ScienceOpen。土井:10.14236 / ewic /TUR2004.2。
クーパー、SB; オディフレディ、P。(2003)。「自然界の計算不能性」。SBクーパーでは; SSゴンチャロフ(編)。計算可能性とモデル:東西の展望 (PDF)。プレナム出版社、ニューヨーク、ボストン、ドルドレヒト、ロンドン、モスクワ。pp。137–160。
クーパー、SB(1999)。「時計仕掛けまたはチューリングU /宇宙?」。SBクーパーでは; JKトラス(編)。モデルと計算可能性 (PDF)。London Mathematical Society Lecture Notes Series 259、ケンブリッジ大学出版局、ケンブリッジ、ニューヨーク、メルボルン。pp。63–116。
参考文献
^ モーニングスターのピーターLazenbyによる死亡記事 ^ 「編集委員会」。ラザフォードジャーナル。取得した19年12月2016。
^ リーズ大学、死亡記事
外部リンク
S.バリークーパーのホームページ
S.バリークーパーの数学ジェネアロジーページ
ヨーロッパのホームページでの計算可能性
アランチューリングセンテナリーホームページ
アカデミックオフィス
前任者
新しいポジション
協会CIEの会長 2008-2015
後継
ダグ・ノルマン