С. Барри Купер - Википедия - S. Barry Cooper

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

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

биография

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

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

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

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

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

Купер был членом редакционная коллегия за Журнал Резерфорда.[3]

Некоторые книги и статьи

  • С. Б. Купер, 2004. Теория вычислимости, Чепмен и Холл / CRC. ISBN  1-58488-237-9
  • С. Б. Купер; Дж. Ван Леувен (ред.), 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. Дои: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 г.. НаукаOpen. Дои:10.14236 / ewic / TUR2004.2.
  • Купер, С.Б .; Одифредди, П. (2003). «Неисчислимость в природе». В С. Б. Купере; Гончаров С.С. (ред.). Вычислимость и модели: перспективы Востока и Запада (PDF). Издательство Пленума, Нью-Йорк, Бостон, Дордрехт, Лондон, Москва. С. 137–160.
  • Купер, С. Б. (1999). «Заводной механизм или Тьюринг U / вселенная?». В С. Б. Купере; Дж. К. Трасс (ред.). Модели и вычислимость (PDF). Конспект лекций Лондонского математического общества, серия 259, Cambridge University Press, Кембридж, Нью-Йорк, Мельбурн. С. 63–116.

Рекомендации

внешняя ссылка

Академические офисы
Предшествует
Новая позиция
Президент Ассоциации CiE
2008-2015
Преемник
Даг Норманн