S. Barry Cooper
Encyclopedia
S. Barry Cooper 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 is currently President of the Association Computability in Europe
, and is Chair of the
Turing Centenary Advisory Committee (TCAC) which is co-ordinating the Alan Turing Year
.
Barry Cooper graduated from Jesus College, 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.
Great Britain
Great Britain or Britain is an island situated to the northwest of Continental Europe. It is the ninth largest island in the world, and the largest European island, as well as the largest of the British Isles...
mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
and computability theorist
Computability theory
Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability and definability...
. He is currently Professor of Mathematical Logic at the University of Leeds
University of Leeds
The University of Leeds is a British Redbrick university located in the city of Leeds, West Yorkshire, England...
. 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
Alan Turing
Alan Mathison Turing, OBE, FRS , was an English mathematician, logician, cryptanalyst, and computer scientist. He was highly influential in the development of computer science, providing a formalisation of the concepts of "algorithm" and "computation" with the Turing machine, which played a...
, and of interdisciplinary developments related to computability. He is currently President of the Association Computability in Europe
Computability in Europe
Computability in Europe is an international organization of mathematicians, logicians, computer scientists, philosophers, theoretical physicists and others interested in new developments in computability and in their underlying significance for the real world...
, and is Chair of the
Turing Centenary Advisory Committee (TCAC) which is co-ordinating the Alan Turing Year
Alan Turing Year
The Alan Turing Year 2012 will be a celebration of the life and scientific influence of Alan Turing on the occasion of the centenary of his birth on 23 June 1912...
.
Barry Cooper graduated from Jesus College, Oxford
Jesus College, Oxford
Jesus College is one of the colleges of the University of Oxford in England. It is in the centre of the city, on a site between Turl Street, Ship Street, Cornmarket Street and Market Street...
in 1966, and in 1970 earned his Ph.D from University of Leicester
University of Leicester
The University of Leicester is a research-led university based in Leicester, England. The main campus is a mile south of the city centre, adjacent to Victoria Park and Wyggeston and Queen Elizabeth I College....
under the supervision of Reuben Goodstein
Reuben Goodstein
Reuben Louis Goodstein was an English mathematician with a strong interest in the philosophy and teaching of mathematics....
and C.E.M. Yates, with a thesis entitled Degrees of Unsolvability.
External links
- Home page of S. Barry Cooper
- S. Barry Cooper's Mathematics Genealogy Page
- Computability in Europe Homepage
- The Alan Turing Centenary Homepage
Some books and papers
- S. B. Cooper, 2004. Computability Theory, Chapman & Hall/CRC. ISBN 1-58-488237-9
- S. B. Cooper, B. Löwe, A. Sorbi (eds.), 2008. New Computational Paradigms - Changing Conceptions of What is Computable, Springer. ISBN 978-1584882374