S. Barry Cooper - S. Barry Cooper
S. Barry Cooper | |
---|---|
Nació |
Bognor Regis , West Sussex , Inglaterra
|
9 de octubre de 1943
Murió | 26 de octubre de 2015 | (72 años)
Nacionalidad | Reino Unido |
alma mater | Universidad de Oxford ( Jesus College ) |
Conocido por | Asociación CiE , Alan Turing Año |
Premios | Doctor honoris causa ( Universidad de Sofía , 2011) |
Carrera científica | |
Instituciones | Universidad de Leeds |
Tesis | Grados de insolubilidad (1970) |
Asesor de doctorado | Reuben Goodstein , CEM Yates |
1er presidente de la Asociación CiE | |
En el cargo de 2008 a 2015 | |
Sucesor | Dag Normann |
S. Barry Cooper (9 de octubre de 1943 - 26 de octubre de 2015) fue un matemático y teórico de la computabilidad inglés . Fue profesor de Matemáticas Puras en la Universidad de Leeds .
Temprana edad y educación
Cooper creció en Bognor Regis y asistió a Chichester High School for Boys , tiempo durante el cual jugó medio scrum para el equipo de rugby de Inglaterra sub-15.
Cooper se graduó de Jesus College, Oxford en 1966 y en 1970 recibió su doctorado de la Universidad de Leicester bajo la supervisión de Reuben Goodstein y CEM Yates, con una tesis titulada Degrees of Unsolvability .
Carrera académica
Cooper fue nombrado profesor de la Escuela de Matemáticas de la Universidad de Leeds en 1969, donde permaneció durante el resto de su carrera. Fue ascendido a Lector de Lógica Matemática en 1991 y a Profesor de Matemática Pura en 1996. En 2011, obtuvo un doctorado honoris causa en la Universidad de Sofía "St. Kliment Ohridski".
Su libro Computability Theory hizo que el área de investigación técnica fuera accesible para una nueva generación de estudiantes. Fue uno de los principales impulsores del regreso a cuestiones básicas del tipo considerado por Alan Turing , y de los desarrollos interdisciplinarios relacionados con la computabilidad. Fue presidente de la Asociación de Computabilidad en Europa y presidente del Comité Asesor del Centenario de Turing (TCAC), que coordinó el Año Alan Turing . El libro Alan Turing: His Work and Impact , editado por Cooper y Jan van Leeuwen , ganó el premio RR Hawkins de la Asociación de Editores Estadounidenses .
Cooper fue miembro del consejo editorial de The Rutherford Journal .
Intereses
Cooper era un entusiasta corredor de larga distancia y también estaba interesado en el jazz y la música improvisada, fundó Leeds Jazz y participó en el Termite Club.
En la década de 1970, también fue una figura destacada en la Campaña de Solidaridad con Chile, que acogió a refugiados chilenos en Leeds.
Muerte
Cooper murió el 26 de octubre de 2015 después de una breve enfermedad.
Publicaciones Seleccionadas
- SB Cooper, 2004. Teoría de la computabilidad , Chapman & Hall / CRC. ISBN 1-58488-237-9
- SB Cooper; J. van Leeuwen (eds.), 2013. Alan Turing - His Work and Impact , Nueva York: Elsevier , ISBN 978-0-123-86980-7
- SB Cooper, B. Löwe , A. Sorbi (eds.), 2008. Nuevos paradigmas computacionales: conceptos cambiantes de lo que es computable , Springer. ISBN 978-1-58488-237-4
- Cooper, SB; Harrington, L .; Lachlan, AH; Lempp, S .; Soare, RI (1991). "Los grados de dre no son densos" . Anales de lógica pura y aplicada . 55 (2): 125-151. doi : 10.1016 / 0168-0072 (91) 90005-7 .
- Cooper, SB (2006). "Definibilidad como efecto hipercomputacional" (PDF) . Matemática Aplicada y Computación . 178 : 72–82. arXiv : 0904.2874 . doi : 10.1016 / j.amc.2005.09.072 . S2CID 1487739 .
- Cooper, SB (2004). "El incomputable Alan Turing". Alan Mathison Turing 2004: Una celebración de su vida y sus logros, Universidad de Manchester, 5 de junio de 2004 . ScienceOpen . doi : 10.14236 / ewic / TUR2004.2 .
- Cooper, SB; Odifreddi, P. (2003). "Incomputabilidad en la naturaleza". En SB Cooper; SS Goncharov (eds.). Computabilidad y modelos: perspectivas de Oriente y Occidente (PDF) . Plenum Publishers, Nueva York, Boston, Dordrecht, Londres, Moscú. págs. 137-160.
- Cooper, SB (1999). "¿Mecanismo de relojería o Turing U / universo?". En SB Cooper; JK Truss (eds.). Modelos y computabilidad (PDF) . London Mathematical Society Lecture Notes Series 259, Cambridge University Press, Cambridge, Nueva York, Melbourne. págs. 63-116.
Referencias
enlaces externos
- Página de inicio de S. Barry Cooper
- Página de genealogía matemática de S. Barry Cooper
- Computabilidad en la página de inicio de Europa
- La página de inicio del centenario de Alan Turing