С. Барри Купер

S. Барри Купер
Родился	(1943-10-09) 9 октября 1943 года. Богнор Регис, Западный Суссекс, Англия
Умер	26 октября 2015 г. (2015-10-26) (72 года)
Национальность	Соединенное Королевство
Alma mater	Оксфордский университет (Колледж Иисуса )
Известный для	Association CiE, Год Алана Тьюринга
Награды	Doctor honoris causa (Софийский университет, 2011)
Научная карьера
Учреждения	Университет Лидса
Диссертация	Степени неразрешимости (1970)
Докторский советник	Рубен Гудстейн, CEM Yates
1-й президент Association CiE
In офис . 2008–2015
Преемник	Даг Норманн

С.Бэрри Купер (9 октября 1943 - 26 октября 2015), английский математик и теоретик вычислимости. Он был профессором чистой математики в Университете Лидса.

• 1 Биография
• 2 Некоторые книги и статьи
• 3 Ссылки
• 4 Внешние ссылки

Купер вырос в Богнор Регис и посещал среднюю школу Чичестера для мальчиков, в течение которой он играл в схватке за сборную Англии по регби до 15 лет.

Купер окончил колледж Иисуса в Оксфорде в 1966 г., а в 1970 г. получил степень доктора философии в Университете Лестера под руководством Рубена Гудштейна и CEM Йейтс, защитив диссертацию «Степени неразрешимости». В 1970-х годах он также был ведущей фигурой в Чилийской кампании солидарности, приветствуя чилийских беженцев в Лидсе.

Купер был назначен лектором в Школе математики Университета Лидса в 1969 году, где он оставался до конца своей карьеры. Он был повышен до читателя по математической логике в 1991 году и до профессора чистой математики в 1996 году. В 2011 году он был удостоен звания почетного доктора в Софийском университете «Св. Климент Охридский. ".

Его книга «Теория вычислимости» сделала область технических исследований доступной для нового поколения студентов. Он был лидером в возвращении к основным вопросам, рассмотренным Аланом Тьюрингом, и в междисциплинарных разработках, связанных с вычислимостью. Он был президентом ассоциации Computability in Europe и председателем Консультативного комитета столетия Тьюринга (TCAC), который координировал год Алана Тьюринга. Книга «Алан Тьюринг: его работа и влияние» под редакцией Купера и Яна ван Леувена получила премию Ассоциации американских издателей 'Р. Р. Хокинса.

Он был страстным бегуном на длинные дистанции, а также интересовался джазом и импровизационной музыкой, основал Leeds Jazz и был участником Termite Club. Купер умер 26 октября 2015 года после непродолжительной болезни.

Купер был членом редакционной коллегии журнала The Rutherford Journal.

• S. Б. Купер, 2004. Теория вычислимости, Chapman Hall / CRC. ISBN 1-58488-237-9
• С. Б. Купер; J. van Leeuwen (ред.), 2013. Алан Тьюринг - Его работа и влияние, Нью-Йорк: Эльзевьер, ISBN 978-0-123-86980-7
• С. Б. Купер, Б. Лёве, А. Сорби (ред.), 2008. Новые вычислительные парадигмы - изменение представлений о том, что является вычислимым, Springer. ISBN 978-1-58488-237-4
• Купер, С.Б.; Harrington, L.; Lachlan, A.H.; Lempp, S.; Соаре, Р. И. (1991). «Степени д.р.э. не являются плотными». Анналы чистой и прикладной логики. 55 (2): 125–151. DOI : 10.1016 / 0168-0072 (91) 90005-7.
• Купер, С. Б. (2006). «Определимость как гиперкомпьютерный эффект» (PDF). Прикладная математика и вычисления. 178 : 72–82. arXiv : 0904.2874. doi : 10.1016 / j.amc.2005.09.072.
• Купер С.Б. (2004). «Несравненный Алан Тьюринг». Алан Матисон Тьюринг 2004: празднование его жизни и достижений, Манчестерский университет, 5 июня 2004 года. ScienceOpen. doi : 10.14236 / ewic / TUR2004.2.
• Cooper, S.B.; Одифредди, П. (2003). «Неисчислимость в природе». В С. Б. Купере; Гончаров С.С. (ред.). Вычислимость и модели: перспективы Востока и Запада (PDF). Издательство Пленума, Нью-Йорк, Бостон, Дордрехт, Лондон, Москва. С. 137–160.
• Купер С. Б. (1999). «Заводной механизм или Тьюринг U / вселенная?». В С. Б. Купере; Дж. К. Трасс (ред.). Модели и вычислимость (PDF). Конспект лекций Лондонского математического общества, серия 259, Cambridge University Press, Кембридж, Нью-Йорк, Мельбурн. С. 63–116.

• С. Домашняя страница Барри Купера
• С. Страница "Математическая генеалогия" Барри Купера
• Домашняя страница "Вычислимость в Европе"
• Домашняя страница столетия Алана Тьюринга

.