S. Barry'ego Coopera - S. Barry Cooper
S. Barry Cooper | |
---|---|
Urodzić się |
Bognor Regis , West Sussex , Anglia
|
9 października 1943
Zmarł | 26 października 2015 | (w wieku 72)
Narodowość | Zjednoczone Królestwo |
Alma Mater | Uniwersytet Oksfordzki ( Jezus College ) |
Znany z | Stowarzyszenie CiE , Rok Alana Turinga |
Nagrody | Doktor honoris causa ( Uniwersytet Sofijski , 2011) |
Kariera naukowa | |
Instytucje | Uniwersytet w Leeds |
Praca dyplomowa | Stopnie nierozwiązywalności (1970) |
Doradca doktorski | Reuben Goodstein , CEM Yates |
I Prezes Stowarzyszenia CiE | |
W biurze 2008–2015 | |
zastąpiony przez | Dag Normann |
S. Barry Cooper (9 października 1943 – 26 października 2015) był angielskim matematykiem i teoretykiem obliczalności . Był profesorem matematyki czystej na Uniwersytecie w Leeds .
Wczesne życie i edukacja
Cooper dorastał w Bognor Regis i uczęszczał do Chichester High School for Boys , gdzie grał w scrum half dla angielskiej drużyny rugby poniżej 15 roku życia.
Cooper ukończył Jesus College w Oksfordzie w 1966 roku oraz w 1970 roku otrzymał doktorat z Uniwersytetu w Leicester pod nadzorem Reuben Goodstein i CEM Yates, z tezą prawo Stopni Unsolvability .
Kariera akademicka
Cooper został mianowany wykładowcą w Szkole Matematyki na Uniwersytecie w Leeds w 1969 roku, gdzie pozostał do końca swojej kariery. Awansował do stopnia Czytelnika Logiki Matematycznej w 1991 roku i do Profesora Matematyki Czystej w 1996 roku. W 2011 roku otrzymał doktorat honoris causa Uniwersytetu Sofijskiego "St. Kliment Ohridski".
Jego książka Computability Theory sprawiła, że obszar badań technicznych stał się dostępny dla nowego pokolenia studentów. Był czołowym inicjatorem powrotu do podstawowych pytań w rodzaju rozważanych przez Alana Turinga oraz interdyscyplinarnych osiągnięć związanych z obliczalnością. Był prezesem Association Computability in Europe oraz przewodniczącym Turing Centenary Advisory Committee (TCAC), który koordynował Rok Alana Turinga . Książka Alan Turing: His Work and Impact , pod redakcją Coopera i Jana van Leeuwen , zdobyła nagrodę RR Hawkins Association of American Publishers .
Cooper był członkiem komitetu redakcyjnego dla Rutherford Urzędowym .
Zainteresowania
Cooper był zapalonym biegaczem długodystansowym, interesował się również jazzem i muzyką improwizowaną, założył Leeds Jazz i był zaangażowany w Klub Termite.
W latach 70. był także czołową postacią w Kampanii Solidarności Chile, witając chilijskich uchodźców w Leeds.
Śmierć
Cooper zmarł 26 października 2015 r. po krótkiej chorobie.
Wybrane publikacje
- SB Cooper, 2004. Teoria obliczalności , Chapman i Hall/CRC. ISBN 1-58488-237-9
- SB Coopera; J. van Leeuwen (red.), 2013. Alan Turing - Jego praca i wpływ , New York: Elsevier , ISBN 978-0-123-86980-7
- SB Cooper, B. Löwe , A. Sorbi (red.), 2008. Nowe paradygmaty obliczeniowe – zmiana koncepcji tego, co obliczalne , Springer. ISBN 978-1-58488-237-4
- Coopera, SB; Harrington, L.; Lachlan, AH; Lempp, S.; Soare, RI (1991). „Dre stopnie nie są gęste” . Roczniki logiki czystej i stosowanej . 55 (2): 125–151. doi : 10.1016/0168-0072(91)90005-7 .
- Cooper, SB (2006). „Definiowalność jako efekt hiperobliczeniowy” (PDF) . Matematyka Stosowana i Obliczenia . 178 : 72–82. arXiv : 0904.2874 . doi : 10.1016/j.amc.2005.09.072 . S2CID 1487739 .
- Cooper, SB (2004). „Nieobliczalny Alan Turing”. Alan Mathison Turing 2004: Święto jego życia i osiągnięć, Manchester University, 5 czerwca 2004 . NaukaOtwarte . doi : 10.14236/ewic/TUR2004.2 .
- Coopera, SB; Odifreddi, P. (2003). „Nieobliczalność w przyrodzie”. W SB Cooper; SS Goncharov (red.). Obliczalność i modele: Perspektywy Wschód i Zachód (PDF) . Wydawnictwo Plenum, Nowy Jork, Boston, Dordrecht, Londyn, Moskwa. s. 137–160.
- Cooper, SB (1999). „Mechaniczna czy Turing U/wszechświat?”. W SB Cooper; JK Truss (red.). Modele i obliczalność (PDF) . London Mathematical Society Lecture Notes Series 259, Cambridge University Press, Cambridge, Nowy Jork, Melbourne. s. 63–116.
Bibliografia
Zewnętrzne linki
- Strona domowa S. Barry'ego Coopera
- Strona genealogii matematyki S. Barry'ego Coopera
- Strona główna obliczalności w Europie
- Strona główna Stulecia Alana Turinga