S. Barry Cooper - S. Barry Cooper
S. Barry Cooper | |
|---|---|
 | |
| Geboren |
9. Oktober 1943
Bognor Regis , West Sussex , England
|
| Ist gestorben | 26. Oktober 2015 (72 Jahre) |
| Staatsangehörigkeit | Vereinigtes Königreich |
| Alma Mater | Universität Oxford ( Jesus College ) |
| Bekannt für | Association CiE , Alan Turing Jahr |
| Auszeichnungen | Ehrendoktorwürde ( Universität Sofia , 2011) |
| Wissenschaftlicher Werdegang | |
| Institutionen | Universität Leeds |
| These | Grade der Unlösbarkeit (1970) |
| Doktoratsberater | Reuben Goodstein , CEM Yates |
| 1. Präsident des Verbandes CiE | |
|
Im Amt 2008–2015 | |
| gefolgt von | Dag Normann |
S. Barry Cooper (9. Oktober 1943 – 26. Oktober 2015) war ein englischer Mathematiker und Berechenbarkeitstheoretiker . Er war Professor für Reine Mathematik an der University of Leeds .
Frühes Leben und Ausbildung
Cooper wuchs in Bognor Regis auf und besuchte die Chichester High School for Boys .
Cooper absolvierte Jesus College, Oxford 1966 und 1970 erhielt seinen PhD von der University of Leicester unter der Aufsicht von Reuben Goodstein und CEM Yates, mit einer Arbeit mit dem Titel Degrees of Unlösbarkeit .
Akademische Karriere
1969 wurde Cooper zum Lecturer an der School of Mathematics der University of Leeds ernannt, wo er für den Rest seiner Karriere blieb. 1991 wurde er zum Reader in Mathematischer Logik und 1996 zum Professor für Reine Mathematik befördert. 2011 wurde ihm die Ehrendoktorwürde der Universität Sofia „St. Kliment Ohridski“ verliehen.
Sein Buch Computability Theory machte das technische Forschungsgebiet einer neuen Generation von Studierenden zugänglich. Er war ein führender Beweger der Rückkehr zu grundlegenden Fragen, wie sie Alan Turing betrachtete , und der interdisziplinären Entwicklungen im Zusammenhang mit der Berechenbarkeit. Er war Präsident der Association Computability in Europe und Vorsitzender des Turing Centenary Advisory Committee (TCAC), das das Alan Turing Year koordinierte . Das von Cooper und Jan van Leeuwen herausgegebene Buch Alan Turing: His Work and Impact gewann den RR Hawkins Award der Association of American Publishers .
Cooper war ein Mitglied der Redaktion für The Rutherford Journal .
Interessen
Cooper war ein begeisterter Langstreckenläufer, interessierte sich auch für Jazz und improvisierte Musik, gründete Leeds Jazz und engagierte sich im Termite Club.
In den 1970er Jahren war er auch eine führende Persönlichkeit in der Chile Solidarity Campaign, die chilenische Flüchtlinge in Leeds willkommen hieß.
Tod
Cooper starb am 26. Oktober 2015 nach kurzer Krankheit.
Ausgewählte Publikationen
- SB Cooper, 2004. Berechenbarkeitstheorie , Chapman & Hall/CRC. ISBN 1-58488-237-9
- SB Cooper; J. van Leeuwen (Hrsg.), 2013. Alan Turing – His Work and Impact , New York: Elsevier , ISBN 978-0-123-86980-7
- SB Cooper, B. Löwe , A. Sorbi (Hrsg.), 2008. New Computational Paradigms – Changing Concepts of What is Computable , Springer. ISBN 978-1-58488-237-4
- Cooper, SB; Harrington, L.; Lachlan, AH; Lempp, S.; Soare, RI (1991). "Die Dre-Grade sind nicht dicht" . Annalen der reinen und angewandten Logik . 55 (2): 125–151. doi : 10.1016/0168-0072(91)90005-7 .
- Cooper, SB (2006). "Definierbarkeit als Hypercomputational-Effekt" (PDF) . Angewandte Mathematik und Informatik . 178 : 72–82. arXiv : 0904.2874 . doi : 10.1016/j.amc.2005.09.072 . S2CID 1487739 .
- Cooper, SB (2004). „Der unberechenbare Alan Turing“. Alan Mathison Turing 2004: Eine Feier seines Lebens und seiner Leistungen, Manchester University, 5. Juni 2004 . WissenschaftOpen . doi : 10.14236/evic/TUR2004.2 .
- Cooper, SB; Odifreddi, P. (2003). „Unberechenbarkeit in der Natur“. In SB Cooper; SS Goncharov (Hrsg.). Berechenbarkeit und Modelle: Perspektiven Ost und West (PDF) . Plenum Publishers, New York, Boston, Dordrecht, London, Moskau. S. 137–160.
- Cooper, SB (1999). "Uhrwerk oder Turing U/Universum?". In SB Cooper; JK Truss (Hrsg.). Modelle und Berechenbarkeit (PDF) . London Mathematical Society Lecture Notes Series 259, Cambridge University Press, Cambridge, New York, Melbourne. S. 63–116.
Verweise
Externe Links
- S. Barry Cooper-Homepage
- S. Barry Cooper's Mathematics Genealogy Page
- Berechenbarkeit in Europa Startseite
- Die Alan Turing Centenary-Homepage