Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Английский математик и теоретик вычислимости С. Барри Купер (9 октября 1943 - 26 октября 2015) был английским математиком и теоретиком вычислимости. Он был профессором чистой математики в университете Лидса.
English mathematician and computability theorist
S. Barry Cooper (9 October 1943 – 26 October 2015) was an English mathematician and computability theorist. He was a professor of Pure Mathematics at the University of Leeds.
Ранние годы и образование
Купер вырос в Богноре-Регисе и учился в Чичестерской средней школе для мальчиков, в течение которого он играл в полуфинале сборной Англии по регби до 15 лет. Купер окончил колледж Джесса в Оксфорде в 1966 году, а в 1970 году получил докторскую степень в Университете Лестера под руководством Рубена Гудштейна и С. Э. М. Йейтса с диссертацией под названием "Степени неразрешимости".
Cooper grew up in Bognor Regis and attended Chichester High School for Boys, during which time he played scrum half for the under 15s England rugby team. Cooper graduated from Jesus College, Oxford in 1966 and in 1970 received his PhD from the University of Leicester under the supervision of Reuben Goodstein and C. E. M. Yates, with a thesis entitled Degrees of Unsolvability.
Академическая карьера
В 1969 году Купер был назначен преподавателем в Школе математики в Лидском университете, где он оставался до конца своей карьеры. В 1991 году он был повышен до Reader in Mathematical Logic, а в 1996 году - до профессора чистой математики. В 2011 году он был удостоен почетного докторского звания Софийского университета "Святой Климент Охридский". Его книга "Теория вычислимости" сделала область технических исследований доступной для нового поколения студентов. Он был ведущим движущим фактором возвращения к основным вопросам, рассматриваемым Аланом Тьюрингом, и междисциплинарных разработок, связанных с вычислимостью. Он был президентом Ассоциации "Computability in Europe" и председателем Консультативного комитета по случаю 100-летия Тьюринга (TCAC), который координировал Год Алана Тьюринга. Книга "Алан Тьюринг: его работа и влияние", под редакцией Купера и Яна ван Лиувена, получила премию Ассоциации американских издателей Р. Р. Хокинса. Купер был членом редакционной коллегии журнала "Рutherford Journal".
Cooper was appointed Lecturer in the School of Mathematics at the University of Leeds in 1969, where he remained for the rest of his career. He was promoted to Reader in Mathematical Logic in 1991 and to Professor of Pure Mathematics in 1996. In 2011, he was awarded an honorary doctorate at the University of Sofia "St. Kliment Ohridski". His book Computability Theory made the technical research area accessible to a new generation of students. He was a leading mover of the return to basic questions of the kind considered by Alan Turing, and of interdisciplinary developments related to computability. He was President of the Association Computability in Europe, and Chair of the Turing Centenary Advisory Committee (TCAC), which co ordinated the Alan Turing Year. The book Alan Turing: His Work and Impact, edited by Cooper and Jan van Leeuwen, won the Association of American Publishers' R. R. Hawkins Award. Cooper was a member of the editorial board for The Rutherford Journal.
Интересы
Купер был увлеченным бегуном на длинные дистанции, а также интересовался джазом и импровизированной музыкой, основывая Leeds Jazz и участвуя в клубе Termite. В 1970-х годах он также был ведущей фигурой в кампании солидарности Чили, приветствуя чилийских беженцев в Лидсе.
Cooper was a keen long distance runner, and was also interested in jazz and improvised music, founding Leeds Jazz and being involved in the Termite Club. In the 1970s, he was also a leading figure in the Chile Solidarity Campaign, welcoming Chilean refugees to Leeds.
Смерть
Купер умер 26 октября 2015 года после короткой болезни.
Cooper died on 26 October 2015 after a short illness.
Избранные публикации
С. Б. Купер, 2004 год. Теория вычислимости, Чапман и Холл/CRC. С. Б. Купер; Дж. ван Леувен (ред. ), 2013 г. Алан Тьюринг Его работа и влияние, Нью-Йорк: Elsevier, S. B. Cooper, B. Löwe, A. Sorbi (ed. ), 2008 г. Новые вычислительные парадигмы Изменение концепций вычислимости, Спрингер.
S. B. Cooper, 2004. Computability Theory, Chapman & Hall/CRC. S. B. Cooper; J. van Leeuwen (eds. ), 2013. Alan Turing – His Work and Impact, New York: Elsevier,
S. B. Cooper, B. Löwe, A. Sorbi (eds. ), 2008. New Computational Paradigms – Changing Conceptions of What is Computable, Springer.