С. Барри Купер - S. Barry Cooper
С. Барри Купер | |
---|---|
Родился |
Богнор Реджис , Западный Суссекс , Англия
|
9 октября 1943 г.
Умер | 26 октября 2015 г. | (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.
использованная литература
внешние ссылки
- Домашняя страница С. Барри Купера
- Страница математической генеалогии С. Барри Купера
- Вычислимость в Европе, домашняя страница
- Домашняя страница столетия Алана Тьюринга