С. Барри Купер - S. Barry Cooper

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

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

ранняя жизнь и образование

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

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

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

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

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

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

Интересы

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

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

Смерть

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

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

  • С. Б. Купер, 2004. Теория вычислимости , Chapman & Hall / CRC. ISBN  1-58488-237-9
  • С.Б. Купер; J. van Leeuwen (ред.), 2013. Алан Тьюринг - его работа и влияние , Нью-Йорк: Elsevier , ISBN  978-0-123-86980-7
  • С. Б. Купер, Б. Лёве , А. Сорби (редакторы), 2008. Новые вычислительные парадигмы - меняющиеся представления о том, что является вычислимым , Springer. ISBN  978-1-58488-237-4
  • Купер, SB; Harrington, L .; Лахлан, AH; Lempp, S .; Соаре, Р.И. (1991). «Степени dre не плотные» . Летопись чистой и прикладной логики . 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 . S2CID  1487739 .
  • Купер, С.Б. (2004). «Несчетный Алан Тьюринг». Алан Матисон Тьюринг 2004: празднование его жизни и достижений, Манчестерский университет, 5 июня 2004 года . ScienceOpen . DOI : 10.14236 / EWIC / TUR2004.2 .
  • Купер, SB; Одифредди, П. (2003). «Неисчислимость в природе». В С. Б. Купере; С.С. Гончаров (ред.). Вычислимость и модели: перспективы Востока и Запада (PDF) . Издательство Пленума, Нью-Йорк, Бостон, Дордрехт, Лондон, Москва. С. 137–160.
  • Купер, С.Б. (1999). «Заводной механизм или Тьюринг U / вселенная?». В С. Б. Купере; Дж. К. Трасс (ред.). Модели и вычислимость (PDF) . Конспект лекций Лондонского математического общества, серия 259, Cambridge University Press, Кембридж, Нью-Йорк, Мельбурн. С. 63–116.

использованная литература

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

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