S. Barry Cooper
From Wikipedia, the free encyclopedia
S. Barry Cooper (born 1943) is a British mathematician and computability theorist. He is currently Professor of Mathematical Logic at the University of Leeds. His book Computability Theory (Chapman & Hall/CRC) has made this basic but technical research area accessible to a new generation of students. He is a leading mover of the return to basic questions of the kind considered by Alan Turing, and of interdisciplinary developments related to computability. He currently coordinates the Computability in Europe network.
Barry Cooper graduated from the University of Oxford in 1966, and in 1970 earned his Ph.D from University of Leicester under the supervision of Reuben Goodstein and C.E.M. Yates, with a thesis entitled Degrees of Unsolvability.
[edit] External links
- Home page of S. Barry Cooper
- S. Barry Cooper's Mathematics Genealogy Page
- Computability in Europe Homepage
- 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: .