Barry Cooper - S. Barry Cooper

S. Barry Cooper
Barry Cooper.jpg
narozený ( 1943-10-09 )09.10.1943
Zemřel 26. října 2015 (26. 10. 2015)(ve věku 72)
Národnost Spojené království
Alma mater Oxfordská univerzita ( Jesus College )
Známý jako Association CiE , Alan Turing Year
Ocenění Doctor honoris causa ( Sofia University , 2011)
Vědecká kariéra
Instituce University of Leeds
Teze Stupně neřešitelnosti  (1970)
Doktorský poradce Reuben Goodstein , CEM Yates
1. prezident asociace CiE
Ve funkci
2008–2015
Uspěl Dag Normann

S. Barry Cooper (09.10.1943 - 26 října 2015) byl anglický matematik a teoretik vyčíslitelnosti . Byl profesorem čisté matematiky na univerzitě v Leedsu .

raný život a vzdělávání

Cooper vyrostl v Bognor Regis a navštěvoval Chichester High School for Boys . Během této doby hrál skrumáž napůl za rugbyový tým do 15 let v Anglii.

Cooper vystudoval Jesus College v Oxfordu v roce 1966 a v roce 1970 získal doktorát na univerzitě v Leicesteru pod vedením Reubena Goodsteina a CEM Yatese s diplomovou prací s názvem Stupně neřešitelnosti .

Akademická kariéra

Cooper byl jmenován docentem na Matematické škole na univerzitě v Leedsu v roce 1969, kde zůstal po zbytek své kariéry. V roce 1991 byl povýšen na Readera v matematické logice a v roce 1996 na profesora čisté matematiky. V roce 2011 mu byl udělen čestný doktorát na univerzitě v Sofii „St. Kliment Ohridski“.

Jeho kniha Teorie výpočetní schopnosti zpřístupnila oblast technického výzkumu nové generaci studentů. Byl vedoucím hybatelem návratu k základním otázkám, o nichž uvažoval Alan Turing , a interdisciplinárního vývoje souvisejícího s vyčíslitelností. Byl prezidentem asociace Computability v Evropě a předsedou Turing Centenary Advisory Committee (TCAC), který koordinoval Alan Turingův rok . Kniha Alan Turing: Jeho práce a dopad , kterou upravili Cooper a Jan van Leeuwenovi , získala Cenu asociace amerických vydavatelů RR Hawkins.

Cooper byl členem redakční rady pro Rutherford Journal .

Zájmy

Cooper byl vášnivý běžec na dlouhé tratě a zajímal se také o jazz a improvizovanou hudbu, založil Leeds Jazz a byl zapojen do klubu Termite.

V 70. letech byl také vůdčí postavou chilské kampaně solidarity, která v Leedsu přivítala chilské uprchlíky.

Smrt

Cooper zemřel 26. října 2015 po krátké nemoci.

Vybrané publikace

  • SB Cooper, 2004. Teorie výpočetnosti , Chapman & Hall/CRC. ISBN  1-58488-237-9
  • SB Cooper; J. van Leeuwen (eds.), 2013. Alan Turing-Jeho práce a dopad , New York: Elsevier , ISBN  978-0-123-86980-7
  • SB Cooper, B. Löwe , A. Sorbi (eds.), 2008. Nová výpočetní paradigmata - měnící se představy o tom, co je počitatelné , Springer. ISBN  978-1-58488-237-4
  • Cooper, SB; Harrington, L .; Lachlan, AH; Lempp, S .; Soare, RI (1991). „Dre stupně nejsou husté“ . Annals of Pure and Applied Logic . 55 (2): 125–151. doi : 10,1016/0168-0072 (91) 90005-7 .
  • Cooper, SB (2006). „Definovatelnost jako hyperpočítačový efekt“ (PDF) . Aplikovaná matematika a výpočet . 178 : 72–82. arXiv : 0904.2874 . doi : 10.1016/j.amc.2005.09.072 . S2CID  1487739 .
  • Cooper, SB (2004). „Nepochybný Alan Turing“. Alan Mathison Turing 2004: Oslava jeho života a úspěchů, Manchester University, 5. června 2004 . ScienceOpen . doi : 10,14236/ewic/TUR2004.2 .
  • Cooper, SB; Odifreddi, P. (2003). „Nepočitatelnost v přírodě“. V SB Cooper; SS Goncharov (eds.). Vypočitatelnost a modely: Perspektivy na východ a na západ (PDF) . Plenum Publishers, New York, Boston, Dordrecht, Londýn, Moskva. s. 137–160.
  • Cooper, SB (1999). „Mechanický nebo Turingův U/vesmír?“. V SB Cooper; JK Truss (eds.). Modely a počitatelnost (PDF) . London Mathematical Society Lecture Notes Series 259, Cambridge University Press, Cambridge, New York, Melbourne. s. 63–116.

Reference

externí odkazy

Akademické kanceláře
Předchází
Nová pozice
Předseda asociace CiE
2008-2015
Uspěl
Dag Normann