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

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

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

Молодость

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

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

Академическая карьера

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

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

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

Интересы

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

В 1970-х годах он также был ведущей фигурой в Кампании солидарности Чили, приветствуя чилийских беженцев в Лидсе.

Смерть

Купер умер 26 октября 2015 года после непродолжительной болезни.

Избранные публикации

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

Внешние ссылки

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