S. 배리 쿠퍼
S. Barry CooperS. 배리 쿠퍼 | |
|---|---|
 | |
| 태어난 | )9 1943년 10월 |
| 죽은 | 2015년 10월 26일 (72) |
| 국적 | 영국의 |
| 모교 | 옥스퍼드 대학교 (Jesus College) |
| 로 알려져 있다. | 협회 CIE, 앨런 튜링 해 |
| 수상 | 닥터 호놀리스 인과 (소피아 대학교, 2011) |
| 과학 경력 | |
| 기관 | 리즈 대학교 |
| 논문 | 불능도 (1970) |
| 박사학위 자문위원 | C.E.M. 예이츠 주, C.E.M. |
| 제1회 ciE 협회 회장 | |
| 재직중 2008–2015 | |
| 성공자 | 다그 노만 |
S. 배리 쿠퍼(S. Barry Cooper, 1943년 10월 9일 ~ 2015년 10월 26일)는 영국의 수학자 겸 연산 이론가였다.그는 리즈 대학의 순수 수학 교수였다.null
조기생활과 교육
쿠퍼는 보그노르 레지스에서 자랐고 치크스테르 고등학교에서 15세 이하 잉글랜드 럭비팀에서 스크럼 반을 뛰었다.[1]null
쿠퍼는 1966년 옥스포드 주 예수대학을 졸업했으며 1970년 르우벤 굿스타인과 C.E.M. 예이츠의 감독 아래 레스터 대학에서 박사학위를 받았으며, '불가결성 학위'라는 논문을 발표했다.null
학력
쿠퍼는 1969년 리즈 대학의 수학 학교 강사로 임명되었고, 그곳에서 그는 남은 경력을 쌓았다.1991년에는 수학 논리학 독자로, 1996년에는 순수 수학 교수로 승진했다.2011년에는 소피아 대학에서 명예박사학위를 받았다.null
그의 저서 계산가능성 이론은 새로운 세대의 학생들이 기술 연구 분야에 접근할 수 있게 했다.그는 앨런 튜링에 의해 고려된 종류의 기본적인 질문으로 되돌아가는 것과 계산능력과 관련된 학제간 발전의 선도적인 이동자였다.그는 유럽 컴퓨터 협회 회장, 그리고 앨런 튜링 년을 공동주최한 튜링 백주년 자문 위원회(TCAC)의 의장이었다.앨런 튜링: 쿠퍼와 얀 반 리우웬이 편집한 'His Work and Impact'는 미국 출판협회 R. R. Hawkins Award를 수상했다.null
이익
쿠퍼는 열렬한 장거리 주자였고, 재즈와 즉흥적인 음악에도 관심이 있었으며, 리즈 재즈를 창설하고 테르마이트 클럽에 참여하였다.null
1970년대에는 칠레 난민을 리즈로 맞이하는 등 칠레 연대 운동의 주역이기도 했다.null
죽음
쿠퍼는 2015년 10월 26일 짧은 병으로 사망했다.[3]null
선택한 게시물
- S. B. 쿠퍼, 2004.계산성 이론, Chapman & Hall/CRC.null ISBN1-58488-237-9
- S. B. 쿠퍼; J. 반 리우웬 (에드스), 2013.앨런 튜링 – His Work and Impact, New York: Exvier, ISBN 978-0-123-86980-7
- S. B. 쿠퍼, B. 뢰베, A.소르비(eds.), 2008.새로운 컴퓨팅 패러다임 – 계산 가능한 개념의 변화, 스프링거.ISBN 978-1-58488-237-4
- Cooper, S. B.; Harrington, L.; Lachlan, A. H.; Lempp, S.; Soare, R. I. (1991). "The d.r.e. degrees are not dense". Annals of Pure and Applied Logic. 55 (2): 125–151. doi:10.1016/0168-0072(91)90005-7.
- Cooper, S. B. (2006). "Definability as hypercomputational effect" (PDF). Applied Mathematics and Computation. 178: 72–82. arXiv:0904.2874. doi:10.1016/j.amc.2005.09.072. S2CID 1487739.
- Cooper, S. B. (2004). "The incomputable Alan Turing". Alan Mathison Turing 2004: A celebration of his life and achievements, Manchester University, 5 June 2004. ScienceOpen. doi:10.14236/ewic/TUR2004.2.
- Cooper, S. B.; Odifreddi, P. (2003). "Incomputability in Nature". In S. B. Cooper; S. S. Goncharov (eds.). Computability and Models: Perspectives East and West (PDF). Plenum Publishers, New York, Boston, Dordrecht, London, Moscow. pp. 137–160.
- Cooper, S. B. (1999). "Clockwork or Turing U/universe?". In S. B. Cooper; J. K. Truss (eds.). Models and Computability (PDF). London Mathematical Society Lecture Notes Series 259, Cambridge University Press, Cambridge, New York, Melbourne. pp. 63–116.
참조
- ^ 아침별의 피터 라젠비 부고
- ^ "Editorial board". The Rutherford Journal. Retrieved 19 December 2016.
- ^ 리즈 대학교 부고
