Until his death in 2015, S. Barry Cooper was Professor of Mathematical Logic at the University of Leeds. He was both a leading figure in the theory of Turing computability, and a noted advocate of multidisciplinary research, especially in connection with the theoretical and practical limits of the computable. As President of Computability in Europe, he was responsible for many international conferences. He chaired the Turing Centenary Committee, and edited the prize-winning critical edition of Turing's publications: Alan Turing: His Work and Impact.
Télécharger le livre :  The Incomputable

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book...
Editeur : Springer
Parution : 2017-05-05

Format(s) : PDF, ePub
126,59

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Alan Turing

In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant...
Editeur : Elsevier Science
Parution : 2013-03-18

Format(s) : epub sans DRM
61,14

Téléchargement immédiat
Dès validation de votre commande