Alan Turing: His Work and Impact - Tapa dura

Acerca de los autores

Barry Cooper is Professor of Mathematical Logic at the University of Leeds. A graduate of the University of Oxford, his research follows that of Alan Turing in its focus on the nature of mental and physical computation. Author and editor of numerous books, including Computability Theory, New Computational Paradigms, and Computability in Context, he is a leading advocate of multidisciplinary research at the interface between what is known to be computable, and theoretical and practical incomputability. For more information, http://www1.maths.leeds.ac.uk/.

Jan van Leeuwen is professor at the Department of Information and Computing Sciences at Utrecht University. He received a Ph.D. in mathematics in 1972 from the same institution. After having held several positions in computer science in the US, he returned to Utrecht as a faculty member in 1977. He was head of department from 1977 to 1983 and from 1991 to 1994, and served as dean from 1994 to 2009. His research interests extend to many branches of the theory and philosophy of computer science. He is a member of the Academia Europae, is the first recipient of a Distinguished Lorentz Fellowship Prize in the Netherlands, and holds an honorary doctorate from RWTH Aachen University. For more information, http://www.cs.uu.nl/staff/jan.html.

De la contraportada

This new and exciting book, published in celebration of the centenary of Alan Turing’s birth in London, includes a large number of the most significant contributions from the 4-volume set of the Collected Works of A. M. Turing. These contributions, together with a wide spectrum of accompanying commentaries from current world-leading experts in many different fields and backgrounds, provide insight on the significance and contemporary impact of A. M. Turing’s work.

is a Professor of Mathematical Logic at the University of Leeds in England and President of the Association Computability in Europe. He is Chair of the Turing Centenary Advisory Committee and a published author of many books and papers.

is a Professor of Computing Science at Utrecht University, The Netherlands. He is a member of the Turing Centenary Advisory Committee and a published author of many journal and conference papers.