Купер, С. Барри
С. Барри Купер (1943[1][2], Богнор-Риджис, Аран, Западный Суссекс, Англия, Великобритания — 26 октября 2015[3]) — английский математик и теоретик вычислимости. Профессор чистой математики в Лидсском университете.
Общие сведения
| С. Барри Купер | |
|---|---|
| англ. S. Barry Cooper | |
| Дата рождения | 9 октября 1943 |
| Место рождения | Богнор-Риджис, Западный Суссекс, Англия |
| Дата смерти | 26 октября 2015 (72 года) |
| Страна | |
| Образование | |
| Род деятельности | философ, математик, преподаватель университета, специалист в области информатики |
| Награды и премии |
Почётный доктор (Софийский университет, 2011) |
Биография
Купер вырос в Богнор-Риджисе и посещал Чичестерскую среднюю школу для мальчиков. В это время он играл на позиции скрам-хава за юношескую сборную Англии по регби (до 15 лет)[4].
В 1966 году Купер окончил Джизус-колледж в Оксфорде. В 1970 году получил степень доктора философии в Лестерском университете под руководством Рубена Гудстейна и К. Э. М. Йейтса, защитив диссертацию «Степени неразрешимости» (Degrees of Unsolvability).
Академическая карьера
В 1969 году Купер был назначен преподавателем в Школе математики Лидсского университета, где проработал до конца своей карьеры. В 1991 году он стал ридером по математической логике, а в 1996 году — профессором чистой математики. В 2011 году ему было присвоено звание почётного доктора Софийского университета имени Святого Климента Охридского.
Его книга «Теория вычислимости» сделала эту область технических исследований доступной для нового поколения студентов. Он был одним из инициаторов возвращения к фундаментальным вопросам, которые рассматривал Алан Тьюринг, и междисциплинарных разработок, связанных с вычислимостью. Купер занимал пост президента Ассоциации Computability in Europe и председателя Консультативного комитета по столетию Тьюринга (TCAC), который координировал Год Алана Тьюринга. Книга «Алан Тьюринг: Его работа и влияние», изданная под редакцией Купера и Яна ван Леувена, получила премию Р. Р. Хокинса от Ассоциации американских издателей.
Купер входил в состав редакционной коллегии журнала The Rutherford Journal.
Интересы
Купер увлекался бегом на длинные дистанции, а также интересовался джазом и импровизационной музыкой. Он основал организацию Leeds Jazz и участвовал в деятельности Termite Club.
В 1970-х годах он был одним из лидеров Кампании солидарности с Чили, принимая чилийских беженцев в Лидсе.
Примечания
Литература
- S. B. Cooper, 2004. Computability Theory, Chapman & Hall/CRC. ISBN 1-58488-237-9
- S. B. Cooper; J. van Leeuwen (eds.), 2013. Alan Turing – His Work and Impact, New York: Elsevier, ISBN 978-0-123-86980-7
- S. B. Cooper, B. Löwe, A. Sorbi (eds.), 2008. New Computational Paradigms – Changing Conceptions of What is Computable, Springer. ISBN 978-1-58488-237-4
- Cooper S. B., Harrington L., Lachlan A. H., Lempp S., Soare R. I. The d.r.e. degrees are not dense // Annals of Pure and Applied Logic. — 1991. — Т. 55, № 2. — С. 125–151. — doi:10.1016/0168-0072(91)90005-7.
- Cooper S. B. Definability as hypercomputational effect // Applied Mathematics and Computation. — 2006. — Т. 178. — С. 72–82. — doi:10.1016/j.amc.2005.09.072.
- Cooper, S. B. (2004). “The incomputable Alan Turing”. Alan Mathison Turing 2004: A celebration of his life and achievements, Manchester University, 5 June 2004. ScienceOpen. arXiv:1206.1706. DOI:10.14236/ewic/TUR2004.2.
- Cooper S. B., Odifreddi P. Incomputability in Nature // Computability and Models: Perspectives East and West / S. B. Cooper, S. S. Goncharov. — Plenum Publishers, New York, Boston, Dordrecht, London, Moscow, 2003. — С. 137–160. Архивировано 24 июля 2011 года.
- Cooper S. B. Clockwork or Turing U/universe? // Models and Computability / S. B. Cooper, J. K. Truss. — London Mathematical Society Lecture Notes Series 259, Cambridge University Press, Cambridge, New York, Melbourne, 1999. — С. 63–116.
Дополнительно по теме
 | ||||
|---|---|---|---|---|
